| Publication | Date of Publication | Type |
|---|
| Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests | 2024-12-19 | Paper |
| The complexity of bidirected reachability in valence systems | 2024-12-06 | Paper |
| Ramsey quantifiers over automatic structures: complexity and applications to verification | 2024-12-06 | Paper |
| Context-bounded analysis of concurrent programs (invited talk) | 2024-11-14 | Paper |
| Checking refinement of asynchronous programs against context-free specifications | 2024-11-14 | Paper |
| Regular separability in Büchi VASS | 2024-10-08 | Paper |
| Membership problems in finite groups | 2024-08-06 | Paper |
| Reachability in bidirected pushdown VASS | 2024-06-24 | Paper |
| Existential definability over the subword ordering | 2024-04-23 | Paper |
| Existential Definability over the Subword Ordering | 2024-01-16 | Paper |
| Unboundedness problems for machines with reversal-bounded counters | 2023-11-24 | Paper |
| Knapsack and the power word problem in solvable Baumslag–Solitar groups | 2023-06-01 | Paper |
| Recent advances on reachability problems for valence systems (invited talk) | 2023-03-31 | Paper |
| Regular Separability and Intersection Emptiness Are Independent Problems | 2023-02-03 | Paper |
| General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond | 2023-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089240 | 2022-07-18 | Paper |
| Membership Problems in Finite Groups | 2022-06-23 | Paper |
| Closure properties of knapsack semilinear groups | 2021-10-22 | Paper |
| General decidability results for asynchronous shared-memory programs: higher-order and beyond | 2021-08-04 | Paper |
| Bounded Context Switching for Valence Systems | 2021-08-04 | Paper |
| Unboundedness Problems for Languages of Vector Addition Systems. | 2021-07-28 | Paper |
| The emptiness problem for valence automata over graph monoids | 2021-04-13 | Paper |
| Extensions of ω-Regular Languages | 2021-01-21 | Paper |
| An Approach to Regular Separability in Vector Addition Systems | 2021-01-21 | Paper |
| Separability by piecewise testable languages and downward closures beyond subwords | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144688 | 2021-01-19 | Paper |
| A characterization of wreath products where knapsack is decidable | 2021-01-15 | Paper |
| Knapsack Problems for Wreath Products | 2020-08-05 | Paper |
| Rational subsets of Baumslag-Solitar groups | 2020-06-21 | Paper |
| The complexity of knapsack problems in wreath products | 2020-02-19 | Paper |
| Knapsack and the power word problem in solvable Baumslag-Solitar groups | 2020-02-07 | Paper |
| Languages ordered by the subword order | 2020-01-28 | Paper |
| Closure properties of knapsack semilinear groups | 2019-11-28 | Paper |
| Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets | 2019-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967224 | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4560219 | 2018-12-10 | Paper |
| The complexity of regular abstractions of one-counter languages | 2018-04-23 | Paper |
| First-order logic with reachability for infinite-state systems | 2018-04-23 | Paper |
| The Complexity of Knapsack in Graph Groups | 2018-04-19 | Paper |
| Knapsack in graph groups | 2018-03-01 | Paper |
| The monoid of queue actions | 2018-02-28 | Paper |
| Knapsack in graph groups, HNN-extensions and amalgamated products | 2018-01-24 | Paper |
| The Complexity of Downward Closure Comparisons | 2017-12-19 | Paper |
| The emptiness problem for valence automata or: another decidable extension of Petri nets | 2017-10-27 | Paper |
| On Boolean closed full trios and rational Kripke frames | 2017-07-17 | Paper |
| Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups | 2017-04-11 | Paper |
| On Boolean closed full trios and rational Kripke frames. | 2017-03-03 | Paper |
| Computing Downward Closures for Stacked Counter Automata | 2017-01-24 | Paper |
| Permutations of context-free, ET0L and indexed languages | 2016-08-23 | Paper |
| An Approach to Computing Downward Closures | 2015-11-04 | Paper |
| Rational subsets and submonoids of wreath products. | 2015-06-09 | Paper |
| The Monoid of Queue Actions | 2014-10-14 | Paper |
| Semilinearity and Context-Freeness of Languages Accepted by Valence Automata | 2013-09-20 | Paper |
| Rational subsets and submonoids of wreath products. | 2013-08-07 | Paper |
| Silent Transitions in Automata with Storage | 2013-08-07 | Paper |
| CONCURRENT FINITE AUTOMATA AND RELATED LANGUAGE CLASSES (AN OVERVIEW) | 2013-06-03 | Paper |
| A Sufficient Condition for Erasing Productions to Be Avoidable | 2011-07-29 | Paper |
| On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids | 2011-07-07 | Paper |
| TOWARD UNDERSTANDING THE GENERATIVE CAPACITY OF ERASING RULES IN MATRIX GRAMMARS | 2011-03-30 | Paper |
| On Erasing Productions in Random Context Grammars | 2010-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192935 | 2009-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192936 | 2009-08-10 | Paper |
| Erasing in Petri Net Languages and Matrix Grammars | 2009-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506359 | 2009-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506372 | 2009-01-28 | Paper |
| Labeled Step Sequences in Petri Nets | 2008-07-03 | Paper |
| An efficient quantifier elimination procedure for Presburger arithmetic | N/A | Paper |
