Publikationer pr. år
Publikationer pr. år
Personlig profil
CV
N/A
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Marco Carbone er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
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
Publikation
-
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, I: Logical Methods in Computer Science. 17, 1, s. 1 20 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Security Protocols as Choreographies
Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
A Sound Algorithm for Asynchronous Session Subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, I: Leibniz International Proceedings in Informatics. 140, s. 34:1–34:16Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil -
Declarative Choreographies and Liveness
Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., jun. 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, s. 129-147 19 s. (Lecture Notes in Computer Science, Bind 11535).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, I: Distributed Computing. 31, 1, s. 51-67 17 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
Aktiviteter
-
Asynchronous Session Types – Exceptions and Multiparty Interactions
Marco Carbone (Oplægsholder)
31 aug. 2009Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
Fil -
ICE 2011 – 4th Interaction and Concurrency Experience
Marco Carbone (Member of Programme Committee)
9 jun. 2011Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Presse/medier
-
ITU-forskere vil højne sikkerheden i Whatsapp
Marco Carbone & Alessandro Bruni
02/12/2022
1 Mediebidrag
Presse/medie
-
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
21/05/2021
1 Mediebidrag
Presse/medie
-