Christian Mathissen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Isomorphism of regular trees and words Information and Computation	2013-06-06	Paper
Compressed decision problems for graph products and applications to (outer) automorphism groups. International Journal of Algebra and Computation	2013-01-30	Paper
Rational transformations and a Kleene theorem for power series over rational monoids Algebraic Foundations in Computer Science	2011-11-11	Paper
Isomorphism of regular trees and words Automata, Languages and Programming	2011-07-07	Paper
Compressed membership in automata with compressed labels Computer Science – Theory and Applications	2011-06-17	Paper
Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups Developments in Language Theory	2010-08-31	Paper
Weighted logics for nested words and algebraic formal power series Logical Methods in Computer Science	2010-03-15	Paper
Definable transductions and weighted logics for texts Theoretical Computer Science	2010-02-05	Paper
Existential MSO over two successors is strictly weaker than over linear orders Theoretical Computer Science	2009-09-10	Paper
Weighted Logics for Nested Words and Algebraic Formal Power Series Automata, Languages and Programming	2008-08-19	Paper
Definable Transductions and Weighted Logics for Texts Developments in Language Theory	2007-11-28	Paper

Research outcomes over time

This page was built for person: Christian Mathissen