| 2026 | ICSoft | Kind of Quantity Analysis on a Shoestring. | Steve McKeever |
| 2026 | MODELSWARD | Natural Kinds Expressed Symbolically. | Steve McKeever |
| 2025 | WSC | Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries. | Primoz Godec, Steve McKeever |
| 2024 | MODELSWARD | Torque not Work, Representing Kinds of Quantities. | Steve McKeever |
| 2022 | MODELSWARD | Discerning Quantities from Units of Measurement. | Steve McKeever |
| 2022 | MODELSWARD | Acknowledging Implementation Trade-Offs When Developing with Units of Measurement. | Steve McKeever |
| 2021 | MODELSWARD | From Quantities in Software Models to Implementation. | Steve McKeever |
| 2020 | ICSE | Lack of adoption of units of measurement libraries: survey and anecdotes. | Omar-Alfred Salah, Steve McKeever |
| 2020 | JURIX | Towards Explainable, Compliant and Adaptive Human-Automation Interaction. | Barbara Gallina, Grkem Paaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan |
| 2019 | ICCS | "Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis. | Grkem Paaci, David Johnson, Steve McKeever, Andreas Hamfelt |
| 2019 | MODELSWARD | Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions. | Steve McKeever, Grkem Paaci, Oscar Bennich-Bjrkman |
| 2018 | SLE | The next 700 unit of measurement checkers. | Oscar Bennich-Bjrkman, Steve McKeever |
| 2014 | MODELSWARD | Model Composition for Biological Mathematical Systems. | Mandeep Gill, Steve McKeever, David Gavaghan |
| 2012 | WETICE | Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems. | Mandeep Gill, Steve McKeever, David Gavaghan |
| 2010 | SAC | Checking concurrent contracts with aspects. | Eric Kerfoot, Steve McKeever |
| 2007 | FPL | Array Synthesis in SystemC Hardware Compilation. | Johan Ditmar, Steve McKeever |
| 2007 | ICFP | Experience report: a Haskell interpreter for cellML. | Jonathan Cooper, Steve McKeever |
| 2007 | SAC | Performance problem localization in self-healing, service-oriented systems using Bayesian networks. | Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens |
| 2006 | PEPM | On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. | Jonathan Cooper, Steve McKeever, Alan Garny |
| 2005 | CCGRID | OGSA-based grid workload monitoring. | Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig |
| 2003 | ICSE | On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. | Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
| 2002 | FMCAD | Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. | Steve McKeever, Wayne Luk, Arran Derbyshire |
| 1999 | FPGA | Towards Adaptable Hierarchical Placement for FPGAs. | Florent de Dinechin, Wayne Luk, Steve McKeever |
| 1998 | FPL | Pebble: A Language for Parametrised and Reconfigurable Hardware Design. | Wayne Luk, Steve McKeever |