| Publication | Date of Publication | Type |
|---|
| On the fair termination of client-server sessions | 2024-11-26 | Paper |
| A logical account of subtyping for session types | 2024-10-08 | Paper |
| An infinitary proof theory of linear logic ensuring fair termination in the linear \(\pi\)-calculus | 2024-08-13 | Paper |
| Fair termination of multiparty sessions | 2024-06-25 | Paper |
| Deadlock Analysis of Wait-Notify Coordination | 2024-03-14 | Paper |
| Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types | 2022-10-06 | Paper |
| Probabilistic Analysis of Binary Sessions | 2022-07-18 | Paper |
| A Distributed Implementation of Mobile Nets as Mobile Agents | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964693 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150075 | 2021-02-09 | Paper |
| A type checking algorithm for concurrent object protocols | 2018-10-01 | Paper |
| A core calculus for dynamic delta-oriented programming | 2018-06-26 | Paper |
| Deadlock and lock freedom in the linear π-calculus | 2018-04-23 | Paper |
| A simple library implementation of binary sessions | 2017-10-23 | Paper |
| On Sessions and Infinite Data | 2017-06-22 | Paper |
| Context-Free Session Type Inference | 2017-05-19 | Paper |
| Types for Deadlock-Free Higher-Order Programs | 2016-10-19 | Paper |
| A Gentle Introduction to Multiparty Asynchronous Session Types | 2016-10-04 | Paper |
| Global progress for dynamically interleaved multiparty sessions | 2016-07-28 | Paper |
| Fair subtyping for multi-party session types | 2016-07-28 | Paper |
| Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types | 2016-01-07 | Paper |
| An algebraic theory for web service contracts | 2015-09-03 | Paper |
| A theory of contracts for web services | 2014-09-12 | Paper |
| Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types | 2014-04-16 | Paper |
| Exception handling for copyless messaging | 2014-03-25 | Paper |
| Fair Subtyping for Open Session Types | 2013-08-07 | Paper |
| On projecting processes into session types | 2012-05-11 | Paper |
| On global types and multi-party sessions | 2012-04-03 | Paper |
| Typing copyless message passing | 2012-04-03 | Paper |
| Typing Copyless Message Passing | 2011-05-19 | Paper |
| Contract-based discovery of Web services modulo simple orchestrators | 2010-08-24 | Paper |
| Contracts for Mobile Processes | 2009-10-22 | Paper |
| PiDuce- A project for experimenting web services technologies | 2009-08-21 | Paper |
| Contract-Directed Synthesis of Simple Orchestrators | 2008-11-25 | Paper |
| The Must Preorder Revisited | 2008-09-18 | Paper |
| The Pairing of Contracts and Session Types | 2008-06-19 | Paper |
| Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders | 2007-11-28 | Paper |
| From Notation to Semantics: There and Back Again | 2007-09-05 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413882 | 2003-07-21 | Paper |
| Mathematical knowledge management in HELM | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790651 | 2003-02-04 | Paper |
| Mathematical knowledge management in HELM | 2002-02-14 | Paper |
