Theoretical Computer Science

High-dimensional density-based clustering using locality-sensitive hashing
Okkels, C. B., Aumüller, M., Thomsen, V. B. & Zimek, A., 2025, EDBT 2025. s. 694-706 13 s.
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Homomorphism Tensors and Linear Equations
Grohe, M., Rattan, G. & Seppelt, T., 2 apr. 2025, I: Advances in Combinatorics.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPL
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil

ANN Benchmarks - hfichtenberger/ann-benchmarks:
Bernhardsson, E. (Ophavsmand), Aumüller, M. (Bidrager), Faithfull, A. (Bidrager), Boytsov, L. (Bidrager), Razenshteyn, I. (Bidrager), Algorithms, A. A. (Ophavsmand), McInnes, L. (Bidrager), Malkov, Y. (Ophavsmand), Erramuzpe, A. (Bidrager), Frederickson, B. (Bidrager), Fichtenberger, H. (Bidrager) & Rohde, D. (Ophavsmand), ZENODO, 16 okt. 2018
DOI: 10.5281/zenodo.1463824, https://zenodo.org/record/1463824 og et link mere, https://github.com/hfichtenberger/ann-benchmarks/tree/nips (vis færre)
Datasæt: Software
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software

Best demonstration award
Lopez, H. A. (Modtager), Marquard, M. (Modtager), Muttenthaler, L. (Modtager) & Strømsted, R. (Modtager), 30 okt. 2019
Pris: Priser, stipendier, udnævnelser
Best Paper Award: Best Paper at ICALP 2014, Track A: Algorithms, Complexity and Games
Husfeldt, T. (Modtager), 9 jul. 2014
Pris: Priser, stipendier, udnævnelser
Best Paper Award at IPEC 2022
Bodlaender, H. (Modtager), Groenland, C. (Modtager), Jacob, H. (Modtager), Jaffke, L. (Modtager) & Thomé de Lima, P. (Modtager), 2022
Pris: Priser, stipendier, udnævnelser

9 Organisation og deltagelse i konference
5 Organisation og deltagelse i workshop, seminar og kursus
3 Foredrag og mundtlige bidrag
2 Medlemskab af bedømmelsesudvalg
Mere
- 1 Andet (priser, ekstern undervisning samt andet). - Priser, stipendier, udnævnelser

18th International Conference on Extending Database Technology
Silvestri, F. (Deltager)
23 mar. 2015 → 27 mar. 2015
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference
2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Schluter, N. (Other (please specify))
1 sep. 2018 → 30 jun. 2019
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference
23rd European Symposium on Algorithms
Silvestri, F. (Member of Programme Committee)
2015
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

BARC2 : Basic Algorithms Research Copenhagen
Husfeldt, T. (PI), Limaye, N. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI) & Hansen, M. R. D. (CoI)
Villum Fonden
01/01/2024 → 31/12/2029
Projekter: Projekt › Forskning
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Projekter: Projekt › Forskning
De Danske Cybermesterskaber 2022-24
Bruni, A. (PI)
Industriens Fond
01/11/2021 → 31/10/2024
Projekter: Projekt › Forskning

Fingerprint