Irek Ulidowski

Cited by

	All	Since 2016
Citations	891	471
h-index	17	12
i10-index	23	14

140

105

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020213 4 6 13 11 4 2 22 3 22 10 19 16 13 22 5 24 21 23 39 32 56 39 75 74 87 89 128 17

Co-authors

Iain PhillipsSenior Lecturer, Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
Shoji YuenNagoya UniversityVerified email at is.nagoya-u.ac.jp
Stefan KuhnLecturerVerified email at dmu.ac.uk
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
James HoeyUniversity of LeicesterVerified email at leicester.ac.uk
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Kazimierz SubietaProfesor informatyki, Polsko Japońska Wyższa Szkoła Technik KomputerowychVerified email at pjwstk.edu.pl
Ulrik SchultzUniversity of Southern DenmarkVerified email at mmmi.sdu.dk
German VidalProfessor of Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Robert WilleJohannes Kepler University LinzVerified email at jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany Verified email at uni-bremen.de
Jarkko KariUniversity of TurkuVerified email at utu.fi
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Carla FerreiraNOVA LINCS / Universidade NOVA de LisboaVerified email at fct.unl.pt
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk

Irek Ulidowski

Informatics, University of Leicester

Verified email at le.ac.uk - Homepage

Reversible Computation Concurrency Theory


Title Sort by citations Sort by year Sort by 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	145	2007
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	73	2012
Ordered SOS process languages for branching and eager bisimulations I Ulidowski, I Phillips Information and Computation 178 (1), 180-213, 2002	61*	2002
Equivalences on observable processes I Ulidowski LICS 92, 148-159, 1992	60	1992
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	48*	2004
Reversibility and models for concurrency I Phillips, I Ulidowski Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007	46	2007
Reversing event structures I Ulidowski, I Phillips, S Yuen New Generation Computing 36 (3), 281-306, 2018	45*	2018
Reversibility and asymmetric conflict in event structures I Phillips, I Ulidowski Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015	43	2015
Event identifier logic I Phillips, I Ulidowski Mathematical Structures in Computer Science 24 (2), 2014	43*	2014
A hierarchy of reverse bisimulations on stable configuration structures I Phillips, I Ulidowski Mathematical Structures in Computer Science 22 (02), 333-372, 2012	36*	2012
Finite axiom systems for testing preorder and De Simone process languages I Ulidowski Theoretical Computer Science 239 (1), 97-139, 2000	32*	2000
Local reversibility in a calculus of covalent bonding S Kuhn, I Ulidowski Science of Computer Programming 151, 18-47, 2018	31*	2018
Preface N Cannata, E Merelli, I Ulidowski Theoretical Computer Science 411 (20), 1997-1998, 2010	24*	2010
Local testing and implementable concurrent processes I Ulidowski Department of Computing, Imperial College, 1994	19	1994
Semantics and expressiveness of ordered SOS MR Mousavi, I Phillips, MA Reniers, I Ulidowski Information and Computation 207 (2), 85-119, 2009	18*	2009
Reversing parallel programs with blocks and procedures J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1808.08651, 2018	17	2018
Process languages for rooted eager bisimulation I Ulidowski, S Yuen CONCUR 2000—Concurrency Theory, 275-289, 2000	17	2000
Axiomatisations of weak equivalences for De Simone languages I Ulidowski CONCUR'95: Concurrency Theory, 219-233, 1995	14	1995
Reversing Place Transition Nets I Ulidowski, CA Mezzina, H Melgratti Logical Methods in Computer Science 16, 2020	13*	2020
Reversing imperative parallel programs J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1709.00828, 2017	12	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors