Irek Ulidowski

Cited by

	All	Since 2017
Citations	1016	527
h-index	17	12
i10-index	26	17

120

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120225 5 6 13 9 4 2 22 3 22 10 18 16 12 24 5 24 21 20 40 32 55 37 73 77 81 84 118 111 55

Public access

View all

11 articles

1 article

available

not available

Based on funding mandates

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
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Stefan KuhnLecturerVerified email at dmu.ac.uk
James HoeyUniversity of LeicesterVerified email at leicester.ac.uk
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Ulrik SchultzUniversity of Southern DenmarkVerified email at mmmi.sdu.dk
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Kazimierz SubietaProfesor informatyki, Polsko Japońska Wyższa Szkoła Technik KomputerowychVerified email at pjwstk.edu.pl
Carla FerreiraNOVA LINCS / Universidade NOVA de LisboaVerified email at fct.unl.pt
Jarkko KariUniversity of TurkuVerified email at utu.fi
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Nicola CannataUniversity of CamerinoVerified email at unicam.it

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	159	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	77	2012
Ordered SOS process languages for branching and eager bisimulations I Ulidowski, I Phillips Information and Computation 178 (1), 180-213, 2002	60*	2002
Equivalences on observable processes I Ulidowski LICS 92, 148-159, 1992	59	1992
Reversibility and models for concurrency I Phillips, I Ulidowski Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007	55	2007
Reversibility and asymmetric conflict in event structures I Phillips, I Ulidowski Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015	52	2015
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 event structures I Ulidowski, I Phillips, S Yuen New Generation Computing 36 (3), 281-306, 2018	49*	2018
Event identifier logic I Phillips, I Ulidowski Mathematical Structures in Computer Science 24 (2), 2014	47*	2014
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
Local reversibility in a calculus of covalent bonding S Kuhn, I Ulidowski Science of Computer Programming 151, 18-47, 2018	36*	2018
Finite axiom systems for testing preorder and De Simone process languages I Ulidowski Theoretical Computer Science 239 (1), 97-139, 2000	33*	2000
Preface N Cannata, E Merelli, I Ulidowski Theoretical Computer Science 411 (20), 1997-1998, 2010	25*	2010
Reversing Place Transition Nets I Ulidowski, CA Mezzina, H Melgratti Logical Methods in Computer Science 16, 2020	21*	2020
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	19	1994
Reversing parallel programs with blocks and procedures J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1808.08651, 2018	18	2018
Process languages for rooted eager bisimulation I Ulidowski, S Yuen CONCUR 2000—Concurrency Theory, 275-289, 2000	16	2000
Axiomatisations of weak equivalences for De Simone languages I Ulidowski CONCUR'95: Concurrency Theory, 219-233, 1995	16	1995
Reversible imperative parallel programs and debugging J Hoey, I Ulidowski International Conference on Reversible Computation, 108-127, 2019	15	2019

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

Follow this author

Cited by

Co-authors