Gareth Smith

According to our database, Gareth Smith authored at least 24 papers between 1993 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Trusted Mechanised Specification of JavaScript: One Year On.

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

Towards a program logic for JavaScript.

Philippa Gardner, Sergio Maffeis, Gareth David Smith

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Local reasoning about Web programs.

Gareth David Smith

PhD thesis, 2011

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

Proceedings of the Healthgrid Research, Innovation and Business Case - Proceedings of HealthGrid 2009, Berlin, Germany, 29 June, 2009

Shared genomics: A platform for emerging interpretation of genetic epidemiology.

David C. Hoyle, Mark Delderfield, Lee Kitching, Gareth Smith, Peter Crowther, Iain E. Buchan

Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

2008

Local Hoare reasoning about DOM.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

DOM: Towards a Formal Specification.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the PLAN-X 2008, 2008

Shared Genomics: Accessible High Performance Computing for Genomic Medical Research.

Mark Delderfield, Lee Kitching, Gareth Smith, David C. Hoyle, Iain E. Buchan

Proceedings of the Fourth International Conference on e-Science, 2008

2005

Distributed Decision-Making and Control for Agile Military Radio Networks.

James Wise, Gareth Smith, John David Salt, Paul Huey, Graham Atkins

Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

2002

The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments.

Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth Smith

Autom. Softw. Eng., 2002

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 role of shared context in supporting cooperation between city visitors.

Keith Cheverst, Gareth Smith, Keith Mitchell, Adrian Friday, Nigel Davies

Comput. Graph., 2001

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, Mel Slater, Gareth Smith

Presence Teleoperators Virtual Environ., 1999

The London Travel Demonstrator.

Anthony Steed, Emmanuel Frécon, Anneli Avatare Nöu, Duncan L. Pemberton, Gareth Smith

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 1999

Semantic Behaviours in Collaborative Virtual Environments.

Emmanuel Frécon, Gareth Smith

Proceedings of the 5th Eurographics Workshop on Virtual Environments, 1999

1998

WebPath - A Three-Dimensional Web History.

Emmanuel Frécon, Gareth Smith

Proceedings of the 1998 IEEE Symposium on Information Visualization (InfoVis '98), 1998

Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes.

Jonathan Trevor, Tom Rodden, Gareth Smith

Proceedings of the CSCW '98, 1998

Re-coupling Tailored User Interfaces.

Gareth Smith, Jon O'Brien

Proceedings of the CSCW '98, 1998

1997

Using subjective views to enhance 3D applications.

Gareth Smith, John A. Mariani

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 1997

1996

Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces.

Gareth Smith

Proceedings of the CSCW '96, 1996

1995

SOL: A shared object toolkit for cooperative interfaces.

Gareth Smith, Tom Rodden

Int. J. Hum. Comput. Stud., 1995

Supporting collaborative learning during information searching.

Michael B. Twidale, David M. Nichols, Gareth Smith, Jonathan Trevor

Proceedings of the First International Conference on Computer Support for Collaborative Learning, 1995

1993

Access as a means of configuring cooperative interfaces.

Gareth Smith, Tom Rodden

Proceedings of the Conference on Organizational Computing Systems, 1993