Concepedia

Gareth Smith

GS

Statistics

Publications

9

Citations

328

H-Index

9

Active since

2008

Affiliations

Imperial College London(Current)

University of Warwick

University of Chile

Universidad Católica del Norte

University of Leicester

Gareth Smith is an author at Imperial College London specializing in computing, formal methods, and computer science.

Publications per year

2008–2022

9

Publications

9

A trusted mechanised JavaScript specification

Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations

, , +10

Towards a program logic for JavaScript

Philippa Gardner, Sergio Maffeis, Gareth Smith · ACM SIGPLAN Notices · 2012 · 62 citations

, , +15

Towards a program logic for JavaScript

Philippa Gardner, Sergio Maffeis, Gareth Smith · 2012 · 48 citations

, , +15

Local Hoare reasoning about DOM

Philippa Gardner, Gareth Smith, Mark Wheelhouse et al. · 2008 · 42 citations

, , +8

SALT observations of the chromospheric activity of transiting planet hosts: mass-loss and star–planet interactions

Daniel Staab, C. A. Haswell, Gareth Smith et al. · Monthly Notices of the Royal Astronomical Society · 2016 · 31 citations · Full text

, , +16

1–5 of 9