| Publication | Date of Publication | Type |
|---|
| Two ways to scare a Gruffalo | 2023-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079753 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129940 | 2020-11-03 | Paper |
| Decidability of a partial order based temporal logic | 2019-03-29 | Paper |
| Two-variable Logic with a Between Relation | 2018-04-23 | Paper |
| Two-variable first order logic with counting quantifiers: complexity results | 2017-10-13 | Paper |
| Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. | 2017-10-06 | Paper |
| Kleene Theorems for Synchronous Products with Matching | 2017-06-20 | Paper |
| Analyzing Reachability for Some Petri Nets With Fast Growing Markings | 2015-03-23 | Paper |
| A Language-Theoretic View of Verification | 2013-02-26 | Paper |
| Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE | 2012-10-24 | Paper |
| Fine-grained concurrency with separation logic | 2012-03-09 | Paper |
| Parameterized Complexity Results for 1-safe Petri Nets | 2011-09-02 | Paper |
| Kleene Theorems for Product Systems | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3000102 | 2011-05-18 | Paper |
| LTL Can Be More Succinct | 2010-10-04 | Paper |
| Around Dot Depth Two | 2010-08-31 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190783 | 2009-07-27 | Paper |
| A Dose of Timed Logic, in Guarded Measure | 2008-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422504 | 2007-10-26 | Paper |
| Rationality in algebras with a series operation | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540969 | 2002-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766545 | 2002-06-25 | Paper |
| Models and logics for true concurrency. | 2002-02-18 | Paper |
| Series-parallel languages and the bounded-width property | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247275 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381401 | 1998-04-01 | Paper |
| A logical study of distributed transition systems | 1995-08-01 | Paper |
| TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I | 1993-01-16 | Paper |
| Proof theory for exception handling in a tasking environment | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733416 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785913 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680242 | 1985-01-01 | Paper |
