Fingerprint
Samarbejde og topforskningsområder i de sidste fem år
Profiler
-
-
Raha Asadi
- Theoretical Computer Science - Ph.d.-studerende
- Center for Information Security and Trust
Person: VIP
-
Martin Aumüller
- Theoretical Computer Science - Lektor
- Algorithms
- Kandidat i Softwaredesign - Uddannelsesleder
Person: VIP
Publikation
-
"AI does not understand the real world.": AI Augmented Software Development
Vigh, E., Sunesen, F. & Barkhuus, L., 13 apr. 2026, I: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. s. 1-5 6339 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
Beyond platforms – Growing distributed transaction networks for digital commerce
Dittrich, Y., Jørgensen, K. P., Prakash, R., Rafnsson, W. & Hinrichsen, J. K., maj 2026, I: Information and Software Technology. 193, s. 1-23 23 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Classical-Quantum State Quantum Markov Chains and Finiteness
Godskesen, J. C., 2026, I: Information and Computation. 311, 105475.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Forskningsdatasæt
-
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
-
Practical Insertion-Only Convex Hull
van der Hoog, I. (Ophavsmand), Reinstädtler, H. (Ophavsmand) & Rotenberg, E. (Ophavsmand), ZENODO, 8 okt. 2025
Datasæt: Software
Priser
-
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
Aktiviteter
-
18th International Conference on Extending Database Technology
Silvestri, F. (Deltager)
23 mar. 2015 → 27 mar. 2015Aktivitet: 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. 2019Aktivitet: 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)
2016Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference
Presse/medier
-
I 1959 blev den korteste vej fra Rotterdam til Groningen fundet. I dag er det næsten umuligt at fare vild
10/06/2026
1 Mediebidrag
Presse/medie
-
-
-
QIDES: QIDES -Tensor Network algorithms in Finance and engineering
Kastoryano, M. (PI), Vinther, J. (CoI), Silva Arenstein, L. (CoI) & Loeschcke, S. (CoI)
01/05/2023 → 30/06/2024
Projekter: Projekt › Forskning
-
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
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Projekter: Projekt › Forskning