| Publication | Date of Publication | Type |
|---|
| Causal debugging for concurrent systems | 2024-11-13 | Paper |
| Reversibility with holes (work in progress) | 2024-11-13 | Paper |
| A small-step semantics for Janus | 2024-11-13 | Paper |
| Causal reversibility implies time reversibility | 2024-05-29 | Paper |
| An axiomatic theory for reversible computation | 2024-04-26 | Paper |
| Reversible debugging of concurrent Erlang programs: supporting imperative primitives | 2024-03-20 | Paper |
| Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | 2024-03-14 | Paper |
| revTPL: The Reversible Temporal Process Language | 2024-03-11 | Paper |
| On Composing Communicating Systems | 2024-03-01 | Paper |
| Playing with bisimulation in Erlang | 2024-02-23 | Paper |
| Causal-consistent replay debugging for message passing programs | 2024-02-06 | Paper |
| Reversing Unbounded Petri Nets | 2024-01-29 | Paper |
| Towards a taxonomy for reversible computation approaches | 2024-01-11 | Paper |
| Composition of synchronous communicating systems | 2023-09-25 | Paper |
| A Theory of Formal Choreographic Languages | 2023-08-26 | Paper |
| Reversibility in Erlang: imperative constructs | 2022-11-11 | Paper |
| The reversible temporal process language | 2022-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089300 | 2022-07-18 | Paper |
| Causal-Consistent Debugging of Distributed Erlang Programs | 2021-11-03 | Paper |
| Forward-Reverse Observational Equivalences in CCSK | 2021-11-03 | Paper |
| Static and dynamic property-preserving updates | 2021-07-21 | Paper |
| Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs | 2021-05-21 | Paper |
| Static versus dynamic reversibility in CCS | 2021-04-28 | Paper |
| Composition and decomposition of multiparty sessions | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963913 | 2021-02-24 | Paper |
| An axiomatic approach to reversible computation | 2020-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216332 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967172 | 2019-07-03 | Paper |
| From reversible semantics to reversible debugging | 2018-10-17 | Paper |
| A theory of reversibility for Erlang | 2018-10-01 | Paper |
| Cauder: a causal-consistent reversible debugger for Erlang | 2018-07-09 | Paper |
| Most General Property-Preserving Updates | 2017-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2974797 | 2017-04-11 | Paper |
| Causal-consistent rollback in a tuple-based language | 2017-03-20 | Paper |
| The stream-based service-centred calculus: a foundation for service-oriented programming | 2016-08-05 | Paper |
| Reversibility in the higher-order \(\pi\)-calculus | 2016-04-01 | Paper |
| Controlled Reversibility and Compensations | 2015-11-30 | Paper |
| The Evolution of Jolie | 2015-06-22 | Paper |
| Exploiting User-definable Synchronizations in Graph Transformation | 2014-03-21 | Paper |
| Hoare vs Milner: comparing synchronizations in a graphical framework with mobility | 2013-10-07 | Paper |
| Synchronization algebras with mobility for graph transformations | 2013-09-26 | Paper |
| A graphical fusion calculus | 2013-09-11 | Paper |
| Concurrent Flexible Reversibility | 2013-08-05 | Paper |
| A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions | 2012-06-08 | Paper |
| Controlling Reversibility in Higher-Order Pi | 2011-09-02 | Paper |
| On the expressiveness and decidability of higher-order process calculi | 2011-02-21 | Paper |
| On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi | 2010-09-07 | Paper |
| Reversing Higher-Order Pi | 2010-08-31 | Paper |
| On the Expressive Power of Primitives for Compensation Handling | 2010-05-04 | Paper |
| An operational semantics for a calculus for wireless systems | 2010-04-22 | Paper |
| Dynamic Error Handling in Service Oriented Applications | 2010-02-05 | Paper |
| Tiles for Reo | 2009-10-22 | Paper |
| PRISMA: A Mobile Calculus with Parametric Synchronization | 2009-03-05 | Paper |
| Parametric synchronizations in mobile nominal calculi | 2008-08-06 | Paper |
| Synchronous Multiparty Synchronizations and Transactions | 2008-06-19 | Paper |
| Concurrent and Located Synchronizations in π-Calculus | 2008-03-07 | Paper |
| Synchronised Hyperedge Replacement as a Model for Service Oriented Computing | 2007-09-11 | Paper |
| Mapping Fusion and Synchronized Hyperedge Replacement into logic programming | 2007-03-23 | Paper |
| A basic algebra of stateless connectors | 2007-01-09 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673419 | 2005-04-29 | Paper |
