Irek Ulidowski

Citado por

	Total	Desde 2019
Citas	1410	680
Índice h	22	18
Índice i10	42	23

160

120

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 9 10 13 4 2 22 9 27 11 20 18 15 26 7 25 20 20 39 38 62 40 86 81 97 78 128 107 143 105 118

Acceso público

Ver todo

16 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Iain PhillipsSenior Lecturer, Department of Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Shoji YuenNagoya UniversityDirección de correo verificada de is.nagoya-u.ac.jp
Ivan LaneseUniversity of BolognaDirección de correo verificada de unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoDirección de correo verificada de uniurb.it
James HoeyUniversity of LeicesterDirección de correo verificada de leicester.ac.uk
Stefan KuhnLecturerDirección de correo verificada de ut.ee
Ulrik SchultzUniversity of Southern DenmarkDirección de correo verificada de mmmi.sdu.dk
Hernán MelgrattiUniversidad de Buenos AiresDirección de correo verificada de dc.uba.ar
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Carla FerreiraNOVA LINCS / NOVA University LisbonDirección de correo verificada de fct.unl.pt
Jarkko KariUniversity of TurkuDirección de correo verificada de utu.fi
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonDirección de correo verificada de kcl.ac.uk
Kazimierz SubietaProfesor informatyki, Polsko Japońska Wyższa Szkoła Technik KomputerowychDirección de correo verificada de pjwstk.edu.pl
Robert WilleTechnical University of Munich and SCCH GmbHDirección de correo verificada de tum.de
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyDirección de correo verificada de uni-bremen.de
Maciej KoutnyNewcastle UniversityDirección de correo verificada de ncl.ac.uk
Peter D MossesSwansea University and Delft University of TechnologyDirección de correo verificada de tudelft.nl
Nicola CannataUniversity of CamerinoDirección de correo verificada de unicam.it
Emanuela MerelliUniversity of CamerinoDirección de correo verificada de unicam.it
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaDirección de correo verificada de ru.is

Seguir

Irek Ulidowski

School of Computing and Mathematical Sciences, University of Leicester

Dirección de correo verificada de le.ac.uk - Página principal

Reversible Computation Concurrency Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Reversing algebraic process calculi I Phillips, I Ulidowski The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007	172	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	105	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	63	2007
Reversing algebraic process calculi I Phillips, I Ulidowski International Conference on Foundations of Software Science and Computation …, 2006	50	2006
Ordered SOS process languages for branching and eager bisimulations I Ulidowski, I Phillips Information and Computation 178 (1), 180-213, 2002	48	2002
An axiomatic approach to reversible computation I Lanese, I Phillips, I Ulidowski FoSSaCS 2020-23rd International Conference on Foundations of Software …, 2020	40	2020
Extending process languages with time I Ulidowski, S Yuen International Conference on Algebraic Methodology and Software Technology …, 1997	37	1997
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	30	2020
Event identifier logic I Phillips, I Ulidowski Mathematical Structures in Computer Science 24 (2), 2014	28	2014
A hierarchy of reverse bisimulations on stable configuration structures I Phillips, I Ulidowski Mathematical Structures in Computer Science 22 (2), 333-372, 2012	28	2012
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
Reversing an imperative concurrent programming language J Hoey, I Ulidowski Science of Computer Programming 223, 102873, 2022	24*	2022
Local reversibility in a calculus of covalent bonding S Kuhn, I Ulidowski Science of Computer Programming 151, 18-47, 2018	24	2018

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores