Publikationer pr. år
Publikationer pr. år
Fingerprint
Dyk ned i forskningsemnerne, hvor Concurrency er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.
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
-
Magnus Victor Boock
- Institut for Matematik og Datalogi - Instruktor
- Concurrency - Studentermedhjælper
Person: TAP, VIP
-
Luís Cruz-Filipe
- Institut for Matematik og Datalogi
- Concurrency - Lektor
- SDU Climate Cluster - Lektor
Person: VIP
-
Sofia Kostopoulou
- Institut for Matematik og Datalogi
- Concurrency - Ph.d.-studerende
- Digital Democracy Centre - VIP
Person: VIP
Publikationer
-
A Formal Theory of Choreographic Programming
Cruz-Filipe, L., Montesi, F. & Peressotti, M., maj 2023, I: Journal of Automated Reasoning. 67, 2, 34 s., 21.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil3 Downloads (Pure) -
Awareness, Intention, (In)Action: Individuals’ Reactions to Data Breaches
Mayer, P., Zou, Y., Lowens, B. M., Dyer, H. A., Le, K., Schaub, F. & Aviv, A. J., 17. apr. 2023, (E-pub ahead of print) I: ACM Transactions on Computer-Human Interaction.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Certified Compilation of Choreographies with hacc
Cruz-Filipe, L., Lugović, L. & Montesi, F., 2023, Formal Techniques for Distributed Objects, Components, and Systems. Huisman, M. & Ravara, A. (red.). Springer Science+Business Media, s. 29-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13910 LNCS).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Choreographic Programming in Coq
Rasmussen, R. R., Cruz-Filipe, L., Montesi, F., Lugovic, L. & Peressotti, M., jun. 2023, s. 73-76. 4 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
-
Introduction to Choreographies
Montesi, F., maj 2023, Cambridge University Press. 253 s.Publikation: Bog/rapport › Monografi › Forskning
Aktiviteter
- 1 Medlemskab af forskningsnetværk eller ekspertgruppe
-
Applied Computer Security Associates (Ekstern organisation)
Peter Mayer (Medlem)
dec. 2022 → …Aktivitet: Medlemskab › Medlemskab af forskningsnetværk eller ekspertgruppe
-
TrygFonden - Digital Security Behavior
Sohn, S., Mayer, P., Schnittka, O. & Siemon, D.
01/01/2024 → 31/12/2027
Projekter: Projekt › Private fonde
-
Villum Fonden - X-IDF: Explainable Internet Data Flows
02/09/2022 → 02/09/2026
Projekter: Projekt › Private fonde
-
Cybersikkerhed og Forretningskontinuitet
Stentoft, J., Mikkelsen, O. S., Schmitt, O., Keating, V., Theussen, A., Peressotti, M., Mayer, P., Montesi, F. & Unwerawattana, N.
01/09/2023 → 28/02/2026
Projekter: Projekt › Forskning
-
MSc thesis on Distributed/SAGA Transactions - Foreningen Bankdata
01/09/2023 → 01/06/2024
Projekter: Projekt › Private fonde
-
Uddannelses- og Forskningsministeriet - Innovationsfonden - Grand Solutions - DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems - DIREC
01/11/2022 → 31/12/2023
Projekter: Projekt › Danske forskningsråd
Presse/medier
-
-
-
-
-
Nye uddannelser skal sikre virksomhederne eftertragtet arbejdskraft
04/09/2023
1 Mediebidrag
Presse/medie
Priser
-
Best Artefact Award
Giallorenzo, Saverio (Modtager), Montesi, Fabrizio (Modtager), Peressotti, Marco (Modtager), Rademacher, Florian (Modtager) & Unwerawattana, Narongrit (Modtager), 22. jun. 2023
Pris: Priser, stipendier, udnævnelser
Forskningsdatasæt
-
Keep me out of the loop: a more flexible choreographic projection
Cruz-Filipe, L. (Ophavsmand), Montesi, F. (Ophavsmand) & Robert, R. (Ophavsmand), Zenodo, 17. mar. 2023
Datasæt
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Ophavsmand), Montesi, F. (Ophavsmand) & Peressotti, M. (Ophavsmand), Zenodo, 5. sep. 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Datasæt