| Publication | Date of Publication | Type |
|---|
| Decidability results in automata and process theory | 2024-06-21 | Paper |
| The probability nesting game | 2013-08-15 | Paper |
| Continuous time temporal logic with counting | 2012-05-24 | Paper |
| Promptness in ω-Regular Automata | 2010-10-04 | Paper |
| Meadows and the equational specification of division | 2009-03-25 | Paper |
| Decidable metric logics | 2009-02-03 | Paper |
| Skew Meadows | 2009-01-07 | Paper |
| Fields, Meadows and Abstract Data Types | 2008-03-25 | Paper |
| Expressiveness of Metric modalities for continuous time | 2007-10-11 | Paper |
| An Expressive Temporal Logic for Real Time | 2007-09-05 | Paper |
| Expressiveness of Metric Modalities for Continuous Time | 2007-05-02 | Paper |
| Timer formulas and decidable metric temporal logic | 2005-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824483 | 2004-11-01 | Paper |
| Future temporal logic needs infinitely many modalities | 2004-08-19 | Paper |
| Pushdown automata, multiset automata, and Petri nets | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525284 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945224 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938637 | 2000-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938638 | 2000-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222868 | 1998-12-20 | Paper |
| A polynomial algorithm for deciding bisimilarity of normed context-free processes | 1997-02-27 | Paper |
| A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes | 1996-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874651 | 1996-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202941 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3982059 | 1992-06-26 | Paper |
| The Nonstandard Treatment of Hilbert's Fifth Problem | 1990-01-01 | Paper |
| Nonstandard combinatorics | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833596 | 1989-01-01 | Paper |
| A lower bound for Ramsey's theorem | 1980-01-01 | Paper |
| Finite forcing, existential types and complete types | 1980-01-01 | Paper |
| Generalized ultrapowers | 1980-01-01 | Paper |
| Examples in the theory of existential completeness | 1978-01-01 | Paper |
| Non standard analysis and the compactification of groups | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861362 | 1976-01-01 | Paper |
| Forcing, arithmetic, division rings | 1975-01-01 | Paper |
| Models of arithmetic and recursive functions | 1975-01-01 | Paper |
| The Model Companion of ZF | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078015 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767317 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677484 | 1972-01-01 | Paper |
| Lectures on non-standard analysis | 1969-01-01 | Paper |
