| Publication | Date of Publication | Type |
|---|
| Independence and causality in the reversible concurrent setting | 2025-11-14 | Paper |
An axiomatic theory for reversible computation
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Towards a taxonomy for reversible computation approaches
Reversible Computation | 2024-01-11 | Paper |
Saving memory space in deep neural networks by recomputing: a survey
Reversible Computation | 2024-01-11 | Paper |
| Towards causal-consistent reversibility of imperative concurrent programs | 2022-11-11 | Paper |
Modelling of DNA mismatch repair with a reversible process calculus
Theoretical Computer Science | 2022-06-24 | Paper |
| scientific article; zbMATH DE number 7447775 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447775 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Reversing imperative parallel programs | 2021-12-08 | Paper |
Reversing imperative parallel programs
(available as arXiv preprint) | 2021-12-08 | Paper |
Reversible occurrence nets and causal reversible prime event structures
(available as arXiv preprint) | 2021-07-05 | Paper |
| A logic with reverse modalities for history-preserving bisimulations | 2021-03-10 | Paper |
A logic with reverse modalities for history-preserving bisimulations
(available as arXiv preprint) | 2021-03-10 | Paper |
| Reverse bisimulations on stable configuration structures | 2021-02-09 | Paper |
scientific article; zbMATH DE number 7269252 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269252 (Why is no real title available?) | 2020-11-03 | Paper |
| An axiomatic approach to reversible computation | 2020-09-23 | Paper |
| Direction-reversible self-timed cellular automata for delay-insensitive circuits | 2020-03-12 | Paper |
Reversible Imperative Parallel Programs and Debugging
Reversible Computation | 2019-10-17 | Paper |
Towards modelling of local reversibility
Reversible Computation | 2016-09-30 | Paper |
A calculus for local reversibility
Reversible Computation | 2016-08-10 | Paper |
Event identifier logic
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Reversible Computation | 2015-11-30 | Paper |
Reversibility and asymmetric conflict in event structures
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Operational semantics of reversibility in process algebra
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Concurrency and reversibility
Reversible Computation | 2014-09-02 | Paper |
Arbitration and reversibility of parallel delay-insensitive modules
Reversible Computation | 2014-09-02 | Paper |
Reversibility and models for concurrency
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
Modelling of Bonding with Processes and Events
Reversible Computation | 2013-12-17 | Paper |
Reversible delay-insensitive distributed memory modules
Reversible Computation | 2013-12-17 | Paper |
Reversibility and asymmetric conflict in event structures
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
A hierarchy of reverse bisimulations on stable configuration structures
MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
| scientific article; zbMATH DE number 6028105 (Why is no real title available?) | 2012-04-26 | Paper |
Refusal simulation and interactive games
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Priority rewrite systems for OSOS process languages.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Generating priority rewrite systems for OSOS process languages
Information and Computation | 2009-04-14 | Paper |
Reversing algebraic process calculi
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
Ordered SOS process languages for branching and eager bisimulations
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759617 (Why is no real title available?) | 2002-06-25 | Paper |
Finite axiom systems for testing preorder and De Simone process languages
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1372685 (Why is no real title available?) | 1999-12-01 | Paper |
