Order, Topology, and Recursion Induction in CSP. - Mike Reed (25 Years Communicating Sequential Processes, 2004)

Integrating Theories and Techniques for Program Modelling, Design and Verification. - Bernhard K. Aichernig; Jifeng He 001; Zhiming Liu 001; Mike Reed (VSTTE, 2005)

Protocol for a factorial randomised controlled trial, embedded within WHiTE 8 COPAL, of an Enhanced Trainee Principal Investigator Package and Additional Digital Nudge to increase recruitment rates. - Nickil Agni; Caroline Fairhurst; Catriona McDaid; Mike Reed; David J. Torgerson (F1000Research, 2019)

A Survey on Ethical Principles of AI and Implementations. - Jianlong Zhou; Fang Chen 001; Adam Berry; Mike Reed; Shujia Zhang; Siobhan Savage (SSCI, 2020)

Homeostasis Patterns. - William Duncan; Fernando Antoneli; Janet Best; Martin Golubitsky; Jiaxin Jin; H. Frederik Nijhout; Mike Reed; Ian Stewart 001 (SIAM J. Appl. Dyn. Syst., 2024)