Equivalences on Observable Processes - Irek Ulidowski (LICS, 1992)

Congrurences for tau-Respecting Formats of Rules. - Irek Ulidowski (Theory and Formal Methods, 1993)

Axiomatisations of Weak Equivalences for De Simone Languages. - Irek Ulidowski (CONCUR, 1995)

Extending Process Languages with Time. - Irek Ulidowski; Shoji Yuen (AMAST, 1997)

Formats of Ordered SOS Rules with Silent Actions. - Irek Ulidowski; Iain C. C. Phillips (TAPSOFT, 1997)

Process Languages for Rooted Eager Bisimulation. - Irek Ulidowski; Shoji Yuen (CONCUR, 2000)

Finite axiom systems for testing preorder and De Simone process languages. - Irek Ulidowski (Theor. Comput. Sci., 2000)

Refusal Simulation and Interactive Games. - Irek Ulidowski (AMAST, 2002)

Ordered SOS Process Languages for Branching and Eager Bisimulations. - Irek Ulidowski; Iain C. C. Phillips (Inf. Comput., 2002)

Priority Rewrite Systems for OSOS Process Languages. - Irek Ulidowski (CONCUR, 2003)

Preface. - Luca Aceto; Wan J. Fokkink; Irek Ulidowski (SOS@CONCUR, 2004)

Preface. - Irek Ulidowski (ARTS, 2004)

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. - Irek Ulidowski; Shoji Yuen (J. Log. Algebraic Methods Program., 2004)

Operational Semantics of Reversibility in Process Algebra. - Iain C. C. Phillips; Irek Ulidowski (APC 25, 2005)

The Meaning of Ordered SOS. - Mohammad Reza Mousavi 001; Iain C. C. Phillips; Michel A. Reniers; Irek Ulidowski (FSTTCS, 2006)

Reversibility and Models for Concurrency. - Iain Phillips 001; Irek Ulidowski (SOS@LICS/ICALP, 2007)

Reversing algebraic process calculi. - Iain C. C. Phillips; Irek Ulidowski (J. Log. Algebraic Methods Program., 2007)

Preface. - Peter D. Mosses; Irek Ulidowski (Theor. Comput. Sci., 2007)

Preface. - Nicola Cannata; Emanuela Merelli; Irek Ulidowski (FBTC@ICALP, 2008)

Reverse Bisimulations on Stable Configuration Structures - Iain C. C. Phillips; Irek Ulidowski (SOS, 2009)

Semantics and expressiveness of ordered SOS. - Mohammad Reza Mousavi 001; Iain Phillips 001; Michel A. Reniers; Irek Ulidowski (Inf. Comput., 2009)

Generating priority rewrite systems for OSOS process languages. - Irek Ulidowski; Shoji Yuen (Inf. Comput., 2009)

Preface: Hybrid automata and oscillatory behaviour in biological systems. - Nicola Cannata; Emanuela Merelli; Irek Ulidowski (Theor. Comput. Sci., 2010)

A Logic with Reverse Modalities for History-preserving Bisimulations - Iain Phillips 001; Irek Ulidowski (EXPRESS, 2011)

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2012)

A hierarchy of reverse bisimulations on stable configuration structures. - Iain Phillips 001; Irek Ulidowski (Math. Struct. Comput. Sci., 2012)

Foreword: Special Issue on Reversible Computation. - Rolf Drechsler; Irek Ulidowski; Robert Wille (J. Multiple Valued Log. Soft Comput., 2012)

Reversible Delay-Insensitive Distributed Memory Modules. - Daniel Morrison; Irek Ulidowski (RC, 2013)

Modelling of Bonding with Processes and Events. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2013)

Arbitration and Reversibility of Parallel Delay-Insensitive Modules. - Daniel Morrison; Irek Ulidowski (RC, 2014)

Concurrency and Reversibility. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (RC, 2014)

Event Identifier Logic. - Iain Phillips 001; Irek Ulidowski (Math. Struct. Comput. Sci., 2014)

Towards Modelling of Local Reversibility. - Stefan Kuhn 001; Irek Ulidowski (RC, 2015)

Reversibility and asymmetric conflict in event structures. - Iain Phillips 001; Irek Ulidowski (J. Log. Algebraic Methods Program., 2015)

A Calculus for Local Reversibility. - Stefan Kuhn 001; Irek Ulidowski (RC, 2016)

Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. - Daniel Morrison; Irek Ulidowski (J. Cell. Autom., 2016)

Reversing Imperative Parallel Programs. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2017)

Reversing Parallel Programs with Blocks and Procedures. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2018)

Reversing Event Structures. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (New Gener. Comput., 2018)

Local reversibility in a Calculus of Covalent Bonding. - Stefan Kuhn 001; Irek Ulidowski (Sci. Comput. Program., 2018)

Reversing P/T Nets. - Hernán C. Melgratti; Claudio Antares Mezzina; Irek Ulidowski (COORDINATION, 2019)

Reversible Imperative Parallel Programs and Debugging. - James Hoey; Irek Ulidowski (RC, 2019)

Reversible Causal Nets and Reversible Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain C. C. Phillips; G. Michele Pinna; Irek Ulidowski (CoRR, 2019)

An Axiomatic Approach to Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (FoSSaCS, 2020)

Reversible Occurrence Nets and Causal Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain Phillips 001; G. Michele Pinna; Irek Ulidowski (RC, 2020)

Reversing Place Transition Nets. - Hernán C. Melgratti; Claudio Antares Mezzina; Irek Ulidowski (Log. Methods Comput. Sci., 2020)

Reversibility in Chemical Reactions. - Stefan Kuhn 001; Bogdan Aman; Gabriel Ciobanu; Anna Philippou; Kyriaki Psara; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. - James Hoey; Ivan Lanese; Naoki Nishida 001; Irek Ulidowski; Germán Vidal (Selected Results of the COST Action IC1405, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Reversible Execution for Robustness in Embodied AI and Industrial Robots. - Ivan Lanese; Ulrik Pagh Schultz; Irek Ulidowski (IT Prof., 2021)

Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. - James Hoey; Irek Ulidowski (RC, 2022)

Reversible Computing in Debugging of Erlang Programs. - Ivan Lanese; Ulrik Pagh Schultz; Irek Ulidowski (IT Prof., 2022)

Reversing an imperative concurrent programming language. - James Hoey; Irek Ulidowski (Sci. Comput. Program., 2022)

Modelling of DNA mismatch repair with a reversible process calculus. - Stefan Kuhn 001; Irek Ulidowski (Theor. Comput. Sci., 2022)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. - Irek Ulidowski (RC, 2023)

MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary DenseNets. - Hengde Zhu; Wei Wang 357; Irek Ulidowski; Qinghua Zhou; Shuihua Wang; Huafeng Chen; Yudong Zhang 001 (Knowl. Based Syst., 2023)

Dependence and Independence for Reversible Process Calculi. - Clément Aubert; Iain Phillips 001; Irek Ulidowski (CoRR, 2024)

An Axiomatic Theory for Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (ACM Trans. Comput. Log., 2024)

Independence and Causality in the Reversible Concurrent Setting. - Clément Aubert; Iain C. C. Phillips; Irek Ulidowski (RC, 2025)