Gareth Smith

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
A Trusted Mechanised Specification of JavaScript: One Year On.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
A trusted mechanised JavaScript specification.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012
Towards a program logic for JavaScript.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011
Local reasoning about Web programs.
PhD thesis, 2011

2009
Shared Genomics: High Performance Computing for distributed insights in genomic medical research.
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.
Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

2008
Local Hoare reasoning about DOM.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

DOM: Towards a Formal Specification.
Proceedings of the PLAN-X 2008, 2008

Shared Genomics: Accessible High Performance Computing for Genomic Medical Research.
Proceedings of the Fourth International Conference on e-Science, 2008

2005
Distributed Decision-Making and Control for Agile Military Radio Networks.
Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

2002
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments.
Autom. Softw. Eng., 2002

2001
An Overview of the COVEN Platform.
Presence Teleoperators Virtual Environ., 2001

The role of shared context in supporting cooperation between city visitors.
Comput. Graph., 2001

1999
The COVEN project: exploring applicative, technical and usage dimensions of collaborative virtual environments.
Presence Teleoperators Virtual Environ., 1999

The London Travel Demonstrator.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 1999

Semantic Behaviours in Collaborative Virtual Environments.
Proceedings of the 5th Eurographics Workshop on Virtual Environments, 1999

1998
WebPath - A Three-Dimensional Web History.
Proceedings of the 1998 IEEE Symposium on Information Visualization (InfoVis '98), 1998

Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes.
Proceedings of the CSCW '98, 1998

Re-coupling Tailored User Interfaces.
Proceedings of the CSCW '98, 1998

1997
Using subjective views to enhance 3D applications.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 1997

1996
Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces.
Proceedings of the CSCW '96, 1996

1995
SOL: A shared object toolkit for cooperative interfaces.
Int. J. Hum. Comput. Stud., 1995

Supporting collaborative learning during information searching.
Proceedings of the First International Conference on Computer Support for Collaborative Learning, 1995

1993
Access as a means of configuring cooperative interfaces.
Proceedings of the Conference on Organizational Computing Systems, 1993


  Loading...