| 2026 | CONCUR | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2025 | RC | Independence and Causality in the Reversible Concurrent Setting. | Clment Aubert, Iain Phillips, Irek Ulidowski |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2023 | RC | Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. | Irek Ulidowski |
| 2022 | RC | Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. | James Hoey, Irek Ulidowski |
| 2020 | FOSSACS | An Axiomatic Approach to Reversible Computation. | Ivan Lanese, Iain Phillips, Irek Ulidowski |
| 2020 | RC | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2019 | Coordination | Reversing P/T Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
| 2019 | RC | Reversible Imperative Parallel Programs and Debugging. | James Hoey, Irek Ulidowski |
| 2016 | RC | A Calculus for Local Reversibility. | Stefan Kuhn, Irek Ulidowski |
| 2015 | RC | Towards Modelling of Local Reversibility. | Stefan Kuhn, Irek Ulidowski |
| 2014 | RC | Arbitration and Reversibility of Parallel Delay-Insensitive Modules. | Daniel Morrison, Irek Ulidowski |
| 2014 | RC | Concurrency and Reversibility. | Irek Ulidowski, Iain Phillips, Shoji Yuen |
| 2013 | CONCUR | Reversibility and Asymmetric Conflict in Event Structures. | Iain Phillips, Irek Ulidowski |
| 2013 | RC | Reversible Delay-Insensitive Distributed Memory Modules. | Daniel Morrison, Irek Ulidowski |
| 2013 | RC | Modelling of Bonding with Processes and Events. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | RC | A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2006 | FOSSACS | Reversing Algebraic Process Calculi. | Iain Phillips, Irek Ulidowski |
| 2003 | CONCUR | Priority Rewrite Systems for OSOS Process Languages. | Irek Ulidowski |
| 2000 | CONCUR | Process Languages for Rooted Eager Bisimulation. | Irek Ulidowski, Shoji Yuen |
| 1995 | CONCUR | Axiomatisations of Weak Equivalences for De Simone Languages. | Irek Ulidowski |
| 1992 | LICS | Equivalences on Observable Processes | Irek Ulidowski |