Iain Phillips - RankMe

64 papers A* 1B 5C 12Journal 23Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Bisimulations and Reversibility. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Clément Aubert, Iain Phillips, Irek Ulidowski
2025	C	`conf`	Independence and Causality in the Reversible Concurrent Setting. RC Clément Aubert, Iain Phillips, Irek Ulidowski
2024	J	`jnl`	An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. Ivan Lanese, Iain Phillips, Irek Ulidowski
2024	J	`jnl`	Dependence and Independence for Reversible Process Calculi. CoRR Clément Aubert, Iain Phillips, Irek Ulidowski
2023	J	`jnl`	An Axiomatic Theory for Reversible Computation. CoRR Ivan Lanese, Iain Phillips, Irek Ulidowski
2023	C	`conf`	Towards a Taxonomy for Reversible Computation Approaches. RC Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022	J	`jnl`	Event structures for the reversible early internal J. Log. Algebraic Methods Program. Eva Graversen, Iain Phillips, Nobuko Yoshida
2021	J	`jnl`	Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. Eva Graversen, Iain Phillips, Nobuko Yoshida
2021	C	`conf`	Forward-Reverse Observational Equivalences in CCSK. RC Ivan Lanese, Iain Phillips
2020	J	`jnl`	A parametric framework for reversible Inf. Comput. Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2020	B	`conf`	An Axiomatic Approach to Reversible Computation. FoSSaCS Ivan Lanese, Iain Phillips, Irek Ulidowski
2020	C	`conf`	Event Structures for the Reversible Early Internal π-Calculus. RC Eva Graversen, Iain Phillips, Nobuko Yoshida
2020	J	`jnl`	Event structures for the reversible early internal Pi-calculus. CoRR Eva Graversen, Iain Phillips, Nobuko Yoshida
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	C	`conf`	Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2020	C	`conf`	Towards a Formal Account for Software Transactional Memory. RC Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2019	J	`jnl`	Reversible Causal Nets and Reversible Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019	J	`jnl`	Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. Eva Graversen, Iain Phillips, Nobuko Yoshida
2018	—	`conf`	A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018	J	`jnl`	A Parametric Framework for Reversible π-Calculi. CoRR Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018	C	`conf`	Event Structure Semantics of (controlled) Reversible CCS. RC Eva Graversen, Iain Phillips, Nobuko Yoshida
2018	J	`jnl`	Reversing Event Structures. New Gener. Comput. Irek Ulidowski, Iain Phillips, Shoji Yuen
2017	C	`ed.`	Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings RC Iain Phillips, Hafizur Rahaman
2017	—	`conf`	Towards a Categorical Representation of Reversible Event Structures. PLACES@ETAPS Eva Graversen, Iain Phillips, Nobuko Yoshida
2015	C	`conf`	Real-Time Methods in Reversible Computation. RC Tommi Pesu, Iain Phillips
2015	J	`jnl`	Reversibility and asymmetric conflict in event structures. J. Log. Algebraic Methods Program. Iain Phillips, Irek Ulidowski
2014	C	`conf`	Concurrency and Reversibility. RC Irek Ulidowski, Iain Phillips, Shoji Yuen
2014	J	`jnl`	Event Identifier Logic. Math. Struct. Comput. Sci. Iain Phillips, Irek Ulidowski
2013	C	`conf`	Modelling of Bonding with Processes and Events. RC Iain Phillips, Irek Ulidowski, Shoji Yuen
2013	B	`conf`	Reversibility and Asymmetric Conflict in Event Structures. CONCUR Iain Phillips, Irek Ulidowski
2012	C	`conf`	A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC Iain Phillips, Irek Ulidowski, Shoji Yuen
2012	J	`jnl`	A hierarchy of reverse bisimulations on stable configuration structures. Math. Struct. Comput. Sci. Iain Phillips, Irek Ulidowski
2011	—	`conf`	A Logic with Reverse Modalities for History-preserving Bisimulations EXPRESS Iain Phillips, Irek Ulidowski
2009	—	`conf`	Reverse Bisimulations on Stable Configuration Structures SOS Iain Phillips, Irek Ulidowski
2009	J	`jnl`	Semantics and expressiveness of ordered SOS. Inf. Comput. Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2008	J	`jnl`	CCS with priority guards. J. Log. Algebraic Methods Program. Iain Phillips
2008	J	`jnl`	Symmetric electoral systems for ambient calculi. Inf. Comput. Iain Phillips, Maria Grazia Vigliotti
2007	—	`conf`	Matching Systems for Concurrent Calculi. EXPRESS Bjørn Haagensen, Sergio Maffeis, Iain Phillips
2007	—	`ed.`	Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006 EXPRESS Roberto M. Amadio, Iain Phillips
2007	—	`conf`	Reversibility and Models for Concurrency. SOS@LICS/ICALP Iain Phillips, Irek Ulidowski
2007	J	`jnl`	Reversing algebraic process calculi. J. Log. Algebraic Methods Program. Iain Phillips, Irek Ulidowski
2007	J	`jnl`	Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
2006	J	`jnl`	Leader election in rings of ambient processes. Theor. Comput. Sci. Iain Phillips, Maria Grazia Vigliotti
2006	—	`conf`	Preface. EXPRESS Roberto M. Amadio, Iain Phillips
2006	—	`ed.`	Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005 EXPRESS Jos C. M. Baeten, Iain Phillips
2006	B	`conf`	Reversing Algebraic Process Calculi. FoSSaCS Iain Phillips, Irek Ulidowski
2006	—	`conf`	The Meaning of Ordered SOS. FSTTCS Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2005	J	`jnl`	On the computational strength of pure ambient calculi. Theor. Comput. Sci. Sergio Maffeis, Iain Phillips
2005	—	`conf`	Operational Semantics of Reversibility in Process Algebra. APC 25 Iain Phillips, Irek Ulidowski
2005	—	`conf`	Preface. EXPRESS Jos C. M. Baeten, Iain Phillips
2005	—	`conf`	Separation Results Via Leader Election Problems. FMCO Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
2004	B	`conf`	Electoral Systems in Ambient Calculi. FoSSaCS Iain Phillips, Maria Grazia Vigliotti
2004	—	`conf`	Leader Election in Rings of Ambient Processes. EXPRESS Iain Phillips, Maria Grazia Vigliotti
2003	—	`conf`	On the Computational Strength of Pure Ambient Calculi. EXPRESS Sergio Maffeis, Iain Phillips
2002	—	`conf`	Barbs and Congruences for Safe Mobile Ambients. F-WAN@ICALP Maria Grazia Vigliotti, Iain Phillips
2002	—	`conf`	On Reduction Semantics for the Push and Pull Ambitent Calculus. IFIP TCS Iain Phillips, Maria Grazia Vigliotti
2002	J	`jnl`	Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput. Irek Ulidowski, Iain Phillips
2001	B	`conf`	CCS with Priority Guards. CONCUR Iain Phillips
1997	—	`conf`	Formats of Ordered SOS Rules with Silent Actions. TAPSOFT Irek Ulidowski, Iain Phillips
1995	—	`conf`	Possible and Guaranteed Concurrency in CSP. STRICT Marta Kwiatkowska, Iain Phillips
1993	—	`conf`	A Note on Expressiveness of Process Algebra. Theory and Formal Methods Iain Phillips
1993	—	`conf`	Concurrency and Conflict in CSP. Theory and Formal Methods Marta Z. Kwiatkowska, Iain Phillips
1987	J	`jnl`	Refusal Testing. Theor. Comput. Sci. Iain Phillips
1986	A*	`conf`	Refusal Testing. ICALP Iain Phillips