| Publication | Date of Publication | Type |
|---|
| New results on the generalized star-height problem | 2022-08-16 | Paper |
| Lower bounds for modular counting by circuits with modular gates | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079753 | 2022-05-28 | Paper |
| Varieties | 2022-02-04 | Paper |
| Wreath Products of Distributive Forest Algebras | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129940 | 2020-11-03 | Paper |
| Difference hierarchies and duality with an application to formal languages | 2020-04-06 | Paper |
| Circuit complexity and the expressive power of generalized first-order formulas | 2019-12-04 | Paper |
| Two-variable Logic with a Between Relation | 2018-04-23 | Paper |
| An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic | 2018-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957483 | 2017-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3187179 | 2016-08-16 | Paper |
| EF+EX Forest Algebras | 2015-09-22 | Paper |
| A new proof of the locality of R | 2015-04-21 | Paper |
| New applications of the wreath product of forest algebras | 2014-02-24 | Paper |
| An Introduction to Finite Automata and their Connection to Logic | 2013-02-26 | Paper |
| Piecewise testable tree languages | 2012-10-22 | Paper |
| Wreath Products of Forest Algebras, with Applications to Tree Logics | 2012-09-25 | Paper |
| Algebraic Characterization of the Alternation Hierarchy in FO^2[< on Finite Words] | 2012-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086935 | 2011-03-30 | Paper |
| WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITY | 2010-05-25 | Paper |
| Definability of Languages by Generalized First-Order Formulas over $(\mathbb{N},+)$ | 2008-04-22 | Paper |
| Definability of Languages by Generalized First-Order Formulas over (N,+) | 2008-03-19 | Paper |
| A note on \(\mathbf{MOD}_{p}\)-\(\mathbf{MOD}_{m}\) circuits | 2006-10-16 | Paper |
| Developments in Language Theory | 2006-06-23 | Paper |
| Actions, wreath products of \(\mathcal C\)-varieties and concatenation product. | 2006-05-18 | Paper |
| Incomplete quadratic exponential sums in several variables | 2006-03-20 | Paper |
| Bounds on an exponential sum arising in Boolean circuit complexity | 2005-09-27 | Paper |
| Some results onC-varieties | 2005-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044318 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044353 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4407440 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431384 | 2003-10-21 | Paper |
| Regular languages defined by generalized first-order formulas with a bounded number of bound variables | 2003-08-26 | Paper |
| Languages defined with modular counting quantifiers | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762532 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790394 | 2001-01-01 | Paper |
| Lower bounds for modular counting by circuits with modular gates | 2000-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381392 | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942278 | 2000-03-21 | Paper |
| Finite semigroup varieties defined by programs | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3123635 | 1997-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353559 | 1997-09-10 | Paper |
| Superlinear lower bounds for bounded-width branching programs | 1995-08-21 | Paper |
| Regular languages defined with generalized quantifiers | 1995-07-10 | Paper |
| Complex polynomials and circuit lower bounds for modular counting | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271219 | 1994-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4302435 | 1994-08-11 | Paper |
| Some results on the generalized star-height problem | 1993-05-16 | Paper |
| On a conjecture concerning dot-depth two languages | 1993-01-16 | Paper |
| Regular languages in \(NC\) | 1992-09-27 | Paper |
| CONSTANT-DEPTH PERIODIC CIRCUITS | 1991-01-01 | Paper |
| Non-uniform automata over groups | 1990-01-01 | Paper |
| On uniformity within \(NC^ 1\) | 1990-01-01 | Paper |
| Locally trivial categories and unambiguous concatenation | 1988-01-01 | Paper |
| Semigroups and languages of dot-depth two | 1988-01-01 | Paper |
| Partially ordered finite monoids and a theorem of I. Simon | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3806849 | 1988-01-01 | Paper |
| Applications of the theory of automata in enumeration | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760747 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3730029 | 1986-01-01 | Paper |
| Finite semigroup varieties of the form V*D | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774066 | 1985-01-01 | Paper |
| Inversion of matrices over a commutative semiring | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689384 | 1984-01-01 | Paper |
| A combinatorial proof of the Cayley-Hamilton theorem | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677937 | 1983-01-01 | Paper |
| The variety generated by finite nilpotent monoids | 1982-01-01 | Paper |
| A generalization of the Schützenberger product of finite monoids | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3913600 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916760 | 1981-01-01 | Paper |
| On finite \(\mathcal J\)-trivial monoids | 1980-01-01 | Paper |
| Families of recognizable sets corresponding to certain varieties of finite monoids | 1979-01-01 | Paper |
| Recognizable sets and power sets of finite semigroups | 1979-01-01 | Paper |
| Aperiodic homomorphisms and the concatenation product of recognizable sets | 1979-01-01 | Paper |
