DOM: Towards a Formal Specification. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PLAN-X, 2008)

Local Hoare reasoning about DOM. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PODS, 2008)

Small Specifications for Tree Update. - Philippa Gardner; Mark J. Wheelhouse (WS-FM, 2009)

Abstraction and Refinement for Local Reasoning. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (VSTTE, 2010)

Abstract Local Reasoning for Program Modules. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (CALCO, 2011)

A simple abstraction for complex concurrent indexes. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Mark J. Wheelhouse (OOPSLA, 2011)

Segment logic. - Mark James Wheelhouse (2012)

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. - Philippa Gardner; Azalea Raad; Mark J. Wheelhouse; Adam Wright (MFPS, 2014)

Quicksort Revisited - Verifying Alternative Versions of Quicksort. - Razvan Certezeanu; Sophia Drossopoulou; Benjamin Egelund-Müller; K. Rustan M. Leino; Sinduran Sivarajan; Mark J. Wheelhouse (Theory and Practice of Formal Methods, 2016)

Designing for Real People: Teaching Agility through User-Centric Service Design. - Robert Chatley; Tony Field; Mark J. Wheelhouse; Carolyn Runcie; Clive Grinyer; Nick de Leon (SEET@ICSE, 2023)