Alexander John Faithfull

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 5

Top Topics

Development Process

Development Environments

Top Venues

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

Int. J. Softw. Tools Technol. Transf.

Publications

Martin Aumüller, Erik Bernhardsson, Alexander John Faithfull
ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor algorithms. Inf. Syst. 87 (2020)
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
Coqoon - An IDE for interactive proof development in Coq. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Martin Aumüller, Erik Bernhardsson, Alexander John Faithfull
ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms. CoRR (2018)
Martin Aumüller, Erik Bernhardsson, Alexander John Faithfull
ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms. SISAP (2017)
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
Coqoon - An IDE for Interactive Proof Development in Coq. TACAS (2016)
Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt
Big Red: A Development Environment for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)