Reversing algebraic process calculi I Phillips, I Ulidowski The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007 | 168 | 2007 |
A reversible process calculus and the modelling of the ERK signalling pathway I Phillips, I Ulidowski, S Yuen Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013 | 102 | 2013 |
Equivalences on observable processes I Ulidowski LICS 92, 148-159, 1992 | 64 | 1992 |
Reversibility and asymmetric conflict in event structures I Phillips, I Ulidowski Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015 | 63 | 2015 |
Reversibility and models for concurrency I Phillips, I Ulidowski Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007 | 60 | 2007 |
Reversing algebraic process calculi I Phillips, I Ulidowski International Conference on Foundations of Software Science and Computation …, 2006 | 49 | 2006 |
Ordered SOS process languages for branching and eager bisimulations I Ulidowski, I Phillips Information and Computation 178 (1), 180-213, 2002 | 48 | 2002 |
Extending process languages with time I Ulidowski, S Yuen International Conference on Algebraic Methodology and Software Technology …, 1997 | 37 | 1997 |
An axiomatic approach to reversible computation I Lanese, I Phillips, I Ulidowski FoSSaCS 2020-23rd International Conference on Foundations of Software …, 2020 | 36 | 2020 |
Modelling of bonding with processes and events I Phillips, I Ulidowski, S Yuen International Conference on Reversible Computation, 141-154, 2013 | 34 | 2013 |
A logic with reverse modalities for history-preserving bisimulations I Phillips, I Ulidowski arXiv preprint arXiv:1108.4470, 2011 | 33 | 2011 |
Concurrency and reversibility I Ulidowski, I Phillips, S Yuen International Conference on Reversible Computation, 1-14, 2014 | 32 | 2014 |
Finite axiom systems for testing preorder and De Simone process languages I Ulidowski Theoretical Computer Science 239 (1), 97-139, 2000 | 31 | 2000 |
Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 28 | 2020 |
A calculus for local reversibility S Kuhn, I Ulidowski Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016 | 27 | 2016 |
Preface N Cannata, E Merelli, I Ulidowski Theoretical Computer Science 411 (20), 1997-1998, 2010 | 27* | 2010 |
Event identifier logic I Phillips, I Ulidowski Mathematical Structures in Computer Science 24 (2), 2014 | 26 | 2014 |
A hierarchy of reverse bisimulations on stable configuration structures I Phillips, I Ulidowski Mathematical Structures in Computer Science 22 (2), 333-372, 2012 | 26 | 2012 |
Local reversibility in a calculus of covalent bonding S Kuhn, I Ulidowski Science of Computer Programming 151, 18-47, 2018 | 24 | 2018 |
Reversing an imperative concurrent programming language J Hoey, I Ulidowski Science of Computer Programming 223, 102873, 2022 | 23* | 2022 |