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
Netværk
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 adgangFil236 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 adgangFil47 Downloads (Pure) -
Computing (optimal) embeddings of directed bigraphs
Chiapperini, A., Miculan, M. & Peressotti, M., 1. sep. 2022, I: Science of Computer Programming. 221, 31 s., 102842.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
Functional Choreographic Programming
Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer Science+Business Media, s. 212-237 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13572 LNCS).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Model-driven generation of microservice interfaces: From LEMMA domain models to Jolie APIs
Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2022, Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. ter Beek, M. H. & Sirjani, M. (red.). Springer Science+Business Media, s. 223-240 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13271 LNCS).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
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
Priser
-
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