Theoretical Computer Science

"AI does not understand the real world.": AI Augmented Software Development
Vigh, E., Sunesen, F. & Barkhuus, L., 2026, In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. p. 1-5 6339 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
Extract Blade Violates Secure Shot: Exquisite Corpse as a Speculative Design Method
Asadi, R., Yndigegn, S. L. & Kulyk, O., 2026, CHI 2026. Association for Computing Machinery, p. 1-5
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File
Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
Černý, M. & Seppelt, T., 2026, Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 364. p. 1-20
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

ANN Benchmarks - hfichtenberger/ann-benchmarks:
Bernhardsson, E. (Creator), Aumüller, M. (Contributor), Faithfull, A. (Contributor), Boytsov, L. (Contributor), Razenshteyn, I. (Contributor), Algorithms, A. A. (Creator), McInnes, L. (Contributor), Malkov, Y. (Creator), Erramuzpe, A. (Contributor), Frederickson, B. (Contributor), Fichtenberger, H. (Contributor) & Rohde, D. (Creator), ZENODO, 16 Oct 2018
DOI: 10.5281/zenodo.1463824, https://zenodo.org/record/1463824 and one more link, https://github.com/hfichtenberger/ann-benchmarks/tree/nips (show fewer)
Dataset: Software
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Zwart, M. (Creator), ZENODO, 4 Jun 2025
DOI: 10.5281/zenodo.15593221, https://zenodo.org/records/15593221
Dataset: Software

Best demonstration award
Lopez, H. A. (Recipient), Marquard, M. (Recipient), Muttenthaler, L. (Recipient) & Strømsted, R. (Recipient), 30 Oct 2019
Prize: Prizes, scholarships, distinctions
Best Paper Award: Best Paper at ICALP 2014, Track A: Algorithms, Complexity and Games
Husfeldt, T. (Recipient), 9 Jul 2014
Prize: Prizes, scholarships, distinctions
Best Paper Award at IPEC 2022
Bodlaender, H. (Recipient), Groenland, C. (Recipient), Jacob, H. (Recipient), Jaffke, L. (Recipient) & Thomé de Lima, P. (Recipient), 2022
Prize: Prizes, scholarships, distinctions

9 Organisation and participation in conference
5 Organisation and participation in workshop, seminar, course
4 Lecture and oral contribution
2 Membership in review committee
More
- 1 Editor of Research journal
- 1 Other (prizes, external teaching and other activities) - Prizes, scholarships, distinctions

18th International Conference on Extending Database Technology
Silvestri, F. (Participant)
23 Mar 2015 → 27 Mar 2015
Activity: Participating in or organising an event types › Organisation and participation in conference
2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Schluter, N. (Other (please specify))
1 Sept 2018 → 30 Jun 2019
Activity: Participating in or organising an event types › Organisation and participation in conference
25th International Joint Conference on Artificial Intelligence
Silvestri, F. (Member of Programme Committee)
2016
Activity: Participating in or organising an event types › Organisation and participation in conference

Fingerprint