Formal Verification of a Combination Decision Procedure. - Jonathan Ford; Natarajan Shankar (CADE, 2002)

Formal Foundations of Operational Semantics. - Jonathan Ford; Ian A. Mason (High. Order Symb. Comput., 2003)

Technology Entrepreneurship in the Digital Age. - Jonathan P. Allen; T. Paul Thomas; Jonathan Ford (SIGMIS-CPR, 2019)

Assessing the Feasibility of using Augmented Reality to Visualize Interventional Radiology Imagery. - Christopher Bartlett; Noelle LeRoy; Damian Schofield; Jonathan Ford; Summer Decker (VISIGRAPP (3: IVAPP), 2020)

Framework for Remote Sensing and Modelling of Lithium-Brine Deposit Formation. - Cristian Rossi; Luke Bateson; Maral Bayaraa; Andrew Butcher; Jonathan Ford; Andrew Hughes (Remote. Sens., 2022)