| Publication | Date of Publication | Type |
|---|
| Elements of Discrete Mathematics | 2023-11-07 | Paper |
| Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words | 2023-08-15 | Paper |
| Reachability games and parity games | 2023-07-28 | Paper |
| Conelikes and ranker comparisons | 2023-07-26 | Paper |
| Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words | 2022-03-25 | Paper |
| Testing Simon's congruence | 2021-08-04 | Paper |
| The intersection problem for finite monoids | 2020-08-05 | Paper |
| Nilpotency and strong nilpotency for finite semigroups | 2019-07-29 | Paper |
| The complexity of weakly recognizing morphisms | 2019-07-18 | Paper |
| Green's relations in deterministic finite automata | 2019-07-04 | Paper |
| Regular languages are Church-Rosser congruential | 2018-08-02 | Paper |
| Level two of the quantifier alternation hierarchy over infinite words | 2018-06-01 | Paper |
| The word problem for omega-terms over the Trotter-Weil hierarchy | 2018-06-01 | Paper |
| Solutions of word equations over partially commutative structures | 2017-12-19 | Paper |
| The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy | 2017-10-20 | Paper |
| Green's relations in finite transformation semigroups | 2017-08-22 | Paper |
| Efficient algorithms for morphisms over omega-regular languages | 2017-07-13 | Paper |
| Ehrenfeucht-Fraïssé games on omega-terms | 2017-03-03 | Paper |
| Quantifier alternation in two-variable first-order logic with successor is decidable | 2017-01-30 | Paper |
| Operations on weakly recognizing morphisms | 2016-11-09 | Paper |
| Around dot-depth one | 2016-07-26 | Paper |
| Level Two of the Quantifier Alternation Hierarchy over Infinite Words | 2016-07-25 | Paper |
| The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy | 2016-07-25 | Paper |
| Discrete algebraic methods. Arithmetic, cryptography, automata and groups | 2016-04-05 | Paper |
| A survey on the local divisor technique | 2015-12-10 | Paper |
| Omega-rational expressions with bounded synchronization delay | 2015-07-20 | Paper |
| One quantifier alternation in first-order logic with modular predicates | 2015-04-15 | Paper |
| On the index of Simon's congruence for piecewise testability | 2015-01-30 | Paper |
| Star-free languages and local divisors | 2014-08-07 | Paper |
| Block products and nesting negations in \(\mathrm{FO}^{2}\) | 2014-06-24 | Paper |
| The join of the varieties of \(R\)-trivial and \(L\)-trivial monoids via combinatorics on words | 2014-03-25 | Paper |
| Elements of discrete mathematics. Numbers and counting, graphs and lattices | 2013-07-23 | Paper |
| Discrete algebraic methods. Arithmetic, cryptography, automata and groups | 2013-07-23 | Paper |
| Around dot-depth one | 2013-06-06 | Paper |
| The \(\mathrm{FO}^2\) alternation hierarchy is decidable | 2012-11-22 | Paper |
| Lattices of logical fragments over words (extended abstract) | 2012-11-01 | Paper |
| Regular languages are Church-Rosser congruential | 2012-11-01 | Paper |
| Star-free languages are Church-Rosser congruential | 2012-10-11 | Paper |
| The Join Levels of the Trotter-Weil Hierarchy Are Decidable | 2012-09-25 | Paper |
| Regular ideal languages and their Boolean combinations | 2012-09-20 | Paper |
| Bounded synchronization delay in omega-rational expressions | 2012-09-10 | Paper |
| On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages | 2012-08-15 | Paper |
| The Krohn-Rhodes theorem and local divisors | 2012-06-20 | Paper |
| On smoothed analysis of quicksort and Hoare's find | 2012-04-26 | Paper |
| Fragments of first-order logic over infinite words | 2012-04-24 | Paper |
| Partially ordered two-way Büchi automata | 2012-03-13 | Paper |
| First-order fragments with successor over infinite words | 2012-01-23 | Paper |
| Fragments of first-order logic over infinite words | 2011-05-23 | Paper |
| Partially ordered two-way Büchi automata | 2011-02-11 | Paper |
| On the lattice of sub-pseudovarieties of DA. | 2010-10-27 | Paper |
| Rankers over infinite words (extended abstract) | 2010-08-31 | Paper |
| On FO 2 Quantifier Alternation over Words | 2009-10-16 | Paper |
| On Smoothed Analysis of Quicksort and Hoare’s Find | 2009-07-23 | Paper |
| Polynomials, Fragments of Temporal Logic and the Variety DA over Traces | 2009-03-26 | Paper |
| The Height of Factorization Forests | 2009-02-03 | Paper |
| A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS | 2008-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504335 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431910 | 2008-01-02 | Paper |
| On First-Order Fragments for Words and Mazurkiewicz Traces | 2007-11-28 | Paper |
| Polynomials, fragments of temporal logic and the variety DA over traces | 2007-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412099 | 2003-07-13 | Paper |
