dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christian Mathissen Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIna Fichtner, Christian Mathissen: Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids. Algebraic Foundations in Computer Science 2011: 94-111
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Christian Mathissen: Compressed Membership in Automata with Compressed Labels. CSR 2011: 275-288
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Christian Mathissen: Isomorphism of Regular Trees and Words. ICALP (2) 2011: 210-221
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Christian Mathissen: Isomorphism of regular trees and words CoRR abs/1102.2782: (2011)
2010
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiko Haubold, Markus Lohrey, Christian Mathissen: Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups. Developments in Language Theory 2010: 218-230
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Weighted Logics for Nested Words and Algebraic Formal Power Series Logical Methods in Computer Science 6(1): (2010)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Definable transductions and weighted logics for texts. Theor. Comput. Sci. 411(3): 631-659 (2010)
2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Existential MSO over two successors is strictly weaker than over linear orders. Theor. Comput. Sci. 410(38-40): 3982-3987 (2009)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Weighted Automata and Weighted Logics over Tree-like Structures. University of Leipzig 2009: 1-148
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Weighted Logics for Nested Words and Algebraic Formal Power Series. ICALP (2) 2008: 221-232
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Mathissen: Definable Transductions and Weighted Logics for Texts. Developments in Language Theory 2007: 324-336

Coauthor Index

1Ina Fichtner (Ina Mäurer) [11]
2Niko Haubold [7]
3Markus Lohrey [7] [8] [9] [10]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page