Theoretical Computer Science

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, Bind 364. s. 1-20
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability
Kar, P. N., Roberson, D. E., Seppelt, T. & Zeman, P., 28 jan. 2026, I: Quantum. 10, 1989, 1989.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
Nielsen, C. E., Kristiansen, M. F. & Bahr, P., 12 jan. 2026, Practical Aspects of Declarative Languages . Springer, s. 39-56 18 s. (Lecture Notes in Computer Science, Bind 16401).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › 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
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Zwart, M. (Ophavsmand), ZENODO, 4 jun. 2025
DOI: 10.5281/zenodo.15593221, https://zenodo.org/records/15593221
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
4 Foredrag og mundtlige bidrag
2 Medlemskab af bedømmelsesudvalg
Mere
- 1 Redaktør af tidsskrift
- 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
25th International Joint Conference on Artificial Intelligence
Silvestri, F. (Member of Programme Committee)
2016
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

A Formal Model for Declarative Workflows - Dynamic Condition Response Graphs
Mukkamala, R. R. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 31/12/2012
Projekter: Projekt › Forskning
MaDaMS: Massive Data Mining by Sampling
Pagh, R. (PI), Stöckel, M. (CoI) & Pham, N. D. (CoI)
Danmarks Frie Forskningsfond
01/01/2011 → 31/12/2014
Projekter: Projekt › Forskning
Udlandsophold ved University of Warwick
Nielsen, N. M. S. (PI)
Stibo-Fonden
01/03/2020 → 31/07/2021
Projekter: Projekt › Forskning

Fingerprint