| Publication | Date of Publication | Type |
|---|
| Verification and comparison of transition systems | 2022-11-02 | Paper |
| Affine Completeness of Some Free Binary Algebras | 2022-10-07 | Paper |
| The algebra of binary trees is affine complete | 2022-01-27 | Paper |
| Affine completeness of some free binary algebras | 2021-06-24 | Paper |
| Affine completeness of the algebra of full binary trees | 2021-01-14 | Paper |
| The algebra of complete binary trees is affine complete | 2020-05-18 | Paper |
| On the separation question for tree languages | 2015-02-05 | Paper |
| On the separation question for tree languages | 2012-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086917 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086918 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445157 | 2008-03-03 | Paper |
| Ambiguous classes in \(\mu\)-calculi hierarchies | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417852 | 2003-07-30 | Paper |
| Nivat's processes and their synchronization | 2002-07-15 | Paper |
| Rudiments of \(\mu\)-calculus | 2001-03-18 | Paper |
| Theμ-calculus alternation-depth hierarchy is strict on binary trees | 2000-10-03 | Paper |
| A selection property of the boolean $\mu $-calculus and some of its applications | 2000-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948010 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942640 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260382 | 1999-09-19 | Paper |
| An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma | 1997-02-28 | Paper |
| A topological property of rational \(\omega\)-languages | 1997-02-27 | Paper |
| An algebraic characterization of observational equivalence | 1997-02-27 | Paper |
| A relative of the Thue-Morse sequence | 1996-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4869542 | 1996-03-11 | Paper |
| Construction and Analysis of Transition Systems with MEC | 1995-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273664 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289659 | 1994-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029582 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005202 | 1992-09-27 | Paper |
| An extension of the notions of traces and of asynchronous automata | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3350779 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5753528 | 1990-01-01 | Paper |
| Optimal word chains for the Thue-Morse word | 1989-01-01 | Paper |
| An algebraic characterization of transition system equivalences | 1989-01-01 | Paper |
| An example of sequentialization of a parallel algorithm | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4734769 | 1989-01-01 | Paper |
| A linear algorithm to solve fixed-point equations on transition systems | 1988-01-01 | Paper |
| Logical definability of fixed points | 1988-01-01 | Paper |
| A syntactic congruence for rational \(\omega\)-languages | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753512 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698292 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330516 | 1984-01-01 | Paper |
| Rational \(\omega\)-languages are non-ambiguous | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3662640 | 1983-01-01 | Paper |
| Morphismes et bimorphismes d'arbres | 1982-01-01 | Paper |
| Synchronized behaviours of processes and rational relations | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325067 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660931 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914421 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900995 | 1980-01-01 | Paper |
| Formal computations of non deterministic recursive program schemes | 1980-01-01 | Paper |
| Metric interpretations of infinite trees and semantics of non deterministic recursive programs | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890123 | 1980-01-01 | Paper |
| Une propri\'et\'e des forêts alg\'ebriques « de greibach \ra | 1980-01-01 | Paper |
| Le théorème de transversale rationnelle dans les langages d'arbres | 1980-01-01 | Paper |
| A new proof of two theorems about rational transductions | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886881 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051403 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4172929 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947101 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191570 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923575 | 1978-01-01 | Paper |
| Forêts Algébriques et Homomorphismes Inverses | 1978-01-01 | Paper |
| Recursivite et cônes rationnels fermés par intersection | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166238 | 1978-01-01 | Paper |
| Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157924 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940870 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134908 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140917 | 1977-01-01 | Paper |
| Un théorème de Chomsky-Schützenberger pour les forets algébriques | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138171 | 1976-01-01 | Paper |
| Un théorème de duplication pour les forets algébriques | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590826 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616169 | 1970-01-01 | Paper |
