| Publication | Date of Publication | Type |
|---|
| On the computation of the Zariski closure of finitely generated groups of matrices | 2025-01-17 | Paper |
| Reachability in vector addition systems is primitive-recursive in fixed dimension | 2024-12-19 | Paper |
| Bisimulation equivalence of first-order grammars is ACKERMANN-complete | 2024-12-19 | Paper |
| The Parametric Complexity of Lossy Counter Machines | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090950 | 2022-07-21 | Paper |
| On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices | 2021-06-03 | Paper |
| The ideal view on Rackoff's coverability technique | 2021-04-13 | Paper |
| Perfect half space games | 2021-01-19 | Paper |
| On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders | 2020-07-08 | Paper |
| Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets | 2019-10-22 | Paper |
| A hypersequent calculus with clusters for linear frames | 2019-07-24 | Paper |
| The complexity of diagnosability and opacity verification for Petri nets | 2018-10-02 | Paper |
| The complexity of diagnosability and opacity verification for Petri nets | 2018-08-20 | Paper |
| Demystifying Reachability in Vector Addition Systems | 2018-04-23 | Paper |
| The complexity of coverability in \(\nu\)-Petri nets | 2018-04-23 | Paper |
| Non-elementary complexities for branching VASS, MELL, and extensions | 2018-04-23 | Paper |
| Ideal decompositions for vector addition systems (invited talk) | 2018-01-24 | Paper |
| Deciding piecewise testable separability for regular tree languages | 2017-12-19 | Paper |
| The ideal view on Rackoff's coverability technique | 2017-10-27 | Paper |
| A sequent calculus for a modal logic on finite data trees | 2017-07-19 | Paper |
| Model-checking parse trees | 2017-07-03 | Paper |
| The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets | 2017-05-16 | Paper |
| Complexity hierarchies beyond elementary | 2016-10-24 | Paper |
| Implicational relevance logic is 2-\textsc{ExpTime}-complete | 2016-08-19 | Paper |
| Coverability trees for Petri nets with unordered data | 2016-06-10 | Paper |
| Forward analysis and model checking for trace bounded WSTS | 2016-06-03 | Paper |
| Fixed-dimensional energy games are in pseudo-polynomial time | 2015-11-04 | Paper |
| Complexity bounds for ordinal-based termination (invited talk) | 2015-10-28 | Paper |
| Nonelementary complexities for branching VASS, MELL, and extensions | 2015-09-17 | Paper |
| The power of priority channel systems | 2015-01-15 | Paper |
| Alternating vector addition systems with states | 2014-10-14 | Paper |
| Implicational Relevance Logic is 2-ExpTime-Complete | 2014-07-24 | Paper |
| The power of well-structured systems | 2013-08-12 | Paper |
| The Power of Priority Channel Systems | 2013-08-12 | Paper |
| The parametric ordinal-recursive complexity of Post embedding problems | 2013-03-18 | Paper |
| Model Checking Coverability Graphs of Vector Addition Systems | 2011-08-17 | Paper |
| Forward analysis and model checking for trace bounded WSTS | 2011-06-29 | Paper |
| Parametric random generation of deterministic tree automata | 2010-10-07 | Paper |
| An experimental ambiguity detection tool | 2010-01-15 | Paper |
| Random Generation of Deterministic Tree (Walking) Automata | 2009-07-09 | Paper |
| Noncanonical LALR(1) Parsing | 2009-03-26 | Paper |
| Conservative Ambiguity Detection in Context-Free Grammars | 2007-11-28 | Paper |
| Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time | 2007-09-06 | Paper |
