| 2015 | CAV | A Trusted Mechanised Specification of JavaScript: One Year On. | Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood |
| 2014 | POPL | A trusted mechanised JavaScript specification. | Martin Bodin, Arthur Charguraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith |
| 2009 | CBMS | Shared genomics: A platform for emerging interpretation of genetic epidemiology. | David C. Hoyle, Mark Delderfield, Lee Kitching, Gareth Smith, Peter Crowther, Iain E. Buchan |
| 2008 | PODS | Local Hoare reasoning about DOM. | Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty |
| 1999 | EGVE | Semantic Behaviours in Collaborative Virtual Environments. | Emmanuel Frcon, Gareth Smith |
| 1999 | VRST | The London Travel Demonstrator. | Anthony Steed, Emmanuel Frcon, Anneli Avatare Nu, Duncan L. Pemberton, Gareth Smith |
| 1998 | CSCW | Re-coupling Tailored User Interfaces. | Gareth Smith, Jon O'Brien |
| 1998 | CSCW | Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes. | Jonathan Trevor, Tom Rodden, Gareth Smith |
| 1997 | VRST | Using subjective views to enhance 3D applications. | Gareth Smith, John A. Mariani |
| 1996 | CSCW | Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces. | Gareth Smith |
| 1993 | Group | Access as a means of configuring cooperative interfaces. | Gareth Smith, Tom Rodden |