Christian Mathissen

According to our database, Christian Mathissen authored at least 9 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Compressed Decision Problems for Graph Products and Applications to (outer) Automorphism Groups.

Niko Haubold, Markus Lohrey, Christian Mathissen

Int. J. Algebra Comput., 2012

2011

Isomorphism of Regular Trees and Words.

Markus Lohrey, Christian Mathissen

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Compressed Membership in Automata with Compressed Labels.

Markus Lohrey, Christian Mathissen

Proceedings of the Computer Science - Theory and Applications, 2011

Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids.

Ina Fichtner, Christian Mathissen

Proceedings of the Algebraic Foundations in Computer Science, 2011

2010

Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups.

Niko Haubold, Markus Lohrey, Christian Mathissen

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Weighted Automata and Weighted Logics over Tree-like Structures.

Christian Mathissen

PhD thesis, 2009

Existential MSO over two successors is strictly weaker than over linear orders.

Christian Mathissen

Theor. Comput. Sci., 2009

2008

Weighted Logics for Nested Words and Algebraic Formal Power Series.

Christian Mathissen

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Definable Transductions and Weighted Logics for Texts.

Christian Mathissen

Proceedings of the Developments in Language Theory, 11th International Conference, 2007