| Publication | Date of Publication | Type |
|---|
| Modal and temporal logics for processes | 2024-06-21 | Paper |
| Decidability of bisimulation equivalence for normed pushdown processes | 2023-06-28 | Paper |
| A proof system with names for modal \(\mu\)-calculus | 2021-06-21 | Paper |
| Bisimulation and logic | 2014-04-25 | Paper |
| Model-checking games for typed \(\lambda\)-calculi | 2013-12-06 | Paper |
| Proof systems for retracts in simply typed lambda calculus | 2013-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059185 | 2010-12-08 | Paper |
| Robin Milner: 13 January 1934-20 March 2010 | 2010-11-22 | Paper |
| Decidability of higher-order matching | 2009-08-20 | Paper |
| Dependency Tree Automata | 2009-03-31 | Paper |
| A Game-Theoretic Approach to Deciding Higher-Order Matching | 2007-09-11 | Paper |
| Second-Order Simple Grammars | 2007-09-04 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737211 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738230 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474205 | 2004-08-04 | Paper |
| Discontinuous modelling of masonry bridges | 2004-01-28 | Paper |
| Modal logics and mu-calculi: An introduction | 2003-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440830 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779172 | 2002-11-25 | Paper |
| Model Checking Games for Branching Time Logics | 2002-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769443 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753669 | 2001-12-09 | Paper |
| Decidability of DPDA equivalence | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218096 | 2000-08-02 | Paper |
| Bisimulation, modal logic and model checking games | 1999-09-09 | Paper |
| Decidability of bisimulation equivalence for normed pushdown processes | 1999-01-20 | Paper |
| Actions speak louder than words: proving bisimilarity for context-free processes | 1998-09-27 | Paper |
| Local model checking for infinite state spaces | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733387 | 1989-01-01 | Paper |
| A generalization of Owicki-Gries's Hoare logic for a concurrent while language | 1988-01-01 | Paper |
| Modal logics for communicating systems | 1987-01-01 | Paper |
| Weak and strong fairness in CCS | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815279 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727371 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677160 | 1985-01-01 | Paper |
| The power of the future perfect in program logics | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707371 | 1985-01-01 | Paper |
| A proof-theoretic characterization of observational equivalence | 1985-01-01 | Paper |
| A fair calculus of communicating systems | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343420 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221398 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326820 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666267 | 1983-01-01 | Paper |
