Publikationer pr. år
Publikationer pr. år
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Profiler
-
Maria Hicham Abed
- Datalogisk Institut, Datalogisk Institut - Instruktor
- Institut for Kommunikation - Instruktor
Person
-
Mikkel Abrahamsen
- Datalogisk Institut, Algorithms and Complexity - Lektor - forfremmelsesprogrammet
Person: VIP
Publikation
-
A LYM inequality for product measures
Yehuda, G. & Yehudayoff, A., 2026, I: Discrete Mathematics. 349, 3, 5 s., 114779.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil7 Downloads (Pure) -
CMCTS: A Constrained Monte Carlo Tree Search framework for mathematical reasoning in large language model
Lin, Q., Xu, B., Hu, G., Li, Z., Hao, Z., Zhang, K. & Cai, R., 2026, I: Applied Intelligence. 56, 1, 13.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
Contextual Equality Saturation
Drewery, A., Jensen, T. P. & Pichardie, D., 2026, Static Analysis - 32nd International Symposium, SAS 2025, Proceedings. Oh, H. & Sui, Y. (red.). Springer, s. 34-61 (Lecture Notes in Computer Science, Bind 16100 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil1 Downloads (Pure)
Presse/medier
-
Metadata: the traces you didn't know you were leaving online
Nelson, B. & Askarov, A.
08/04/2024
1 element af Mediedækning
Presse/medie
-
Forskere i kunstig intelligens: Kære minister, forestil dig et fremtidsscenario, hvor du går ned med stress
Feragen, A., Ganz-Benjaminsen, M. & Holm, S. H.
01/02/2023
1 Mediebidrag
Presse/medie
-
Fra VHS-bånd til YouTube: Sådan spreder terrorister propaganda på sociale medier i dag
06/09/2021
1 element af Mediedækning
Presse/medie
Aktiviteter
-
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Begivenhed)
Glück, R. (Medlem)
2026Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
-
Data Sprint: Følelser, smag og litterær kultur
Degn, K. N. (Arrangør), Bjerring-Hansen, J. (Arrangør), Conroy, A. (Arrangør), Hershcovich, D. (Arrangør) & Bilstrup, K.-E. K. (Arrangør)
6 nov. 2025Aktivitet: Deltagelse i arrangement eller begivenhed - typer › Organisation af og deltagelse i konference
-
Forskningsnetværk /Faglige netværk (Ekstern organisation)
Düdder, B. (Medlem)
1 apr. 2025Aktivitet: Medlemskab - typer › Medlemskab af forskningsnetværk
Priser
-
Member of the Inaugural class of ACM's Future of Computing (ACM-FCA)
Møller, N. L. H. (Modtager), 1 jun. 2017
Pris: Priser, stipendier, udnævnelser
-
HORIZON-MSCA-2023 Postdoctoral Fellowship
Pang, S. (Modtager), 1 apr. 2024
Pris: Priser, stipendier, udnævnelser
-
Best Long Paper Award
Elliott, D. (Modtager) & Bugliarello, E. (Modtager), 10 nov. 2021
Pris: Priser, stipendier, udnævnelser