Pebble: A Language for Parametrised and Reconfigurable Hardware Design. - Wayne Luk; Steve McKeever (FPL, 1998)

Towards Adaptable Hierarchical Placement for FPGAs. - Florent de Dinechin; Wayne Luk; Steve McKeever (FPGA, 1999)

Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. - Steve McKeever; Wayne Luk (CHARME, 2001)

A declarative framework for developing parametrised hardware libraries. - Steve McKeever; Wayne Luk (ICECS, 2001)

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. - Steve McKeever; Wayne Luk; Arran Derbyshire (FMCAD, 2002)

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. - Steve McKeever; Wayne Luk; Arran Derbyshire (HICSS, 2003)

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. - Andrew Simpson 001; Andrew P. Martin; Jeremy Gibbons; Jim Davies; Steve McKeever (ICSE, 2003)

OGSA-based grid workload monitoring. - Rui Zhang 036; Steve Moyle; Steve McKeever; Stephen Heisig (CCGRID, 2005)

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. - Jonathan Cooper; Steve McKeever; Alan Garny (PEPM, 2006)

Provably-correct hardware compilation tools based on pass separation techniques. - Steve McKeever; Wayne Luk (Formal Aspects Comput., 2006)

A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. - Yudong Sun; Steve McKeever; Kia Balali-Mood; Mark S. P. Sansom (BIBM, 2007)

Array Synthesis in SystemC Hardware Compilation. - Johan Ditmar; Steve McKeever (FPL, 2007)

Integrating multi-level molecular simulations across heterogeneous resources. - Yudong Sun; Steve McKeever; Kia Balali-Mood; Mark S. P. Sansom (GRID, 2007)

Experience report: a Haskell interpreter for cellML. - Jonathan Cooper; Steve McKeever (ICFP, 2007)

Scalable problem localization for distributed systems: principles and practices. - Rui Zhang 036; Bruno C. d. S. Oliveira; Alan Bivens; Steve McKeever (Infoscale, 2007)

Performance problem localization in self-healing, service-oriented systems using Bayesian networks. - Rui Zhang 036; Steve Moyle; Steve McKeever; Alan Bivens (SAC, 2007)

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation. - Johan Ditmar; Steve McKeever; Alex Wilson (Int. J. Reconfigurable Comput., 2008)

Converting Biomolecular Modelling Data Based on an XML Representation. - Yudong Sun; Steve McKeever (J. Integr. Bioinform., 2008)

A model-driven approach to automatic conversion of physical units. - Jonathan Cooper; Steve McKeever (Softw. Pract. Exp., 2008)

euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart. - Daniele Gianni; Steve McKeever; Nic Smith (FIMH, 2009)

Checking concurrent contracts with aspects. - Eric Kerfoot; Steve McKeever (SAC, 2010)

TumorML: Concept and requirements of an in silico cancer modelling markup language. - David Johnson 006; Jonathan Cooper; Steve McKeever (EMBC, 2011)

An architecture for integrating cancer model repositories. - Stelios Sfakianakis; Vangelis Sakkalis; Kostas Marias; Georgios S. Stamatakos; Steve McKeever; Thomas S. Deisboeck; Norbert M. Graf (EMBC, 2012)

Modular markup for simulating vascular tumour growth. - David Johnson 006; Anthony J. Connor; Steve McKeever (IARWISOI, 2012)

Modular mathematical modelling of biological systems. - Mandeep Gill; Steve McKeever; David Gavaghan (SpringSim (TMS-DEVS), 2012)

Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems. - Mandeep Gill; Steve McKeever; David Gavaghan (WETICE, 2012)

Abstraction in physiological modelling languages. - Steve McKeever; Mandeep Gill; Anthony J. Connor; David Johnson 006 (SpringSim (TMS-DEVS), 2013)

Model Composition for Biological Mathematical Systems. - Mandeep Gill; Steve McKeever; David Gavaghan (MODELSWARD, 2014)

Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models. - Vangelis Sakkalis; Stelios Sfakianakis; Eleftheria Tzamali; Kostas Marias; Georgios S. Stamatakos; Fay Misichroni; Eleftherios Ouzounoglou; Eleni A. Kolokotroni; Dimitra D. Dionysiou; David Johnson 006; Steve McKeever; Norbert M. Graf (IEEE J. Biomed. Health Informatics, 2014)

Compositional Relational Programming with Name Projection and Compositional Synthesis. - Görkem Paçaci; Steve McKeever; Andreas Hamfelt (Ershov Informatics Conference, 2017)

Simulating market-oriented policy interventions for stimulating antibiotics development. - Christopher Okhravi; Steve McKeever; Carl Kronlid; Enrico Baraldi; Olof Lindahl; Francesco Ciabuschi (SpringSim (ANSS), 2017)

The next 700 unit of measurement checkers. - Oscar Bennich-Björkman; Steve McKeever (SLE, 2018)

"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis. - Görkem Paçaci; David Johnson 006; Steve McKeever; Andreas Hamfelt (ICCS (5), 2019)

Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions. - Steve McKeever; Görkem Paçaci; Oscar Bennich-Björkman (MODELSWARD, 2019)

Diftong: a tool for validating big data workflows. - Raya Rizk; Steve McKeever; Johan Petrini; Erik Zeitler (J. Big Data, 2019)

Lack of adoption of units of measurement libraries: survey and anecdotes. - Omar-Alfred Salah; Steve McKeever (ICSE (SEIP), 2020)

Towards Explainable, Compliant and Adaptive Human-Automation Interaction. - Barbara Gallina; Görkem Paçaci; David Johnson 006; Steve McKeever; Andreas Hamfelt; Stefania Costantini; Pierangelo Dell'Acqua; Gloria Cerasela Crisan (XAILA@JURIX, 2020)

From Quantities in Software Models to Implementation. - Steve McKeever (MODELSWARD, 2021)

Unit of measurement libraries, their popularity and suitability. - Steve McKeever; Oscar Bennich-Björkman; Omar-Alfred Salah (Softw. Pract. Exp., 2021)

Discerning Quantities from Units of Measurement. - Steve McKeever (MODELSWARD, 2022)

Acknowledging Implementation Trade-Offs When Developing with Units of Measurement. - Steve McKeever (MODELSWARD (Revised Selected Papers), 2022)

A Discipline of Programming with Quantities. - Steve McKeever (CoRR, 2022)

Torque not Work, Representing Kinds of Quantities. - Steve McKeever (MODELSWARD, 2024)