| Publication | Date of Publication | Type |
|---|
| Bisimulation, games, and logic | 2024-01-29 | Paper |
| Open maps, behavioural equivalences, and congruences | 2023-02-23 | Paper |
| Behavioural equivalence for infinite systems — Partially decidable! | 2019-05-02 | Paper |
| Observing behaviour categorically | 2017-01-19 | Paper |
| Automated logical verification based on trace abstractions | 2015-09-11 | Paper |
| A Bayesian Model for Event-based Trust | 2013-12-06 | Paper |
| Transfer of trust in event-based reputation systems | 2012-05-30 | Paper |
| Trust models in ubiquitous computing | 2009-01-21 | Paper |
| Towards a Formal Framework for Computational Trust | 2008-09-17 | Paper |
| Secure Data Flow in a Calculus for Context Awareness | 2008-06-19 | Paper |
| Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra | 2008-06-19 | Paper |
| CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence | 2008-05-15 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Theory Is Forever | 2005-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045269 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738301 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474226 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431341 | 2003-10-21 | Paper |
| Undecidability of domino games and hhp-bisimilarity. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150207 | 2002-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535170 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501547 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265624 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225153 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218094 | 1998-11-11 | Paper |
| Open maps, behavioural equivalences, and congruences | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247292 | 1998-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353632 | 1997-09-10 | Paper |
| Petri nets and bisimulation | 1997-02-28 | Paper |
| Models for concurrency: Towards a classification | 1997-02-27 | Paper |
| Bisimulation from open maps | 1997-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847022 | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858945 | 1995-12-20 | Paper |
| Transition systems, event structures, and unfoldings | 1995-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289279 | 1994-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035225 | 1993-05-18 | Paper |
| Elementary transition systems | 1992-09-26 | Paper |
| Elementary transition systems and refinement | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030241 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703272 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727392 | 1984-01-01 | Paper |
| Petri nets, event structures and domains. I | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851636 | 1979-01-01 | Paper |
| EOL systems with control devices | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4051623 | 1974-01-01 | Paper |
| On the decidability of some equivalence problems for DOL-systems | 1974-01-01 | Paper |
