| 2023 | MODELS | Doctoral Symposium. | Fiona Polack, Hugo Bruneliere |
| 2018 | MODELS | Towards Hybrid Model Persistence. | Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos |
| 2017 | MODELS | Turning Models Inside Out. | Alfa Yohannis, Dimitris S. Kolovos, Fiona Polack |
| 2016 | ICORES | Efficient Large-scale Road Inspection Routing. | Yujie Chen, Peter I. Cowling, Stephen Remde, Fiona Polack |
| 2016 | ICORES | Risk Driven Analysis of Maintenance for a Large-scale Drainage System. | Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde |
| 2016 | ICORES | Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model. | Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde |
| 2016 | ICORES | A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection. | Yujie Chen, Fiona Polack, Peter I. Cowling, Stephen Remde |
| 2016 | ICORES | The Effect of Cooperation in Pickup and Multiple Delivery Problems. | Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson |
| 2016 | ICORES | Competition and Cooperation in Pickup and Multiple Delivery Problems. | Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson |
| 2013 | MODELS | Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. | James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack |
| 2010 | ICECCS | Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. | Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack |
| 2008 | ALIFE | Investigating Emergence by Coarse Graining Elementary Cellular Automata. | Andrew Weeks, Fiona Polack, Susan Stepney |
| 2008 | ICST | Detecting and Repairing Inconsistencies across Heterogeneous Models. | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2008 | MODELS | The Grand Challenge of Scalability for Model Driven Engineering. | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2008 | MODELS | Constructing Models with the Human-Usable Textual Notation. | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
| 2006 | CaiSE | Deviational Analyses for Validating Regulations on Real Systems. | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark |
| 2006 | FM | A Formal Template Language Enabling Metaproof. | Nuno Amlio, Susan Stepney, Fiona Polack |
| 2006 | ICECCS | Engineering Emergence. | Susan Stepney, Fiona Polack, Heather R. Turner |
| 2006 | ICECCS | Communicating Complex Systems. | Peter H. Welch, Fred R. M. Barnes, Fiona Polack |
| 2006 | ICWE | Agile development of secure web applications. | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke |
| 2006 | MODELS | Merging Models with the Epsilon Merging Language (EML). | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
| 2006 | SAC | An action semantics for MOF 2.0. | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
| 2004 | CaiSE | Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. | Xiaocheng Ge, Fiona Polack, Rgine Laleau |
| 2004 | ICFEM | Formal Proof from UML Models. | Nuno Amlio, Susan Stepney, Fiona Polack |
| 2003 | APSEC | Challenging Formal Specifications by Mutation: a CSP security example. | Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack |
| 2001 | CaiSE | A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. | Regine Laleau, Fiona Polack |
| 1999 | FM | Systems Development Using Z Generics. | Fiona Polack, Susan Stepney |
| 1993 | FM | The SAZ Project: Integrating SSADM and Z.. | Fiona Polack, Mark Whiston, Keith Mander |