default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGareth Smith
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c18]Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood
:
A Trusted Mechanised Specification of JavaScript: One Year On. CAV (1) 2015: 3-10- 2014
- [c17]Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith:
A trusted mechanised JavaScript specification. POPL 2014: 87-100 - 2012
- [c16]Philippa Gardner, Sergio Maffeis, Gareth David Smith:
Towards a program logic for JavaScript. POPL 2012: 31-44 - 2011
- [b1]Gareth David Smith:
Local reasoning about Web programs. Imperial College London, UK, 2011
2000 – 2009
- 2009
- [c15]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: 1-6 - [c14]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: 232-241 - 2008
- [c13]Mark Delderfield, Lee Kitching, Gareth Smith, David C. Hoyle, Iain E. Buchan:
Shared Genomics: Accessible High Performance Computing for Genomic Medical Research. eScience 2008: 404-405 - [c12]Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty:
DOM: Towards a Formal Specification. PLAN-X 2008 - [c11]Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty:
Local Hoare reasoning about DOM. PODS 2008: 261-270 - 2005
- [c10]James Wise, Gareth Smith, John David Salt, Paul Huey, Graham Atkins:
Distributed Decision-Making and Control for Agile Military Radio Networks. DAMAS 2005: 37-50 - 2002
- [j5]Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth Smith:
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments. Autom. Softw. Eng. 9(2): 167-186 (2002) - 2001
- [j4]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): 555-562 (2001) - [j3]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): 109-127 (2001)
1990 – 1999
- 1999
- [j2]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): 218-236 (1999) - [c9]Emmanuel Frécon, Gareth Smith:
Semantic Behaviours in Collaborative Virtual Environments. EGVE 1999: 95-104 - [c8]Anthony Steed, Emmanuel Frécon, Anneli Avatare Nöu, Duncan L. Pemberton, Gareth Smith:
The London Travel Demonstrator. VRST 1999: 50-57 - 1998
- [c7]Jonathan Trevor, Tom Rodden, Gareth Smith:
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes. CSCW 1998: 119-128 - [c6]Gareth Smith, Jon O'Brien:
Re-coupling Tailored User Interfaces. CSCW 1998: 237-246 - [c5]Emmanuel Frécon, Gareth Smith:
WebPath - A Three-Dimensional Web History. INFOVIS 1998: 3-10 - 1997
- [c4]Gareth Smith, John A. Mariani:
Using subjective views to enhance 3D applications. VRST 1997: 139-146 - 1996
- [c3]Gareth Smith:
Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces. CSCW 1996: 390-398 - 1995
- [j1]Gareth Smith, Tom Rodden:
SOL: A shared object toolkit for cooperative interfaces. Int. J. Hum. Comput. Stud. 42(2): 207-234 (1995) - [c2]Michael B. Twidale, David M. Nichols, Gareth Smith, Jonathan Trevor:
Supporting collaborative learning during information searching. CSCL 1995: 367-370 - 1993
- [c1]Gareth Smith, Tom Rodden:
Access as a means of configuring cooperative interfaces. COOCS 1993: 289-298
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
