Alexander John Faithfull

According to our database, Alexander John Faithfull authored at least 3 papers between 2013 and 2020.

Collaborative distances:

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

2020

ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor algorithms.

Martin Aumüller, Erik Bernhardsson, Alexander John Faithfull

Inf. Syst., 2020

2018

Coqoon - An IDE for interactive proof development in Coq.

Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink

Int. J. Softw. Tools Technol. Transf., 2018

2013

Big Red: A Development Environment for Bigraphs.

Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013