Scholar
Marco Peressotti
Google Scholar ID: O9ZAc-MAAAAJ
University of Southern Denmark
Programming Languages
Concurrency Theory
Distributed Systems
Universal Coalgebras
Choreographic Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
564
H-index
13
i10-index
18
Publications
20
Co-authors
39
list available
Publications
10 items
Mech: Mechanised Choreographic Programming
2026
Cited
0
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
Load more
Co-authors
6 total
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Saverio Giallorenzo
Assistant Professor at Department of Computer Science and Engineering, Università di Bologna
Alessio Mansutti
IMDEA Software Institute
Guido Salvaneschi
Associate Professor - University of St.Gallen
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Ivan Lanese
University of Bologna
