Christian Mathissen

13 papers C 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
Isomorphism of regular trees and words.
Inf. Comput.
Markus Lohrey, Christian Mathissen
2012 J jnl
Compressed Decision Problems for Graph Products and Applications to (outer) Automorphism Groups.
Int. J. Algebra Comput.
Niko Haubold, Markus Lohrey, Christian Mathissen
2011 Misc conf
Compressed Membership in Automata with Compressed Labels.
CSR
Markus Lohrey, Christian Mathissen
2011 — conf
Isomorphism of Regular Trees and Words.
ICALP (2)
Markus Lohrey, Christian Mathissen
2011 J jnl
Isomorphism of regular trees and words
CoRR
Markus Lohrey, Christian Mathissen
2011 — conf
Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids.
Algebraic Foundations in Computer Science
Ina Fichtner, Christian Mathissen
2010 C conf
Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups.
Developments in Language Theory
Niko Haubold, Markus Lohrey, Christian Mathissen
2010 J jnl
Definable transductions and weighted logics for texts.
Theor. Comput. Sci.
Christian Mathissen
2010 J jnl
Weighted Logics for Nested Words and Algebraic Formal Power Series
Log. Methods Comput. Sci.
Christian Mathissen
2009 J jnl
Existential MSO over two successors is strictly weaker than over linear orders.
Theor. Comput. Sci.
Christian Mathissen
2009 — —
Weighted Automata and Weighted Logics over Tree-like Structures.
Christian Mathissen
2008 — conf
Weighted Logics for Nested Words and Algebraic Formal Power Series.
ICALP (2)
Christian Mathissen
2007 C conf
Definable Transductions and Weighted Logics for Texts.
Developments in Language Theory
Christian Mathissen