Gareth Smith

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 0

Top Topics

Provably Correct

Specification Language

Distributed Environment

Top Venues

Publications

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood
A Trusted Mechanised Specification of JavaScript: One Year On. CAV (1) (2015)
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
A trusted mechanised JavaScript specification. POPL (2014)
David C. Hoyle, Mark Delderfield, Lee Kitching, Gareth Smith, Iain E. Buchan
Shared Genomics: High Performance Computing for distributed insights in genomic medical research. HealthGrid (2009)
David C. Hoyle, Mark Delderfield, Lee Kitching, Gareth Smith, Peter Crowther, Iain E. Buchan
Shared genomics: A platform for emerging interpretation of genetic epidemiology. CBMS (2009)
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
DOM: Towards a Formal Specification. PLAN-X (2008)
Mark Delderfield, Lee Kitching, Gareth Smith, David C. Hoyle, Iain E. Buchan
Shared Genomics: Accessible High Performance Computing for Genomic Medical Research. eScience (2008)
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
Local Hoare reasoning about DOM. PODS (2008)
James Wise, Gareth Smith, John David Salt, Paul Huey, Graham Atkins
Distributed Decision-Making and Control for Agile Military Radio Networks. DAMAS (2005)
Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth Smith
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments. Autom. Softw. Eng. 9 (2) (2002)
Keith Cheverst, Gareth Smith, Keith Mitchell, Adrian Friday, Nigel Davies
The role of shared context in supporting cooperation between city visitors. Comput. Graph. 25 (4) (2001)
Emmanuel Frécon, Gareth Smith, Anthony Steed, Mårten Stenius, Olov Ståhl
An Overview of the COVEN Platform. Presence Teleoperators Virtual Environ. 10 (1) (2001)
Anthony Steed, Emmanuel Frécon, Anneli Avatare Nöu, Duncan L. Pemberton, Gareth Smith
The London Travel Demonstrator. VRST (1999)
Emmanuel Frécon, Gareth Smith
Semantic Behaviours in Collaborative Virtual Environments. EGVE (1999)
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, Mel Slater, Gareth Smith
The COVEN project: exploring applicative, technical and usage dimensions of collaborative virtual environments. Presence Teleoperators Virtual Environ. 8 (2) (1999)
Emmanuel Frécon, Gareth Smith
WebPath - A Three-Dimensional Web History. INFOVIS (1998)
Jonathan Trevor, Tom Rodden, Gareth Smith
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes. CSCW (1998)
Gareth Smith, Jon O'Brien
Re-coupling Tailored User Interfaces. CSCW (1998)
Gareth Smith, John A. Mariani
Using subjective views to enhance 3D applications. VRST (1997)
Gareth Smith
Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces. CSCW (1996)
Gareth Smith, Tom Rodden
SOL: A shared object toolkit for cooperative interfaces. Int. J. Hum. Comput. Stud. 42 (2) (1995)
Michael B. Twidale, David M. Nichols, Gareth Smith, Jonathan Trevor
Supporting collaborative learning during information searching. CSCL (1995)
Gareth Smith, Tom Rodden
Access as a means of configuring cooperative interfaces. COOCS (1993)