Software, Data, People & Society

Advances on data management systems
Bellatreche, L., Dumas, M., Karras, P., Matulevičius, R., Chiusano, S., Cerquitelli, T. & Wrembel, R., 2025, I: Information Systems. 127, 2 s., 102467.
Publikation: Bidrag til tidsskrift › Leder › Forskning
A Framework for the Profitable Integration of Distributed Ledger Technologies in Enterprise Networks
Gürpinar, T., Henke, M. & Düdder, B., 2025, I: Ledger. 10, s. 47-76
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
An Isabelle/HOL Framework for Synthetic Completeness Proofs
From, A. H., 2025, CPP 2025 - Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025. Stark, K., Timany, A., Blazy, S. & Tabareau, N. (red.). Association for Computing Machinery, Inc., s. 171-186 16 s.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil

3 Downloads (Pure)

Dansk Universitetspædagogisk Netværk (Ekstern organisation)
Düdder, B. (Medlem)
1 apr. 2025
Aktivitet: Medlemskab - typer › Medlemskab af forskningsnetværk
DEBS Steering Committee (Ekstern organisation)
Zhou, Y. (Medlem)
2024 → …
Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
Laboratory for Trustworthy AI (Ekstern organisation)
Düdder, B. (Medlem)
mar. 2022 → …
Aktivitet: Medlemskab - typer › Medlemskab af forskningsnetværk

Samarbejde og topforskningsområder i de sidste fem år