PostscriptTM rendering with virtual hardware. - Satnam Singh; John W. Patterson; Jim Burns; Michael Winston Dales (FPL, 1997)

The Proteus Processor - A Conventional CPU with Reconfigurable Functionality. - Michael Winston Dales (FPL, 1999)

Initial Analysis of the Proteus Architecture. - Michael Winston Dales (FPL, 2001)

Managing a Reconfigurable Processor in a General Purpose Workstation Environment. - Michael Winston Dales (DATE, 2003)

Managing a reconfigurable processor in a general purpose workstation environment. - Michael Winston Dales (2003)

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. - Adam Biltcliffe; Michael Dales; Sam Jansen; Tom Ridge; Peter Sewell (ICNP, 2006)

A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size. - Antonio Di Ferdinando; Paul D. Ezhilchelvan; Michael Dales; Jon Crowcroft (ISORC, 2006)

A Case for Planetary Computing. - Amelia Holcomb; Michael Dales; Patrick Ferris; Sadiq Jaffer; Thomas Swinfield; Alison Eyres; Andrew Balmford; David Coomes; Srinivasan Keshav; Anil Madhavapeddy (CoRR, 2023)

Global, robust and comparable digital carbon assets. - Sadiq Jaffer; Michael W. Dales; Patrick Ferris; Derek Sorensen; Thomas Swinfield; Robin Message; Srinivasan Keshav; Anil Madhavapeddy (ICBC, 2024)

Steps towards an Ecology for the Internet. - Anil Madhavapeddy; Sam Reynolds; Alec P. Christie; David A. Coomes; Michael W. Dales; Patrick Ferris; Ryan Gibb; Hamed Haddadi; Sadiq Jaffer; Josh Millar; Cyrus Omar; William J. Sutherland; et al. (CoRR, 2025)

Solving Package Management via Hypergraph Dependency Resolution. - Ryan Gibb; Patrick Ferris; David Allsopp; Michael Winston Dales; Mark Elvers; Thomas Gazagnaire; Sadiq Jaffer; Thomas Leonard; Jon Ludlam; Anil Madhavapeddy (CoRR, 2025)