| 2026 | CONCUR | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2025 | ICISSP | Secure Opportunistic Routing Protocol in VANETs. | Eqbal Darraji, Iain Phillips, Asma Adnane |
| 2025 | ICISSP | Connected Vehicles Data Classification and the Influence of a Sustainable Data Governance for Optimal Utilisation of In-Vehicle Data. | Ali Karimi, Asma Adnane, Iain Phillips, Elhadj Benkhelifa |
| 2025 | IJCNN | Towards Autonomous Cyber Defence: Applying Systems Theoretic Process Analysis to Human-Machine Teaming. | Shu-Jui Chang, Chris Hicks, Vasilios Mavroudis, Iain Phillips, Tim Watson |
| 2025 | RC | Independence and Causality in the Reversible Concurrent Setting. | Clment Aubert, Iain Phillips, Irek Ulidowski |
| 2023 | CoNEXT | Towards a Compact Routed Internet. | James I. Madeley, Iain Phillips |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2022 | IMC | Mitigating cyber threats at the network edge. | Toyin Sofoluwe, Fung Po Tso, Iain Phillips |
| 2021 | RC | Forward-Reverse Observational Equivalences in CCSK. | Ivan Lanese, Iain Phillips |
| 2020 | FOSSACS | An Axiomatic Approach to Reversible Computation. | Ivan Lanese, Iain Phillips, Irek Ulidowski |
| 2020 | RC | Event Structures for the Reversible Early Internal π-Calculus. | Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2020 | RC | Towards a Formal Account for Software Transactional Memory. | Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida |
| 2020 | RC | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2019 | AICCSA | On the Design, Development and Implementation of Trust Evaluation Mechanism in Vehicular Networks. | Farhan Ahmad, Asma Adnane, Chaker Abdelaziz Kerrache, Fatih Kurugollu, Iain Phillips |
| 2018 | ISCC | Dynamic Network Function Chain Composition for Mitigating Network Latency. | Wajdi Hajji, Thiago A. L. Genez, Fung Po Tso, Lin Cui, Iain Phillips |
| 2018 | RC | Event Structure Semantics of (controlled) Reversible CCS. | Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2015 | RC | Real-Time Methods in Reversible Computation. | Tommi Pesu, Iain Phillips |
| 2014 | RC | Concurrency and Reversibility. | Irek Ulidowski, Iain Phillips, Shoji Yuen |
| 2013 | CONCUR | Reversibility and Asymmetric Conflict in Event Structures. | Iain Phillips, Irek Ulidowski |
| 2013 | CoNEXT | An automated system for emulated network experimentation. | Simon Knight, Hung X. Nguyen, Olaf Maennel, Iain Phillips, Nickolas J. G. Falkner, Randy Bush, Matthew Roughan |
| 2013 | RC | Modelling of Bonding with Processes and Events. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | ICNP | Detecting unsafe BGP policies in a flexible world. | Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain Phillips |
| 2012 | ICNP | Detecting the unintended in BGP policies. | Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Iain Phillips, Cristel Pelsser |
| 2012 | ICNP | Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. | Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser |
| 2012 | PERCOM | DCCC6: Duty Cycle-aware congestion control for 6LoWPAN networks. | Vasilis Michopoulos, Lin Guan, George C. Oikonomou, Iain Phillips |
| 2012 | PERCOM | Stateless multicast forwarding with RPL in 6LowPAN sensor networks. | George C. Oikonomou, Iain Phillips |
| 2012 | RC | A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | SIGCOMM | AutoNetkit: simplifying large scale, open-source network experimentation. | Simon Knight, Askar Jaboldinov, Olaf Maennel, Iain Phillips, Matthew Roughan |
| 2011 | DCOSS | A comparative study of congestion control algorithms in IPv6 Wireless Sensor Networks. | Vasilis Michopoulos, Lin Guan, George C. Oikonomou, Iain Phillips |
| 2011 | DCOSS | Experiences from porting the Contiki operating system to a popular hardware platform. | George C. Oikonomou, Iain Phillips |
| 2010 | IJCCI | Train Timetable Generation using Genetic Algorithms. | Chris J. Hinde, Mark S. Withall, Iain Phillips, Thomas W. Jackson, S. Brown, R. Watson |
| 2010 | WoWMoM | Trade-off between exploration and reporting victim locations in USAR. | Sion Scone, Iain Phillips |
| 2009 | AINA | QoS Enhancements and Performance Analysis for Delay Sensitive Applications. | Jie Wang, Lin Guan, Xin Gang Wang, Alan Grigg, Irfan Awan, Iain Phillips, Xuefen Chi |
| 2007 | ICCCN | Honey Plotter and the Web of Terror. | Mark S. Withall, M. Shirantha de Silva, David J. Parish, Iain Phillips |
| 2006 | FOSSACS | Reversing Algebraic Process Calculi. | Iain Phillips, Irek Ulidowski |
| 2004 | FOSSACS | Electoral Systems in Ambient Calculi. | Iain Phillips, Maria Grazia Vigliotti |
| 2001 | CONCUR | CCS with Priority Guards. | Iain Phillips |
| 2000 | NOMS | Processing network delay measurements into network events. | Iain Phillips, Mark Sandford, David J. Parish |
| 1999 | IM | Generic Performance Management of Multiservice Networks. | Iain Phillips, Mark Sandford, David J. Parish, Omar Bashir |
| 1986 | ICALP | Refusal Testing. | Iain Phillips |