Formal Development of Policing Functions for Intelligent Systems. - Chris Bogdiukiewicz; Michael J. Butler; Thai Son Hoang; Martin Paxton; James Snook; Xanthippe Waldron; Toby Wilkinson (ISSRE, 2017)

Developing A New Language to Construct Algebraic Hierarchies for Event-B. - James Snook; Michael J. Butler; Thai Son Hoang (SETTA, 2018)

Constructing a new language to facilitate mathematical proofs in the Event-B context - James Snook (2020)

Numerical Modelling of a Distributed Acoustic Sensor Based on Ultra-Low Loss-Enhanced Backscattering Fibers. - Lieke Dorine van Putten; Ali Masoudi; James Snook; Gilberto Brambilla (Sensors, 2021)