| 2019 | SAC | Graphical program transformations for embedded systems. | Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace |
| 2018 | ICIP | Parallel Mean Shift Accuracy and Performance Trade-Offs. | Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson |
| 2016 | CGO | Are there Domain Specific Languages? | Greg Michaelson |
| 2012 | TrustCom | Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. | Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson |
| 2009 | POPL | Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
| 2008 | SAC | Preserving coordination properties when transforming concurrent system components. | Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland |
| 2007 | ICPADS | Formal verification of concurrent scheduling strategies using TLA. | Gudmund Grov, Greg Michaelson, Andrew Ireland |
| 2007 | SAC | Towards resource-certified software: a formal cost model for time and its application to an image-processing example. | Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace |
| 2006 | CiE | Constraints on Hypercomputation. | Greg Michaelson, W. Paul Cockshott |
| 2005 | ICCS | Empirical Parallel Performance Prediction from Semantics-Based Profiling. | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
| 2005 | ICCS | Managing Heterogeneity in a Grid Parallel Haskell. | Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson |
| 2004 | SAC | FSM-Hume: programming resource-limited systems using bounded automata. | Greg Michaelson, Kevin Hammond, Jocelyn Srot |
| 2003 | GPCE | Hume: A Domain-Specific Language for Real-Time Embedded Systems. | Kevin Hammond, Greg Michaelson |
| 2002 | AIMSA | Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. | Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson |