Marco Peressotti
Scholar

Marco Peressotti

Google Scholar ID: O9ZAc-MAAAAJ
University of Southern Denmark
Programming LanguagesConcurrency TheoryDistributed SystemsUniversal CoalgebrasChoreographic Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
564
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
39
list available
Contact
No contact links provided.
Publications
9 items
Accompanist: A Runtime for Resilient Choreographic Programming
2026
Cited
0
Type-Based Enforcement of Non-Interference for Choreographic Programming
2026
Cited
0
Towards a Higher-Order Bialgebraic Denotational Semantics
2026
Cited
0
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
2026
Cited
0
Infinite Traces by Finality: a Sheaf-Theoretic Approach
2025
Cited
0
Role, cost, and complexity of software in the real-world: a case for formal methods
2025
Cited
0
The Blind Men and the Elephant: Mapping Interdisciplinarity in Research on Decentralized Autonomous Organizations
2025
Cited
0
On Propositional Dynamic Logic and Concurrency
arXiv.org · 2024
Cited
3
Resume (English only)
Co-authors
39 total
Fabrizio Montesi
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Co-author 2
Co-author 2
Saverio Giallorenzo
Saverio Giallorenzo
Assistant Professor at Department of Computer Science and Engineering, Università di Bologna
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Alessio Mansutti
Alessio Mansutti
IMDEA Software Institute