Statistics
Publications
3
Citations
77
H-Index
3
Active since
2008
Affiliations
Imperial College London(Current)
Mark Wheelhouse is an author at Imperial College London specializing in computing, computer science, and javascript.
Publications per year
2008–2011
3
3
Local Hoare reasoning about DOM
Philippa Gardner, Gareth Smith, Mark Wheelhouse et al. · 2008 · 42 citations
A simple abstraction for complex concurrent indexes
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds et al. · 2011 · 24 citations · Full text
DOM: Towards a Formal Specification
Philippa Gardner, Gareth Smith, Mark Wheelhouse et al. · Spiral (Imperial College London) · 2008 · 11 citations · Full text
1–3 of 3