| Publication | Date of Publication | Type |
|---|
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| A Truly Concurrent Semantics for Reversible CCS | 2023-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875678 | 2023-02-03 | Paper |
| Multiparty testing preorders | 2023-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5057639 | 2022-12-16 | Paper |
| Probabilistic Analysis of Binary Sessions | 2022-07-18 | Paper |
| Towards refinable choreographies | 2022-05-25 | Paper |
| A Petri net view of covalent bonds | 2022-02-21 | Paper |
| Categorical specification and implementation of replicated data types | 2022-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019695 | 2022-01-10 | Paper |
| Towards a Truly Concurrent Semantics for Reversible CCS | 2021-11-03 | Paper |
| Implementation correctness for replicated data types, categorically | 2021-07-08 | Paper |
| Reversible occurrence nets and causal reversible prime event structures | 2021-07-05 | Paper |
| Multiparty Testing Preorders | 2021-04-07 | Paper |
| Concurrency and Probability | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129942 | 2020-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129948 | 2020-11-03 | Paper |
| Bayesian network semantics for Petri nets | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207054 | 2020-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| Theoretical foundations for compensations in flow composition languages | 2017-07-14 | Paper |
| cJoin: Join with communicating transactions | 2016-07-27 | Paper |
| Connector Algebras, Petri Nets, and BIP | 2015-12-07 | Paper |
| A Normal Form for Stateful Connectors | 2015-09-14 | Paper |
| From Hierarchical BIP to Petri Calculus | 2014-07-24 | Paper |
| Resolving Non-determinism in Choreographies | 2014-04-16 | Paper |
| Modelling Dynamic Software Architectures using Typed Graph Grammars | 2014-03-26 | Paper |
| Behaviour, Interaction and Dynamics | 2014-03-25 | Paper |
| Connector algebras for C/E and P/T nets' interactions | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847777 | 2013-09-11 | Paper |
| A Connector Algebra for P/T Nets Interactions | 2011-09-02 | Paper |
| Non-sequential Behaviour of Dynamic Nets | 2009-04-02 | Paper |
| Abstract Processes in Orchestration Languages | 2009-03-31 | Paper |
| Dynamic Graph Transformation Systems | 2008-11-27 | Paper |
| Synchronous Multiparty Synchronizations and Transactions | 2008-06-19 | Paper |
| Event Structure Semantics for Nominal Calculi | 2007-09-04 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673433 | 2005-04-29 | Paper |
