Alexander John Faithfull

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

Collaborative distances:

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

2017

ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms.

Martin Aumüller, Erik Bernhardsson, Alexander John Faithfull

Proceedings of the Similarity Search and Applications - 10th International Conference, 2017

2016

Coqoon - An IDE for Interactive Proof Development in Coq.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2013

Big Red: A Development Environment for Bigraphs.

Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt

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