Jonathan Ford

According to our database, Jonathan Ford authored at least 5 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2020

Assessing the Feasibility of using Augmented Reality to Visualize Interventional Radiology Imagery.

Christopher Bartlett, Noelle LeRoy, Damian Schofield, Jonathan Ford, Summer Decker

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019

Technology Entrepreneurship in the Digital Age.

Jonathan P. Allen, T. Paul Thomas, Jonathan Ford

Proceedings of the 2019 on Computers and People Research Conference, 2019

2003

Formal Foundations of Operational Semantics.

Jonathan Ford, Ian A. Mason

High. Order Symb. Comput., 2003

2002

Formal Verification of a Combination Decision Procedure.

Jonathan Ford, Natarajan Shankar

Proceedings of the Automated Deduction, 2002