| Publication | Date of Publication | Type |
|---|
| Deadlock Analysis of Wait-Notify Coordination | 2024-03-14 | Paper |
| Liquidity analysis in resource-aware programming | 2023-09-25 | Paper |
| Implicit typing à la ML for the join-calculus | 2023-05-17 | Paper |
| Paths, computations and labels in the λ-calculus | 2022-12-09 | Paper |
| Optimal reductions in interaction systems | 2022-11-02 | Paper |
| Mobility in the CC-paradigm | 2022-08-18 | Paper |
| Statically and dynamically verifiable SLA metrics | 2021-05-20 | Paper |
| A lightweight deadlock analysis for programs with threads and reentrant locks | 2021-05-04 | Paper |
| Time analysis of actor programs | 2019-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621150 | 2019-02-08 | Paper |
| Deadlock detection of Java bytecode | 2018-09-06 | Paper |
| On the dynamics of sharing graphs | 2018-07-04 | Paper |
| Deadlock analysis of unbounded process networks | 2016-12-22 | Paper |
| An algebraic theory for web service contracts | 2015-09-03 | Paper |
| A Rude Contract Language for Web Services | 2015-07-10 | Paper |
| Deadlock Detection in Linear Recursive Programs | 2015-02-25 | Paper |
| Decidability Problems for Actor Systems | 2015-01-15 | Paper |
| Deadlock Analysis of Unbounded Process Networks | 2014-09-15 | Paper |
| Expressivity in the κ Family | 2014-05-13 | Paper |
| A Simple Calculus for Proteins and Cells | 2013-12-06 | Paper |
| Decidability Problems for Actor Systems | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906951 | 2012-09-05 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| PiDuce- A project for experimenting web services technologies | 2009-08-21 | Paper |
| nano\(\kappa\): A calculus for the modeling and simulation of nano devices | 2008-12-12 | Paper |
| A simple calculus for proteins and cells | 2008-11-06 | Paper |
| The Must Preorder Revisited | 2008-09-18 | Paper |
| The Pairing of Contracts and Session Types | 2008-06-19 | Paper |
| Linear forwarders | 2007-10-10 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714437 | 2006-01-02 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024818 | 2005-07-04 | Paper |
| Formal molecular biology | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472462 | 2004-08-04 | Paper |
| Inheritance in the join calculus. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417901 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413203 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484496 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484502 | 2003-06-12 | Paper |
| A type system for JVM threads | 2003-01-21 | Paper |
| Bisimulations in the join-calculus | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490737 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251115 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222749 | 1998-12-10 | Paper |
| Paths, computations and labels in the \(\lambda\)-calculus | 1997-02-28 | Paper |
| Interaction systems II: The practice of optimal reductions | 1997-02-27 | Paper |
| The discriminating power of multiplicities in the \(\lambda\)-calculus | 1996-12-12 | Paper |
| Axiomatizing permutation equivalence | 1996-11-18 | Paper |
| Split and ST bisimulation semantics | 1995-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4304752 | 1995-04-20 | Paper |
| Interaction Systems I: The theory of optimal reductions | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035238 | 1993-05-18 | Paper |
