Follow
Irek Ulidowski
Irek Ulidowski
Verified email at le.ac.uk - Homepage
Title
Cited by
Cited by
Year
Reversing algebraic process calculi
I Phillips, I Ulidowski
The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007
1432007
A reversible process calculus and the modelling of the ERK signalling pathway
I Phillips, I Ulidowski, S Yuen
International Workshop on Reversible Computation, 218-232, 2012
842012
Equivalences on observable processes
I Ulidowski
LICS 92, 148-159, 1992
601992
Reversibility and models for concurrency
I Phillips, I Ulidowski
Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007
582007
Reversibility and asymmetric conflict in event structures
I Phillips, I Ulidowski
Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015
562015
Ordered SOS process languages for branching and eager bisimulations
I Ulidowski, I Phillips
Information and Computation 178 (1), 180-213, 2002
55*2002
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
I Ulidowski, S Yuen
Journal of Logic and Algebraic Programming 60, 401-460, 2004
50*2004
Reversing algebraic process calculi
I Phillips, I Ulidowski
International Conference on Foundations of Software Science and Computation†…, 2006
452006
Local reversibility in a calculus of covalent bonding
S Kuhn, I Ulidowski
Science of Computer Programming 151, 18-47, 2018
40*2018
A hierarchy of reverse bisimulations on stable configuration structures
I Phillips, I Ulidowski
Mathematical Structures in Computer Science 22 (02), 333-372, 2012
37*2012
Finite axiom systems for testing preorder and De Simone process languages
I Ulidowski
Theoretical Computer Science 239 (1), 97-139, 2000
33*2000
A logic with reverse modalities for history-preserving bisimulations
I Phillips, I Ulidowski
arXiv preprint arXiv:1108.4470, 2011
312011
Reversing Place Transition Nets
I Ulidowski, CA Mezzina, H Melgratti
Logical Methods in Computer Science 16, 2020
30*2020
Modelling of bonding with processes and events
I Phillips, I Ulidowski, S Yuen
International Conference on Reversible Computation, 141-154, 2013
302013
Concurrency and reversibility
I Ulidowski, I Phillips, S Yuen
International Conference on Reversible Computation, 1-14, 2014
292014
Preface
N Cannata, E Merelli, I Ulidowski
Theoretical Computer Science 411 (20), 1997-1998, 2010
26*2010
An axiomatic approach to reversible computation
I Lanese, I Phillips, I Ulidowski
FoSSaCS 2020-23rd International Conference on Foundations of Software†…, 2020
242020
Reversing parallel programs with blocks and procedures
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1808.08651, 2018
202018
Semantics and expressiveness of ordered SOS
MR Mousavi, I Phillips, MA Reniers, I Ulidowski
Information and Computation 207 (2), 85-119, 2009
19*2009
Local testing and implementable concurrent processes
I Ulidowski
Department of Computing, Imperial College, 1994
191994
The system can't perform the operation now. Try again later.
Articles 1–20