Irek Ulidowski

79 papers A* 1B 7C 15Journal 27Unranked 19
YearRankTypeTitle / Venue / Authors
2026 — conf
Bisimulations and Reversibility.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Clément Aubert, Iain Phillips, Irek Ulidowski
2025 C conf
Independence and Causality in the Reversible Concurrent Setting.
RC
Clément Aubert, Iain Phillips, Irek Ulidowski
2024 J jnl
An Axiomatic Theory for Reversible Computation.
ACM Trans. Comput. Log.
Ivan Lanese, Iain Phillips, Irek Ulidowski
2024 J jnl
Dependence and Independence for Reversible Process Calculi.
CoRR
Clément Aubert, Iain Phillips, Irek Ulidowski
2023 J jnl
An Axiomatic Theory for Reversible Computation.
CoRR
Ivan Lanese, Iain Phillips, Irek Ulidowski
2023 J jnl
MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary DenseNets.
Knowl. Based Syst.
Hengde Zhu, Wei Wang, Irek Ulidowski, Qinghua Zhou, Shuihua Wang, Huafeng Chen, Yudong Zhang
2023 C conf
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.
RC
Irek Ulidowski
2023 C conf
Towards a Taxonomy for Reversible Computation Approaches.
RC
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022 J jnl
Modelling of DNA mismatch repair with a reversible process calculus.
Theor. Comput. Sci.
Stefan Kuhn, Irek Ulidowski
2022 J jnl
Reversible Computing in Debugging of Erlang Programs.
IT Prof.
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
2022 J jnl
Reversing an Imperative Concurrent Programming Language.
CoRR
James Hoey, Irek Ulidowski
2022 J jnl
Reversing an imperative concurrent programming language.
Sci. Comput. Program.
James Hoey, Irek Ulidowski
2022 C conf
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs.
RC
James Hoey, Irek Ulidowski
2021 J jnl
Reversible Execution for Robustness in Embodied AI and Industrial Robots.
IT Prof.
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
2020 — ch.
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.
Selected Results of the COST Action IC1405
James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal
2020 B conf
An Axiomatic Approach to Reversible Computation.
FoSSaCS
Ivan Lanese, Iain Phillips, Irek Ulidowski
2020 — ch.
Foundations of Reversible Computation.
Selected Results of the COST Action IC1405
Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020 — ch.
Reversibility in Chemical Reactions.
Selected Results of the COST Action IC1405
Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski
2020 — book
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405
Selected Results of the COST Action IC1405
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
2020 C conf
Reversible Occurrence Nets and Causal Reversible Prime Event Structures.
RC
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2020 J jnl
Reversing Place Transition Nets.
Log. Methods Comput. Sci.
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2020 — ch.
Software and Reversible Systems: A Survey of Recent Activities.
Selected Results of the COST Action IC1405
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
2019 J jnl
Reversible Causal Nets and Reversible Event Structures.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019 C conf
Reversible Imperative Parallel Programs and Debugging.
RC
James Hoey, Irek Ulidowski
2019 C conf
Reversing P/T Nets.
COORDINATION
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2019 J jnl
Reversing Place Transition Nets.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2018 J jnl
Local reversibility in a Calculus of Covalent Bonding.
Sci. Comput. Program.
Stefan Kuhn, Irek Ulidowski
2018 C ed.
Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
RC
Jarkko Kari, Irek Ulidowski
2018 J jnl
Reversing Event Structures.
New Gener. Comput.
Irek Ulidowski, Iain Phillips, Shoji Yuen
2018 — conf
Reversing Parallel Programs with Blocks and Procedures.
EXPRESS/SOS
James Hoey, Irek Ulidowski, Shoji Yuen
2017 — conf
Reversing Imperative Parallel Programs.
EXPRESS/SOS
James Hoey, Irek Ulidowski, Shoji Yuen
2016 C conf
A Calculus for Local Reversibility.
RC
Stefan Kuhn, Irek Ulidowski
2016 J jnl
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits.
J. Cell. Autom.
Daniel Morrison, Irek Ulidowski
2015 J jnl
Reversibility and asymmetric conflict in event structures.
J. Log. Algebraic Methods Program.
Iain Phillips, Irek Ulidowski
2015 C conf
Towards Modelling of Local Reversibility.
RC
Stefan Kuhn, Irek Ulidowski
2014 C conf
Arbitration and Reversibility of Parallel Delay-Insensitive Modules.
RC
Daniel Morrison, Irek Ulidowski
2014 C conf
Concurrency and Reversibility.
RC
Irek Ulidowski, Iain Phillips, Shoji Yuen
2014 — conf
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits.
ACRI
Daniel Morrison, Irek Ulidowski
2014 J jnl
Event Identifier Logic.
Math. Struct. Comput. Sci.
Iain Phillips, Irek Ulidowski
2013 C conf
Modelling of Bonding with Processes and Events.
RC
Iain Phillips, Irek Ulidowski, Shoji Yuen
2013 B conf
Reversibility and Asymmetric Conflict in Event Structures.
CONCUR
Iain Phillips, Irek Ulidowski
2013 C conf
Reversible Delay-Insensitive Distributed Memory Modules.
RC
Daniel Morrison, Irek Ulidowski
2012 C conf
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.
RC
Iain Phillips, Irek Ulidowski, Shoji Yuen
2012 J jnl
A hierarchy of reverse bisimulations on stable configuration structures.
Math. Struct. Comput. Sci.
Iain Phillips, Irek Ulidowski
2012 B ed.
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
CONCUR
Maciej Koutny, Irek Ulidowski
2012 J jnl
Foreword: Special Issue on Reversible Computation.
J. Multiple Valued Log. Soft Comput.
Rolf Drechsler, Irek Ulidowski, Robert Wille
2011 — conf
A Logic with Reverse Modalities for History-preserving Bisimulations
EXPRESS
Iain Phillips, Irek Ulidowski
2010 J jnl
Preface: Hybrid automata and oscillatory behaviour in biological systems.
Theor. Comput. Sci.
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2009 J jnl
Generating priority rewrite systems for OSOS process languages.
Inf. Comput.
Irek Ulidowski, Shoji Yuen
2009 — conf
Preface.
RC@ETAPS
Irek Ulidowski
2009 — ed.
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008
FBTC@ICALP
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2009 — ed.
Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009
RC@ETAPS
Irek Ulidowski
2009 — conf
Reverse Bisimulations on Stable Configuration Structures
SOS
Iain Phillips, Irek Ulidowski
2009 J jnl
Semantics and expressiveness of ordered SOS.
Inf. Comput.
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2008 — conf
Preface.
FBTC@ICALP
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2007 J jnl
Preface.
Theor. Comput. Sci.
Peter D. Mosses, Irek Ulidowski
2007 — conf
Reversibility and Models for Concurrency.
SOS@LICS/ICALP
Iain Phillips, Irek Ulidowski
2007 J jnl
Reversing algebraic process calculi.
J. Log. Algebraic Methods Program.
Iain Phillips, Irek Ulidowski
2006 — ed.
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005
SOS@ICALP
Peter D. Mosses, Irek Ulidowski
2006 B conf
Reversing Algebraic Process Calculi.
FoSSaCS
Iain Phillips, Irek Ulidowski
2006 — conf
The Meaning of Ordered SOS.
FSTTCS
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2005 — conf
Operational Semantics of Reversibility in Process Algebra.
APC 25
Iain Phillips, Irek Ulidowski
2005 — conf
Preface.
SOS@ICALP
Peter D. Mosses, Irek Ulidowski
2005 — ed.
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004
ARTS
Irek Ulidowski
2005 — ed.
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004
SOS
Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2004 — conf
Preface.
SOS@CONCUR
Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2004 — conf
Preface.
ARTS
Irek Ulidowski
2004 J jnl
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.
J. Log. Algebraic Methods Program.
Irek Ulidowski, Shoji Yuen
2003 B conf
Priority Rewrite Systems for OSOS Process Languages.
CONCUR
Irek Ulidowski
2002 J jnl
Ordered SOS Process Languages for Branching and Eager Bisimulations.
Inf. Comput.
Irek Ulidowski, Iain Phillips
2002 — conf
Refusal Simulation and Interactive Games.
AMAST
Irek Ulidowski
2000 J jnl
Finite axiom systems for testing preorder and De Simone process languages.
Theor. Comput. Sci.
Irek Ulidowski
2000 B conf
Process Languages for Rooted Eager Bisimulation.
CONCUR
Irek Ulidowski, Shoji Yuen
1997 — conf
Extending Process Languages with Time.
AMAST
Irek Ulidowski, Shoji Yuen
1997 — conf
Formats of Ordered SOS Rules with Silent Actions.
TAPSOFT
Irek Ulidowski, Iain Phillips
1996 — conf
Finite Axiom Systems for Testing Preorder and De Simone Process Languages.
AMAST
Irek Ulidowski
1995 B conf
Axiomatisations of Weak Equivalences for De Simone Languages.
CONCUR
Irek Ulidowski
1993 — conf
Congrurences for
Theory and Formal Methods
Irek Ulidowski
1992 A* conf
Equivalences on Observable Processes
LICS
Irek Ulidowski