| Publication | Date of Publication | Type |
|---|
| Deadlock freedom for asynchronous and cyclic process networks | 2024-12-06 | Paper |
| Comparing session type systems derived from linear logic | 2024-11-26 | Paper |
| Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks | 2024-11-12 | Paper |
| Bit-vector typestate analysis | 2024-09-27 | Paper |
| Types and terms translated: unrestricted resources in encoding functions as processes | 2024-08-01 | Paper |
| Minimal session types for the \(\pi\)-calculus | 2024-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6190869 | 2024-02-06 | Paper |
| Reversible session-based concurrency in Haskell | 2023-12-01 | Paper |
| Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) | 2023-10-23 | Paper |
| Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) | 2023-06-23 | Paper |
| Session-based concurrency in Maude: executable semantics and type checking | 2023-06-19 | Paper |
| Relating Process Languages for Security and Communication Correctness (Extended Abstract) | 2023-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875401 | 2023-02-03 | Paper |
| Executable Semantics and Type Checking for Session-Based Concurrency in Maude | 2022-12-07 | Paper |
| Session-Based Concurrency, Reactively | 2022-06-15 | Paper |
| Session-based concurrency, declaratively | 2022-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028420 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013868 | 2021-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013869 | 2021-12-03 | Paper |
| Comparing type systems for deadlock freedom | 2021-11-24 | Paper |
| Session coalgebras: a coalgebraic view on session types and communication protocols | 2021-10-18 | Paper |
| On primitives for compensation handling as adaptable processes | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994975 | 2021-06-22 | Paper |
| On the relative expressiveness of higher-order session processes | 2019-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357719 | 2017-09-12 | Paper |
| Reversibility in session-based concurrency: a fresh look | 2017-07-04 | Paper |
| Characteristic bisimulation for higher-order session processes | 2017-06-14 | Paper |
| Linearity, Control Effects, and Behavioral Types | 2017-05-19 | Paper |
| Multiparty Session Types Within a Canonical Binary Theory, and Beyond | 2016-10-19 | Paper |
| Event-based run-time adaptation in communication-centric systems | 2016-09-20 | Paper |
| Dynamic role authorization in multiparty conversations | 2016-09-20 | Paper |
| Self-adaptation and secure information flow in multiparty communications | 2016-09-20 | Paper |
| On the Relative Expressiveness of Higher-Order Session Processes | 2016-04-26 | Paper |
| Combining behavioural types with security analysis | 2015-11-10 | Paper |
| Linear logical relations and observational equivalences for session-based concurrency | 2014-11-28 | Paper |
| Timed Concurrent Constraint Programming for Analysing Biological Systems | 2013-12-06 | Paper |
| Behavioral Polymorphism and Parametricity in Session-Based Communication | 2013-08-05 | Paper |
| Adaptable processes | 2013-01-07 | Paper |
| Linear Logical Relations for Session-Based Concurrency | 2012-06-22 | Paper |
| Type-Based Access Control in Data-Centric Systems | 2011-05-19 | Paper |
| On the expressiveness and decidability of higher-order process calculi | 2011-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059188 | 2010-12-08 | Paper |
| On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi | 2010-09-07 | Paper |
| On the Expressiveness of Forwarding in Higher-Order Communication | 2009-08-20 | Paper |
| Non-determinism and Probabilities in Timed Concurrent Constraint Programming | 2009-01-22 | Paper |
| Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming | 2009-01-22 | Paper |
| A Declarative Framework for Security: Secure Concurrent Constraint Programming | 2008-03-11 | Paper |
