| Publication | Date of Publication | Type |
|---|
| Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations | 2024-09-11 | Paper |
| On theorem-proving in Horn theories with built-in algebras | 2024-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124934 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092439 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994131 | 2021-06-17 | Paper |
| Two-way Parikh automata with a visibly pushdown stack | 2020-01-28 | Paper |
| Visibly pushdown transducers | 2018-09-07 | Paper |
| Decision problems of tree transducers with origin | 2018-06-14 | Paper |
| Two-Way Visibly Pushdown Automata and Transducers | 2018-04-23 | Paper |
| A Generalised Twinning Property for Minimisation of Cost Register Automata | 2018-04-23 | Paper |
| Visibly Pushdown Transducers with Well-Nested Outputs | 2016-06-23 | Paper |
| Decision Problems of Tree Transducers with Origin | 2015-11-04 | Paper |
| Trimming visibly pushdown automata | 2015-05-18 | Paper |
| Paths vs. trees in set-based program analysis | 2015-03-17 | Paper |
| Visibly Pushdown Transducers with Well-Nested Outputs | 2014-10-14 | Paper |
| Trimming Visibly Pushdown Automata | 2013-08-07 | Paper |
| Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness | 2012-11-02 | Paper |
| TREE AUTOMATA WITH GLOBAL CONSTRAINTS | 2010-09-06 | Paper |
| Properties of Visibly Pushdown Transducers | 2010-09-03 | Paper |
| A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs | 2010-01-28 | Paper |
| Nested Sibling Tree Automata | 2009-05-06 | Paper |
| Satisfiability of a Spatial Logic with Tree Variables | 2009-03-05 | Paper |
| Tree Automata with Global Constraints | 2008-10-30 | Paper |
| Monotone AC-Tree Automata | 2008-05-27 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673420 | 2005-04-29 | Paper |
| When ambients cannot be opened | 2005-04-06 | Paper |
| Model checking mobile ambients | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808755 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738363 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417858 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783317 | 2002-12-04 | Paper |
| Lagrangians of Hypergraphs | 2002-11-19 | Paper |
| The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767035 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769429 | 2002-02-05 | Paper |
| Generalized definite set constraints | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944863 | 2000-03-22 | Paper |
