Research outputs (4)

1. Published

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

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

2. 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

3. 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

View all (4) »

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