| Publication | Date of Publication | Type |
|---|
| Featherweight Scribble | 2024-02-23 | Paper |
| Verifying asynchronous interactions via communicating session automata | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6190871 | 2024-02-06 | Paper |
| Asynchronous timed session types. From duality to time-sensitive processes | 2023-11-24 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
| Precise Subtyping for Asynchronous Multiparty Sessions | 2023-04-05 | Paper |
| A Sound Algorithm for Asynchronous Session Subtyping | 2023-02-03 | Paper |
| Causal computational complexity of distributed processes | 2023-01-12 | Paper |
| Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types | 2022-10-13 | Paper |
| Communicating finite state machines and an extensible toolchain for multiparty session types | 2022-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384917 | 2021-12-17 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus | 2021-11-24 | Paper |
| Event structure semantics of (controlled) reversible CCS | 2021-08-03 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus | 2021-07-05 | Paper |
| Towards a formal account for software transactional memory | 2021-07-05 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856424 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964003 | 2021-02-24 | Paper |
| Causal Computational Complexity of Distributed Processes | 2021-01-20 | Paper |
| A parametric framework for reversible \(\pi\)-calculi | 2020-12-15 | Paper |
| Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment) | 2020-01-28 | Paper |
| Characteristic formulae for session types | 2019-09-17 | Paper |
| On the relative expressiveness of higher-order session processes | 2019-09-17 | Paper |
| On polymorphic sessions and functions. A tale of two (fully abstract) encodings | 2019-09-13 | Paper |
| Towards a categorical representation of reversible event structures | 2019-06-20 | Paper |
| Precise subtyping for synchronous multiparty sessions | 2019-06-20 | Paper |
| Event structure semantics of (controlled) reversible CCS | 2018-10-17 | Paper |
| Multiparty Asynchronous Session Types | 2018-08-02 | Paper |
| Depending on session-typed processes | 2018-07-17 | Paper |
| Game theoretic analysis of call-by-value computation | 2018-07-04 | Paper |
| Multiparty session types, beyond duality | 2018-06-27 | Paper |
| Timed runtime monitoring for multiparty conversations | 2017-11-29 | Paper |
| Fencing off go: liveness and safety for channel-based programming | 2017-10-20 | Paper |
| Meeting Deadlines Together | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357719 | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357720 | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275396 | 2017-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278078 | 2017-07-13 | Paper |
| Certifying data in multiparty session types | 2017-07-04 | Paper |
| Multiparty session types as coherence proofs | 2017-06-14 | Paper |
| Characteristic bisimulation for higher-order session processes | 2017-06-14 | Paper |
| On the Undecidability of Asynchronous Session Subtyping | 2017-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980982 | 2017-05-08 | Paper |
| Monitoring networks through multiparty session types | 2017-03-16 | Paper |
| Effects as sessions, sessions as effects | 2016-10-24 | Paper |
| A Gentle Introduction to Multiparty Asynchronous Session Types | 2016-10-04 | Paper |
| From Communicating Machines to Graphical Choreographies | 2016-09-29 | Paper |
| Certifying Data in Multiparty Session Types | 2016-08-17 | Paper |
| Reversing Single Sessions | 2016-08-10 | Paper |
| Global escape in multiparty sessions | 2016-07-28 | Paper |
| Global progress for dynamically interleaved multiparty sessions | 2016-07-28 | Paper |
| On asynchronous eventful session semantics | 2016-07-28 | Paper |
| Multiparty Session Nets | 2016-06-09 | Paper |
| On the Relative Expressiveness of Higher-Order Session Processes | 2016-04-26 | Paper |
| Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion | 2016-03-03 | Paper |
| Channel dependent types for higher-order mobile processes | 2015-11-11 | Paper |
| Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python | 2015-10-30 | Paper |
| Reversible session-based pi-calculus | 2015-08-21 | Paper |
| Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness | 2015-07-10 | Paper |
| Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus | 2015-05-04 | Paper |
| A uniform type structure for secure information flow | 2015-03-17 | Paper |
| Globally Governed Session Semantics | 2015-01-15 | Paper |
| A logical analysis of aliasing in imperative higher-order functions | 2015-01-06 | Paper |
| Timed Multiparty Session Types | 2014-09-15 | Paper |
| Multiparty asynchronous session types | 2014-09-12 | Paper |
| Process Types as a Descriptive Tool for Interaction | 2014-07-24 | Paper |
| Dynamic multirole session types | 2014-04-10 | Paper |
| Theoretical Aspects of Communication-Centred Programming | 2014-01-17 | Paper |
| Probabilistic π-Calculus and Event Structures | 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 |
| https://portal.mardi4nfdi.de/entity/Q2851333 | 2013-10-10 | Paper |
| Globally Governed Session Semantics | 2013-08-12 | Paper |
| Compositional Choreographies | 2013-08-12 | Paper |
| Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types | 2013-08-07 | Paper |
| Parameterised Multiparty Session Types | 2012-10-22 | Paper |
| Intensional and Extensional Characterisation of Global Progress in the π-Calculus | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908863 | 2012-08-29 | Paper |
| Multiparty Session Types Meet Communicating Automata | 2012-06-22 | Paper |
| Event Structure Semantics of Parallel Extrusion in the Pi-Calculus | 2012-06-22 | Paper |
| A Theory of Design-by-Contract for Distributed Multiparty Interactions | 2010-08-31 | Paper |
| Buffered Communication Analysis in Distributed Multiparty Sessions | 2010-08-31 | Paper |
| Parameterised Multiparty Session Types | 2010-04-27 | Paper |
| Typed event structures and the linear \(\pi \)-calculus | 2010-04-22 | Paper |
| On Observing Dynamic Prioritised Actions in SOC | 2009-07-14 | Paper |
| Session-Based Communication Optimisation for Higher-Order Mobile Processes | 2009-07-07 | Paper |
| Objects and session types | 2009-06-08 | 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 |
| Two Session Typing Systems for Higher-Order Mobile Processes | 2009-03-10 | Paper |
| Structured Interactional Exceptions in Session Types | 2008-11-25 | Paper |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008-11-25 | Paper |
| Compositional Event Structure Semantics for the Internal π-Calculus | 2008-09-18 | Paper |
| Bounded Session Types for Object Oriented Languages | 2008-09-17 | Paper |
| Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes | 2008-08-19 | Paper |
| Timed, Distributed, Probabilistic, Typed Processes | 2008-05-15 | Paper |
| Formalising Java RMI with explicit code mobility | 2007-12-14 | Paper |
| Asynchronous Session Types and Progress for Object Oriented Languages | 2007-11-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Programming Languages and Systems | 2007-09-28 | 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 |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| safeDpi: a language for controlling mobile code | 2006-01-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 |
| Assigning types to processes | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778815 | 2002-03-21 | Paper |
| Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators | 2002-03-03 | 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 |
| Game-theoretic analysis of call-by-value computation | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270081 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268454 | 1999-10-31 | Paper |
| On reduction-based process semantics | 1997-02-27 | Paper |
