| Publication | Date of Publication | Type |
|---|
| On Presburger arithmetic extended with non-unary counting quantifiers | 2023-08-26 | Paper |
| Alternating complexity of counting first-order logic for the subword order | 2023-03-01 | Paper |
| The Subtrace Order and Counting First-Order Logic | 2022-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089232 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079723 | 2022-05-28 | Paper |
| Traces, Series-Parallel Posets, and Pictures: A Weighted Study | 2022-04-28 | Paper |
| Second-order finite automata: expressive power and simple proofs using automatic structures | 2022-03-25 | Paper |
| Weighted automata | 2022-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015280 | 2021-12-07 | Paper |
| Communicating automata | 2021-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002820 | 2021-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144680 | 2021-01-19 | Paper |
| Languages ordered by the subword order | 2020-01-28 | Paper |
| The inclusion structure of partially lossy queue monoids and their trace submonoids | 2018-11-01 | Paper |
| Multi-buffer simulations: decidability and complexity | 2018-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4585066 | 2018-09-06 | Paper |
| Hanf normal form for first-order logic with unary counting quantifiers | 2018-04-23 | Paper |
| The monoid of queue actions | 2018-02-28 | Paper |
| Dependence orders for computations of concurrent automata | 2017-12-04 | Paper |
| Infinite and Bi-infinite Words with Decidable Monadic Theories. | 2017-08-31 | Paper |
| The transformation monoid of a partially lossy queue | 2017-08-22 | Paper |
| The complexity of model checking multi-stack systems | 2017-08-15 | Paper |
| On Boolean closed full trios and rational Kripke frames | 2017-07-17 | Paper |
| An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree | 2017-07-03 | Paper |
| The Complexity of Model Checking Multi-stack Systems | 2017-07-03 | Paper |
| The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids | 2016-08-30 | Paper |
| On Presburger Arithmetic Extended with Modulo Counting Quantifiers | 2015-10-01 | Paper |
| Almost Every Domain is Universal | 2015-07-10 | Paper |
| RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA | 2015-04-29 | Paper |
| The Monoid of Queue Actions | 2014-10-14 | Paper |
| Isomorphisms of scattered automatic linear orders | 2014-04-16 | Paper |
| Logical Aspects of the Lexicographic Order on 1-Counter Languages | 2013-09-20 | Paper |
| The isomorphism problem on classes of automatic structures with transitive relations | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910742 | 2013-03-19 | Paper |
| Isomorphisms of scattered automatic linear orders. | 2012-11-22 | Paper |
| The isomorphism problem for \(\omega \)-automatic trees | 2012-11-20 | Paper |
| An optimal construction of Hanf sentences | 2012-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118391 | 2012-03-02 | Paper |
| Is Ramsey's theorem omega-automatic? | 2012-01-23 | Paper |
| Automatic structures of bounded degree revisited | 2011-12-23 | Paper |
| Where Automatic Structures Benefit from Weighted Automata | 2011-11-11 | Paper |
| Construction of tree automata from regular expressions | 2011-10-28 | Paper |
| Size and Computation of Injective Tree Automatic Presentations | 2011-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3077192 | 2011-02-22 | Paper |
| Propositional Dynamic Logic for Message-Passing Systems | 2010-09-21 | Paper |
| The Isomorphism Problem for ω-Automatic Trees | 2010-09-03 | Paper |
| Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces | 2010-08-18 | Paper |
| Some natural decision problems in automatic graphs | 2010-06-24 | Paper |
| Branching Automata with Costs — A Way of Reflecting Parallelism in Costs | 2010-05-07 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408148 | 2010-02-24 | Paper |
| Automatic Structures of Bounded Degree Revisited | 2009-11-12 | Paper |
| Theories of Automatic Structures and Their Complexity | 2009-11-05 | Paper |
| Weighted asynchronous cellular automata | 2009-06-22 | Paper |
| Construction of Tree Automata from Regular Expressions | 2008-10-30 | Paper |
| Muller message-passing automata and logics | 2008-10-08 | Paper |
| Schützenberger's theorem on formal power series follows from Kleene's theorem | 2008-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504343 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504344 | 2008-06-11 | Paper |
| First-order and counting theories ofω-automatic structures | 2008-05-08 | Paper |
| Propositional Dynamic Logic for Message-Passing Systems | 2008-04-24 | Paper |
| Weighted Asynchronous Cellular Automata | 2008-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431917 | 2008-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431918 | 2008-01-02 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Skew and infinitary formal power series | 2007-01-09 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| On graph products of automatic and biautomatic monoids. | 2006-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485973 | 2006-09-06 | Paper |
| LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE | 2006-08-14 | Paper |
| A Kleene theorem and model checking algorithms for existentially bounded communicating automata | 2006-07-12 | Paper |
| Theories of orders on the set of words | 2006-02-22 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Distributive lattices with a decidable monadic second order theory. | 2005-04-19 | Paper |
| Decidable first-order theories of one-step rewriting in trace monoids | 2005-02-24 | Paper |
| Logical aspects of Cayley-graphs: the group case | 2005-01-31 | Paper |
| Branching automata with costs -- a way of reflecting parallelism in costs | 2005-01-11 | Paper |
| Regular sets of infinite message sequence charts | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736865 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737205 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737908 | 2004-08-11 | Paper |
| The topology of Mazurkiewicz traces. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449193 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418673 | 2003-08-11 | Paper |
| On random relational structures | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807831 | 2003-05-26 | Paper |
| Towards a language theory for infinite N-free pomsets. | 2003-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782712 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536618 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536626 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767036 | 2002-07-22 | Paper |
| Recognizable languages in divisibility monoids | 2002-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762523 | 2002-01-09 | Paper |
| Complementary closed relational clones are not always Krasner clones | 2001-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754184 | 2001-11-11 | Paper |
| Generic automorphisms of the universal partial order | 2001-05-14 | Paper |
| On Existentially First-Order Definable Languages and Their Relation to NP | 2000-12-06 | Paper |
| Asynchronous cellular automata for pomsets | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251923 | 2000-10-17 | Paper |
| On homogeneous semilattices and their automorphism groups | 2000-10-08 | Paper |
| Symmetries of the partial order of traces | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954451 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934333 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231780 | 1999-03-15 | Paper |
| Representation of computations in concurrent automata by dependence orders | 1998-10-22 | Paper |
| Topology for Computations of Concurrent Automata | 1997-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867292 | 1996-02-28 | Paper |
