ITU
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

Research outputs (3)

  1. Published

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

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

  2. Published

    Coqoon - An IDE for Interactive Proof Development in Coq

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

  3. Published

    Big Red: A Development Environment for Bigraphs

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

Research Activities (1)

  1. Fourth International Workshop on Graph Computation Models

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

Recent activities and conferences

ID: 1093761