Irek Ulidowski

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 26

Top Topics

Concurrent Programs

Programming Language

Cellular Automata

Top Venues

Sci. Comput. Program.

Publications

Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25 (2) (2024)
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Irek Ulidowski
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. RC (2023)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. CoRR (2023)
Hengde Zhu, Wei Wang, Irek Ulidowski, Qinghua Zhou, Shuihua Wang, Huafeng Chen, Yudong Zhang
MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary DenseNets. Knowl. Based Syst. 280 (2023)
James Hoey, Irek Ulidowski
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. RC (2022)
Stefan Kuhn, Irek Ulidowski
Modelling of DNA mismatch repair with a reversible process calculus. Theor. Comput. Sci. 925 (2022)
James Hoey, Irek Ulidowski
Reversing an imperative concurrent programming language. Sci. Comput. Program. 223 (2022)
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24 (1) (2022)
James Hoey, Irek Ulidowski
Reversing an Imperative Concurrent Programming Language. CoRR (2022)
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23 (3) (2021)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Approach to Reversible Computation. FoSSaCS (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. Log. Methods Comput. Sci. 16 (4) (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Causal Nets and Reversible Event Structures. CoRR (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. CoRR (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing P/T Nets. COORDINATION (2019)
James Hoey, Irek Ulidowski
Reversible Imperative Parallel Programs and Debugging. RC (2019)
Stefan Kuhn, Irek Ulidowski
Local reversibility in a Calculus of Covalent Bonding. Sci. Comput. Program. 151 (2018)
Irek Ulidowski, Iain Phillips, Shoji Yuen
Reversing Event Structures. New Gener. Comput. 36 (3) (2018)
James Hoey, Irek Ulidowski, Shoji Yuen
Reversing Parallel Programs with Blocks and Procedures. EXPRESS/SOS (2018)
James Hoey, Irek Ulidowski, Shoji Yuen
Reversing Imperative Parallel Programs. EXPRESS/SOS (2017)
Stefan Kuhn, Irek Ulidowski
A Calculus for Local Reversibility. RC (2016)
Daniel Morrison, Irek Ulidowski
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. J. Cell. Autom. 12 (1-2) (2016)
Iain Phillips, Irek Ulidowski
Reversibility and asymmetric conflict in event structures. J. Log. Algebraic Methods Program. 84 (6) (2015)
Stefan Kuhn, Irek Ulidowski
Towards Modelling of Local Reversibility. RC (2015)
Iain Phillips, Irek Ulidowski
Event Identifier Logic. Math. Struct. Comput. Sci. 24 (2) (2014)
Irek Ulidowski, Iain Phillips, Shoji Yuen
Concurrency and Reversibility. RC (2014)
Daniel Morrison, Irek Ulidowski
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. ACRI (2014)
Daniel Morrison, Irek Ulidowski
Arbitration and Reversibility of Parallel Delay-Insensitive Modules. RC (2014)
Daniel Morrison, Irek Ulidowski
Reversible Delay-Insensitive Distributed Memory Modules. RC (2013)
Iain Phillips, Irek Ulidowski
Reversibility and Asymmetric Conflict in Event Structures. CONCUR (2013)
Iain Phillips, Irek Ulidowski, Shoji Yuen
Modelling of Bonding with Processes and Events. RC (2013)
Iain Phillips, Irek Ulidowski
A hierarchy of reverse bisimulations on stable configuration structures. Math. Struct. Comput. Sci. 22 (2) (2012)
Rolf Drechsler, Irek Ulidowski, Robert Wille
Foreword: Special Issue on Reversible Computation. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Iain Phillips, Irek Ulidowski, Shoji Yuen
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC (2012)
Iain Phillips, Irek Ulidowski
A Logic with Reverse Modalities for History-preserving Bisimulations EXPRESS (2011)
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
Preface: Hybrid automata and oscillatory behaviour in biological systems. Theor. Comput. Sci. 411 (20) (2010)
Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 253 (6) (2010)
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
Semantics and expressiveness of ordered SOS. Inf. Comput. 207 (2) (2009)
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Irek Ulidowski, Shoji Yuen
Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207 (2) (2009)
Iain C. C. Phillips, Irek Ulidowski
Reverse Bisimulations on Stable Configuration Structures SOS (2009)
Iain Phillips, Irek Ulidowski
Reversibility and Models for Concurrency. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Peter D. Mosses, Irek Ulidowski
Preface. Theor. Comput. Sci. 373 (3) (2007)
Iain C. C. Phillips, Irek Ulidowski
Reversing algebraic process calculi. J. Log. Algebraic Methods Program. 73 (1-2) (2007)
Iain C. C. Phillips, Irek Ulidowski
Reversing Algebraic Process Calculi. FoSSaCS (2006)
Iain C. C. Phillips, Irek Ulidowski
Operational Semantics of Reversibility in Process Algebra. Electron. Notes Theor. Comput. Sci. 162 (2006)
Peter D. Mosses, Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski
The Meaning of Ordered SOS. FSTTCS (2006)
Luca Aceto, Wan J. Fokkink, Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 128 (1) (2005)
Irek Ulidowski
Preface. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Irek Ulidowski, Shoji Yuen
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. J. Log. Algebraic Methods Program. (2004)
Irek Ulidowski
Priority Rewrite Systems for OSOS Process Languages. CONCUR (2003)
Irek Ulidowski
Refusal Simulation and Interactive Games. AMAST (2002)
Irek Ulidowski, Iain C. C. Phillips
Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput. 178 (1) (2002)
Irek Ulidowski, Shoji Yuen
Process Languages for Rooted Eager Bisimulation. CONCUR (2000)
Irek Ulidowski
Finite axiom systems for testing preorder and De Simone process languages. Theor. Comput. Sci. 239 (1) (2000)
Irek Ulidowski, Shoji Yuen
Extending Process Languages with Time. AMAST (1997)
Irek Ulidowski, Iain C. C. Phillips
Formats of Ordered SOS Rules with Silent Actions. TAPSOFT (1997)
Irek Ulidowski
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. AMAST (1996)
Irek Ulidowski
Axiomatisations of Weak Equivalences for De Simone Languages. CONCUR (1995)
Irek Ulidowski
-Respecting Formats of Rules. Theory and Formal Methods (1993)
Irek Ulidowski
Equivalences on Observable Processes LICS (1992)