default search action
Irek Ulidowski
Person information
- affiliation: University of Leicester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25(2): 11:1-11:40 (2024) - 2023
- [j21]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: 111035 (2023) - [c38]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: 24-39 - [c37]Irek Ulidowski:
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. RC 2023: 89-105 - [i4]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Theory for Reversible Computation. CoRR abs/2307.13360 (2023) - 2022
- [j20]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24(1): 74-80 (2022) - [j19]James Hoey, Irek Ulidowski:
Reversing an imperative concurrent programming language. Sci. Comput. Program. 223: 102873 (2022) - [j18]Stefan Kuhn, Irek Ulidowski:
Modelling of DNA mismatch repair with a reversible process calculus. Theor. Comput. Sci. 925: 68-86 (2022) - [c36]James Hoey, Irek Ulidowski:
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. RC 2022: 213-223 - [i3]James Hoey, Irek Ulidowski:
Reversing an Imperative Concurrent Programming Language. CoRR abs/2205.01171 (2022) - 2021
- [j17]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23(3): 12-17 (2021) - 2020
- [j16]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing Place Transition Nets. Log. Methods Comput. Sci. 16(4) (2020) - [c35]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Approach to Reversible Computation. FoSSaCS 2020: 442-461 - [c34]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: 35-53 - [p4]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, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p3]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:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p2]James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127 - [p1]Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski:
Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020: 151-176 - [e8]Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science 12070, Springer 2020, ISBN 978-3-030-47360-0 [contents]
2010 – 2019
- 2019
- [c33]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing P/T Nets. COORDINATION 2019: 19-36 - [c32]James Hoey, Irek Ulidowski:
Reversible Imperative Parallel Programs and Debugging. RC 2019: 108-127 - [i2]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing Place Transition Nets. CoRR abs/1910.04266 (2019) - [i1]Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski:
Reversible Causal Nets and Reversible Event Structures. CoRR abs/1910.10987 (2019) - 2018
- [j15]Irek Ulidowski, Iain Phillips, Shoji Yuen:
Reversing Event Structures. New Gener. Comput. 36(3): 281-306 (2018) - [j14]Stefan Kuhn, Irek Ulidowski:
Local reversibility in a Calculus of Covalent Bonding. Sci. Comput. Program. 151: 18-47 (2018) - [c31]James Hoey, Irek Ulidowski, Shoji Yuen:
Reversing Parallel Programs with Blocks and Procedures. EXPRESS/SOS 2018: 69-86 - [e7]Jarkko Kari, Irek Ulidowski:
Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. Lecture Notes in Computer Science 11106, Springer 2018, ISBN 978-3-319-99497-0 [contents] - 2017
- [c30]James Hoey, Irek Ulidowski, Shoji Yuen:
Reversing Imperative Parallel Programs. EXPRESS/SOS 2017: 51-66 - 2016
- [j13]Daniel Morrison, Irek Ulidowski:
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. J. Cell. Autom. 12(1-2): 101-120 (2016) - [c29]Stefan Kuhn, Irek Ulidowski:
A Calculus for Local Reversibility. RC 2016: 20-35 - 2015
- [j12]Iain Phillips, Irek Ulidowski:
Reversibility and asymmetric conflict in event structures. J. Log. Algebraic Methods Program. 84(6): 781-805 (2015) - [c28]Stefan Kuhn, Irek Ulidowski:
Towards Modelling of Local Reversibility. RC 2015: 279-284 - 2014
- [j11]Iain Phillips, Irek Ulidowski:
Event Identifier Logic. Math. Struct. Comput. Sci. 24(2) (2014) - [c27]Daniel Morrison, Irek Ulidowski:
Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. ACRI 2014: 367-377 - [c26]Irek Ulidowski, Iain Phillips, Shoji Yuen:
Concurrency and Reversibility. RC 2014: 1-14 - [c25]Daniel Morrison, Irek Ulidowski:
Arbitration and Reversibility of Parallel Delay-Insensitive Modules. RC 2014: 67-81 - 2013
- [c24]Iain Phillips, Irek Ulidowski:
Reversibility and Asymmetric Conflict in Event Structures. CONCUR 2013: 303-318 - [c23]Daniel Morrison, Irek Ulidowski:
Reversible Delay-Insensitive Distributed Memory Modules. RC 2013: 11-24 - [c22]Iain Phillips, Irek Ulidowski, Shoji Yuen:
Modelling of Bonding with Processes and Events. RC 2013: 141-154 - 2012
- [j10]Iain Phillips, Irek Ulidowski:
A hierarchy of reverse bisimulations on stable configuration structures. Math. Struct. Comput. Sci. 22(2): 333-372 (2012) - [j9]Rolf Drechsler, Irek Ulidowski, Robert Wille:
Foreword: Special Issue on Reversible Computation. J. Multiple Valued Log. Soft Comput. 18(1): 1-3 (2012) - [c21]Iain Phillips, Irek Ulidowski, Shoji Yuen:
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC 2012: 218-232 - [e6]Maciej Koutny, Irek Ulidowski:
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5 [contents] - 2011
- [c20]Iain Phillips, Irek Ulidowski:
A Logic with Reverse Modalities for History-preserving Bisimulations. EXPRESS 2011: 104-118 - 2010
- [j8]Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
Preface: Hybrid automata and oscillatory behaviour in biological systems. Theor. Comput. Sci. 411(20): 1997-1998 (2010)
2000 – 2009
- 2009
- [j7]Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski:
Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009) - [j6]Irek Ulidowski, Shoji Yuen:
Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207(2): 120-145 (2009) - [c19]Iain C. C. Phillips, Irek Ulidowski:
Reverse Bisimulations on Stable Configuration Structures. SOS 2009: 62-76 - [c18]Irek Ulidowski:
Preface. RC@ETAPS 2009: 1-2 - [e5]Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008. Electronic Notes in Theoretical Computer Science 229(1), Elsevier 2009 [contents] - [e4]Irek Ulidowski:
Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(6), Elsevier 2009 [contents] - 2008
- [c17]Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
Preface. FBTC@ICALP 2008: 1-2 - 2007
- [j5]Iain C. C. Phillips, Irek Ulidowski:
Reversing algebraic process calculi. J. Log. Algebraic Methods Program. 73(1-2): 70-96 (2007) - [j4]Peter D. Mosses, Irek Ulidowski:
Preface. Theor. Comput. Sci. 373(3): 161-162 (2007) - [c16]Iain Phillips, Irek Ulidowski:
Reversibility and Models for Concurrency. SOS@LICS/ICALP 2007: 93-108 - 2006
- [c15]Iain C. C. Phillips, Irek Ulidowski:
Reversing Algebraic Process Calculi. FoSSaCS 2006: 246-260 - [c14]Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski:
The Meaning of Ordered SOS. FSTTCS 2006: 333-344 - [e3]Peter D. Mosses, Irek Ulidowski:
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 156(1), Elsevier 2006 [contents] - 2005
- [c13]Peter D. Mosses, Irek Ulidowski:
Preface. SOS@ICALP 2005: 1-2 - [c12]Iain C. C. Phillips, Irek Ulidowski:
Operational Semantics of Reversibility in Process Algebra. APC 25 2005: 281-286 - [e2]Irek Ulidowski:
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004. Electronic Notes in Theoretical Computer Science 139(1), Elsevier 2005 [contents] - [e1]Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(1), Elsevier 2005 [contents] - 2004
- [j3]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. 60-61: 401-460 (2004) - [c11]Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Preface. SOS@CONCUR 2004: 1 - [c10]Irek Ulidowski:
Preface. ARTS 2004: 1-2 - 2003
- [c9]Irek Ulidowski:
Priority Rewrite Systems for OSOS Process Languages. CONCUR 2003: 87-101 - 2002
- [j2]Irek Ulidowski, Iain C. C. Phillips:
Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput. 178(1): 180-213 (2002) - [c8]Irek Ulidowski:
Refusal Simulation and Interactive Games. AMAST 2002: 208-222 - 2000
- [j1]Irek Ulidowski:
Finite axiom systems for testing preorder and De Simone process languages. Theor. Comput. Sci. 239(1): 97-139 (2000) - [c7]Irek Ulidowski, Shoji Yuen:
Process Languages for Rooted Eager Bisimulation. CONCUR 2000: 275-289
1990 – 1999
- 1997
- [c6]Irek Ulidowski, Shoji Yuen:
Extending Process Languages with Time. AMAST 1997: 524-538 - [c5]Irek Ulidowski, Iain C. C. Phillips:
Formats of Ordered SOS Rules with Silent Actions. TAPSOFT 1997: 297-308 - 1996
- [c4]Irek Ulidowski:
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. AMAST 1996: 210-224 - 1995
- [c3]Irek Ulidowski:
Axiomatisations of Weak Equivalences for De Simone Languages. CONCUR 1995: 219-233 - 1993
- [c2]Irek Ulidowski:
Congrurences for tau-Respecting Formats of Rules. Theory and Formal Methods 1993: 314-325 - 1992
- [c1]Irek Ulidowski:
Equivalences on Observable Processes. LICS 1992: 148-159
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint