ITU
Alexander Faithfull

Alexander Faithfull

(Former)

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

1 - 4 out of 4Page size: 25
  1. Article in proceedings
  2. Published

    Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 Apr 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 316-331 15 p. (Lecture Notes in Computer Science, Vol. 9636).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  3. Published

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

    Aumüller, M., Bernhardsson, E. & Faithfull, A., 2017, International Conference on Similarity Search and Applications: SISAP 2017: Similarity Search and Applications. Springer, p. 34-49 (Lecture Notes in Computer Science, Vol. 10609).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  4. Journal article
  5. Published

    Big Red: A Development Environment for Bigraphs

    Faithfull, A. J., Perrone, G. D. & Hildebrandt, T., 28 Sep 2013, In: E A S S T Electronic Communications. 61, 5 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  6. Published

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

    Aumüller, M., Bernhardsson, E. & Faithfull, A., 2019, In: Information Systems.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

ID: 1093761