Access as a means of configuring cooperative interfaces. - Gareth Smith; Tom Rodden (COOCS, 1993)

Supporting collaborative learning during information searching. - Michael B. Twidale; David M. Nichols; Gareth Smith; Jonathan Trevor (CSCL, 1995)

SOL: A shared object toolkit for cooperative interfaces. - Gareth Smith; Tom Rodden (Int. J. Hum. Comput. Stud., 1995)

Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces. - Gareth Smith (CSCW, 1996)

Using subjective views to enhance 3D applications. - Gareth Smith; John A. Mariani (VRST, 1997)

Re-coupling Tailored User Interfaces. - Gareth Smith; Jon O'Brien (CSCW, 1998)

Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes. - Jonathan Trevor; Tom Rodden; Gareth Smith (CSCW, 1998)

WebPath - A Three-Dimensional Web History. - Emmanuel Frécon; Gareth Smith (INFOVIS, 1998)

Semantic Behaviours in Collaborative Virtual Environments. - Emmanuel Frécon; Gareth Smith (EGVE, 1999)

The London Travel Demonstrator. - Anthony Steed; Emmanuel Frécon; Anneli Avatare Nöu; Duncan L. Pemberton; Gareth Smith (VRST, 1999)

The COVEN project: exploring applicative, technical and usage dimensions of collaborative virtual environments. - Véronique Normand; Christian Babski; Steve Benford; Adrian Bullock; Stéphane Carion; Yiorgos Chrysanthou; Nicolas Farcet; John Harvey; Nico Kuijpers; Nadia Magnenat-Thalmann; Soraia Raupp Musse; Tom Rodden; et al. (Presence Teleoperators Virtual Environ., 1999)

The role of shared context in supporting cooperation between city visitors. - Keith Cheverst; Gareth Smith; Keith Mitchell; Adrian Friday; Nigel Davies 001 (Comput. Graph., 2001)

An Overview of the COVEN Platform. - Emmanuel Frécon; Gareth Smith; Anthony Steed; Mårten Stenius; Olov Ståhl (Presence Teleoperators Virtual Environ., 2001)

The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments. - Shahram Izadi; Pedro Coutinho 002; Tom Rodden; Gareth Smith (Autom. Softw. Eng., 2002)

Distributed Decision-Making and Control for Agile Military Radio Networks. - James Wise; Gareth Smith; John David Salt; Paul Huey; Graham Atkins (DAMAS, 2005)

Shared Genomics: Accessible High Performance Computing for Genomic Medical Research. - Mark Delderfield; Lee Kitching; Gareth Smith; David C. Hoyle; Iain E. Buchan (eScience, 2008)

DOM: Towards a Formal Specification. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PLAN-X, 2008)

Local Hoare reasoning about DOM. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PODS, 2008)

Shared genomics: A platform for emerging interpretation of genetic epidemiology. - David C. Hoyle; Mark Delderfield; Lee Kitching; Gareth Smith; Peter Crowther; Iain E. Buchan (CBMS, 2009)

Shared Genomics: High Performance Computing for distributed insights in genomic medical research. - David C. Hoyle; Mark Delderfield; Lee Kitching; Gareth Smith; Iain E. Buchan (HealthGrid, 2009)

Local reasoning about Web programs. - Gareth David Smith (2011)

Towards a program logic for JavaScript. - Philippa Gardner; Sergio Maffeis; Gareth David Smith (POPL, 2012)

A trusted mechanised JavaScript specification. - Martin Bodin; Arthur Charguéraud; Daniele Filaretti; Philippa Gardner; Sergio Maffeis; Daiva Naudziuniene; Alan Schmitt; Gareth Smith (POPL, 2014)

A Trusted Mechanised Specification of JavaScript: One Year On. - Philippa Gardner; Gareth Smith; Conrad Watt; Thomas Wood 001 (CAV (1), 2015)

AI Meets Antimatter: Unveiling Antihydrogen Annihilations. - Ashley Ferreira; Mahip Singh; Andrea Capra; Ina Carli; Daniel Duque Quiceno; Wojciech T. Fedorko; Makoto M. Fujiwara; Muyan Li; Lars Martin; Yukiya Saito; Gareth Smith; Anqi Xu (CoRR, 2024)

Antimatter Annihilation Vertex Reconstruction with Deep Learning for ALPHA-g Radial Time Projection Chamber. - Ashley Ferreira; Mahip Singh; Yukiya Saito; Andrea Capra; Ina Carli; Daniel Duque Quiceno; Wojciech T. Fedorko; Makoto C. Fujiwara; Muyan Li; Lars Martin; Gareth Smith; Anqui Xu (CoRR, 2025)