| Publication | Date of Publication | Type |
|---|
| Fair asynchronous session subtyping | 2024-11-12 | Paper |
| Relating Session Types and Behavioural Contracts: The Asynchronous Case | 2024-03-14 | Paper |
| A Sound Algorithm for Asynchronous Session Subtyping | 2023-02-03 | Paper |
| Fair refinement for asynchronous session types | 2021-10-18 | Paper |
| Behavioural types for memory and method safety in a core object-oriented language | 2021-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856424 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856402 | 2021-03-26 | Paper |
| Process calculi as a tool for studying coordination, contracts and session types | 2020-04-15 | Paper |
| Probabilistic software product lines | 2019-10-17 | Paper |
| A Petri Net Based Modeling of Active Objects and Futures | 2018-05-24 | Paper |
| Reduction semantics in Markovian process algebra | 2018-04-06 | Paper |
| On the boundary between decidability and undecidability of asynchronous session subtyping | 2018-03-12 | Paper |
| Undecidability of asynchronous session subtyping | 2017-09-28 | Paper |
| Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement | 2017-06-13 | Paper |
| Dynamic rebinding for concurrent object groups: theory and practice | 2016-11-30 | Paper |
| YMCA | 2015-07-10 | Paper |
| Stochastic and Real Time in Process Algebra: A Conceptual Overview | 2015-07-10 | Paper |
| A Generic Process Algebra | 2015-07-10 | Paper |
| Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time | 2014-01-17 | Paper |
| Expressing priorities and external probabilities in process algebra via mixed open/closed systems | 2013-12-06 | Paper |
| Revisiting interactive Markov chains | 2013-08-16 | Paper |
| An integrated approach for the specification and analysis of stochastic real-time systems | 2013-08-16 | Paper |
| Adaptable processes | 2013-01-07 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| A theory of contracts for strong service compliance | 2009-06-30 | Paper |
| On the expressive power of process interruption and compensation | 2009-06-30 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601412 | 2009-02-10 | Paper |
| A ground-complete axiomatisation of finite-state processes in a generic process algebra | 2008-12-10 | Paper |
| Contract Based Multi-party Service Composition | 2008-07-01 | Paper |
| Service oriented computing from a process algebraic perspective | 2007-01-09 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Quantitative information in the tuple space coordination model | 2005-12-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813207 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798039 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798041 | 2003-03-18 | Paper |
| Performance measure sensitive congruences for Markovian process algebras | 2003-01-21 | Paper |
| Discrete time generative-reactive probabilistic processes with different advancing speeds | 2003-01-21 | Paper |
| The theory of interactive generalized semi-Markov processes | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754193 | 2001-12-06 | Paper |
| Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499198 | 2001-03-05 | Paper |
