| Publication | Date of Publication | Type |
|---|
| Store locally, prove globally | 2024-09-13 | Paper |
| Fault-tolerant multiparty session types | 2024-01-16 | Paper |
| Decoding choice encodings | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101352 | 2022-08-30 | Paper |
| Fault-tolerant multiparty session types | 2022-08-19 | Paper |
| Session Types for Link Failures | 2022-06-15 | Paper |
| On distributability | 2022-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384918 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013872 | 2021-12-03 | Paper |
| A game for linear-time-branching-time spectroscopy | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995154 | 2021-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995152 | 2021-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992497 | 2021-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965862 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964004 | 2021-02-24 | Paper |
| Distributability of mobile ambients | 2020-12-15 | Paper |
| Coupled similarity: the first 32 years | 2020-05-26 | Paper |
| Taming concurrency for verification using multiparty session types | 2019-12-12 | Paper |
| Dynamic Causality in Event Structures | 2018-04-25 | Paper |
| Topological Self-Stabilization with Name-Passing Process Calculi | 2018-03-21 | Paper |
| Synchrony versus causality in distributed systems | 2017-04-04 | Paper |
| Breaking symmetries | 2017-04-04 | Paper |
| Mechanical Verification of a Constructive Proof for FLP | 2016-10-27 | Paper |
| Dynamic Causality in Event Structures | 2016-10-19 | Paper |
| Full abstraction for expressiveness: history, myths and facts | 2016-07-28 | Paper |
| Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively | 2016-03-29 | Paper |
| Higher-Order Dynamics in Event Structures | 2016-02-25 | Paper |
| Much Ado About Nothing? | 2015-07-10 | Paper |
| Open bisimulation, revisited | 2013-10-07 | Paper |
| On Distributability in Process Calculi | 2013-08-05 | Paper |
| Formal Verification of Distributed Algorithms | 2012-09-21 | Paper |
| Is It a “Good” Encoding of Mixed Choice? | 2012-06-22 | Paper |
| Rigorous Discretization of Hybrid Systems Using Process Calculi | 2011-10-07 | Paper |
| On Bisimulations for the Spi Calculus* | 2011-05-06 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | 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/Q3614667 | 2009-03-09 | Paper |
| Open bisimulation, revisited | 2007-12-19 | Paper |
| A formal semantics for protocol narrations | 2007-12-14 | Paper |
| Distributed consensus, revisited | 2007-10-31 | Paper |
| Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi | 2007-09-04 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| Mobile objects as mobile processes | 2006-08-03 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| On bisimulations for the spi calculus | 2005-08-03 | Paper |
| What is a ``good encoding of guarded choice? | 2003-01-14 | Paper |
| Decoding choice encodings | 2003-01-14 | Paper |
| Aliasing models for mobile objects | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536438 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790349 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223013 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222921 | 1998-12-21 | Paper |
