| 2024 | PPDP | Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. | Maribel Fernndez, Ian Mackie |
| 2020 | ICFEM | A Reversible Operational Semantics for Imperative Programming Languages. | Maribel Fernndez, Ian Mackie |
| 2018 | DBSEC | A Novel Hybrid Password Authentication Scheme Based on Text and Image. | Ian Mackie, Merve Yildirim |
| 2017 | WoLLIC | A Geometry of Interaction Machine for Gdel's System T. | Ian Mackie |
| 2016 | FLOPS | An Interaction Net Encoding of Gdel's System | Ian Mackie, Shinya Sato |
| 2015 | ICDCIT | A Routing Calculus with Flooding Updates. | Manish Gaur, Simon J. Gay, Ian Mackie |
| 2014 | CiE | Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. | Maribel Fernndez, Hlne Kirchner, Ian Mackie, Bruno Pinaud |
| 2011 | PPDP | Linearity and recursion in a typed Lambda-calculus. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2010 | TAMC | A Visual Model of Computation. | Ian Mackie |
| 2008 | DIAGRAMS | Visual Programming with Interaction Nets. | Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto |
| 2007 | FOSSACS | Iterator Types. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2006 | CSL | The Power of Linear Functions. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2004 | PPDP | Nominal rewriting systems. | Maribel Fernndez, Murdoch Gabbay, Ian Mackie |
| 2000 | LATIN | A Theory of Operational Equivalence for Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1999 | CSL | Closed Reductions in the lambda-Calculus. | Maribel Fernndez, Ian Mackie |
| 1999 | PPDP | A Calculus for Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1998 | ICFP | YALE: Yet Another Lambda Evaluator Based on Interaction Nets. | Ian Mackie |
| 1998 | LICS | Coinductive Techniques for Operational Equivalence of Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1998 | LICS | Linear Logic | Ian Mackie |
| 1997 | SAS | Static Analysis of Interaction Nets for Distributed Implementations. | Ian Mackie |
| 1996 | ESOP | Flow Analysis in the Geometry of Interaction. | Thomas P. Jensen, Ian Mackie |
| 1995 | POPL | The Geometry of Interaction Machine. | Ian Mackie |