| Publication | Date of Publication | Type |
|---|
| Partially typed multiparty sessions with internal delegation | 2024-11-26 | Paper |
| Partially Typed Multiparty Sessions | 2024-03-19 | Paper |
| On Composing Communicating Systems | 2024-03-01 | Paper |
| Composition of synchronous communicating systems | 2023-09-25 | Paper |
| A Theory of Formal Choreographic Languages | 2023-08-26 | Paper |
| Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved | 2023-03-09 | Paper |
| Intersection and union types | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993849 | 2021-06-10 | Paper |
| Composition and decomposition of multiparty sessions | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216412 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216082 | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216150 | 2020-02-14 | Paper |
| Connecting open systems of communicating finite state machines | 2019-11-28 | Paper |
| Modularity of termination and confluence in combinations of rewrite systems with λω | 2019-03-29 | Paper |
| Session types and subtyping for orchestrated interactions | 2018-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600774 | 2018-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367054 | 2017-10-12 | Paper |
| Orchestrated session compliance | 2016-11-30 | Paper |
| Reversible client/server interactions | 2016-09-20 | Paper |
| Sub-behaviour relations for session-based client/server systems | 2016-07-27 | Paper |
| Type assignement for mobile objects | 2013-09-11 | Paper |
| A type inference algorithm for secure ambients | 2013-07-24 | Paper |
| Intersection Types and Computational Rules | 2013-06-06 | Paper |
| A Filter Model for the λμ-Calculus | 2011-06-17 | Paper |
| Typing Asymmetric Client-Server Interaction | 2010-01-28 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Space-aware ambients and processes | 2007-04-13 | Paper |
| Intersection types and lambda models | 2006-04-28 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| A full continuous model of polymorphism | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766797 | 2002-07-22 | Paper |
| Intersection types for \(\lambda\)-trees | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490745 | 2000-07-20 | Paper |
| Modularity of strong normalization in the algebraic-λ-cube | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364394 | 1998-04-15 | Paper |
| The simply typed theory of \(\beta\)-conversion has no maximum extension | 1998-04-02 | Paper |
| A constructive valuation semantics for classical logic | 1998-03-12 | Paper |
| Toward a semantics for the QUEST language | 1997-10-30 | Paper |
| Intersection type assignment systems with higher-order algebraic rewriting | 1997-02-27 | Paper |
| A symmetric lambda calculus for classical program extraction | 1997-01-05 | Paper |
| Proof-irrelevance out of excluded-middle and choice in the calculus of constructions | 1996-12-16 | Paper |
| A strong normalization result for classical logic | 1996-03-05 | Paper |
| Intersection and union types: Syntax and semantics | 1995-08-02 | Paper |
| Proof-functional connectives and realizability | 1994-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281464 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281465 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035227 | 1993-05-18 | Paper |
| COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS | 1990-01-01 | Paper |
