| Publication | Date of Publication | Type |
|---|
| Connection of nonlinear model predictive controllers for smooth task switching in autonomous driving | 2024-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964003 | 2021-02-24 | Paper |
| Multiparty Asynchronous Session Types | 2018-08-02 | Paper |
| Game theoretic analysis of call-by-value computation | 2018-07-04 | Paper |
| Monitoring networks through multiparty session types | 2017-03-16 | Paper |
| On asynchronous eventful session semantics | 2016-07-28 | Paper |
| Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python | 2015-10-30 | Paper |
| A uniform type structure for secure information flow | 2015-03-17 | Paper |
| From process logic to program logic | 2015-03-09 | Paper |
| A logical analysis of aliasing in imperative higher-order functions | 2015-01-06 | Paper |
| Multiparty asynchronous session types | 2014-09-12 | Paper |
| Process types as a descriptive tool for interaction. Control and the pi-calculus | 2014-07-24 | Paper |
| Theoretical aspects of communication-centred programming | 2014-01-17 | Paper |
| An observationally complete program logic for imperative higher-order functions | 2013-12-18 | Paper |
| A calculus of global interaction based on session types | 2013-12-06 | Paper |
| Processes and games | 2013-10-02 | Paper |
| The two-phase commitment protocol in an extended \(\pi\)-calculus | 2013-04-26 | Paper |
| Specifying stateful asynchronous properties for distributed programs | 2012-09-25 | Paper |
| Nested protocols in session types | 2012-09-25 | Paper |
| Intensional and extensional characterisation of global progress in the \(\pi \)-calculus | 2012-09-25 | Paper |
| Full abstraction in a subtyped pi-calculus with linear types | 2011-09-02 | Paper |
| A theory of design-by-contract for distributed multiparty interactions | 2010-08-31 | Paper |
| An exact correspondence between a typed pi-calculus and polarised proof-nets | 2010-05-27 | Paper |
| Logical Reasoning for Higher-Order Functions with Local State | 2009-04-29 | Paper |
| Global Principal Typing in Partially Commutative Asynchronous Sessions | 2009-03-31 | Paper |
| Structured Interactional Exceptions in Session Types | 2008-11-25 | Paper |
| Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes | 2008-08-19 | Paper |
| A logical analysis of aliasing in imperative higher-order functions | 2007-09-26 | Paper |
| Descriptive and Relative Completeness of Logics for Higher-Order Functions | 2007-09-11 | Paper |
| Logical Reasoning for Higher-Order Functions with Local State | 2007-09-07 | Paper |
| Structured Communication-Centred Programming for Web Services | 2007-09-04 | Paper |
| Linearity and bisimulation | 2007-08-10 | Paper |
| Genericity and the \(\pi\)-calculus | 2005-12-14 | Paper |
| Noninterference through flow analysis | 2005-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738241 | 2004-08-11 | Paper |
| Strong normalisation in the \(\pi\)-calculus | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417854 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778815 | 2002-03-21 | Paper |
| Elementary structures in process theory (1): Sets with renaming | 2001-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518881 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490761 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937836 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937113 | 2000-02-03 | Paper |
| Game-theoretic analysis of call-by-value computation | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268454 | 1999-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222833 | 1998-12-13 | Paper |
| On reduction-based process semantics | 1997-02-27 | Paper |
