Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskningsområder
- Programmeringssprog og formelle modeller
- Metoder til softwareudvikling
Fingeraftryk
Fingeraftryk dannes ud fra videnskabelige udgivelser og skaber et indeks med vægtede emneord for hver enkelt forsker.
- 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
Publikationer
-
Better Late Than Never: A Fully-abstract Semantics for Classical Processes
Kokke, W., Montesi, F. & Peressotti, M., 1. jan. 2019, I: Proceedings of the ACM on Programming Languages. 3, POPL, s. 24:1-24:29 29 s., 24.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil248 Downloads (Pure) -
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. feb. 2019, I: Logical Methods in Computer Science. 15, 1, s. 17:1-17:41 41 s., 17.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil49 Downloads (Pure) -
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 adgangFil8 Downloads (Pure) -
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
-
Cybersikkerhed i forsyningskæden: Hvor piv-åben er din virksomhed?
Stentoft, J., Schmitt, O., Peressotti, M. & Theussen, A., 9. nov. 2023, I: Jysk Fynske Medier, Erhverv +. s. 21 1 s.Publikation: Bidrag til tidsskrift › Bidrag til avis - Kronik
Åben adgangFil8 Downloads (Pure)
Aktiviteter
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
Choreographies as objects: programming multiparty protocols with Choral
Marco Peressotti (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
Introduction to Formal Methods
Marco Peressotti (Underviser)
26. aug. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Underviser)
25. feb. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
University of Glasgow
Marco Peressotti (Gæsteforsker)
23. feb. 2020 → 29. feb. 2020Aktivitet: Gæsteophold ved andre institutioner
Projekter
- 1 Igangværende
-
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
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
-
Distinguished Paper Award
Giallorenzo, Saverio (Modtager), Montesi, Fabrizio (Modtager), Peressotti, Marco (Modtager), Salvaneschi, Guido (Modtager), Weisenburger, Pascal (Modtager) & Richter, David (Modtager), 2021
Pris: Priser, stipendier, udnævnelser
Forskningsdatasæ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