Christian Mathissen

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Venues

Inf. Comput.

Int. J. Algebra Comput.

Leipzig University, Germany (PHD)

Education History

Leipzig University, Germany

PHD

Publications

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

Christian Mathissen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Mathissen