Scholar
Fabrizio Montesi
Google Scholar ID: zRA6uA4AAAAJ
Professor of Computer Science, University of Southern Denmark
Choreographic Programming
Microservices
Concurrency Theory
Programming Languages
Session Types
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,446
H-index
33
i10-index
57
Publications
20
Co-authors
0
Publications
8 items
Library-Grade Modal Logic
2026
Cited
0
Choreographic Programming: a Semantic Approach
2026
Cited
0
Mech: Mechanised Choreographic Programming
2026
Cited
0
Accompanist: A Runtime for Resilient Choreographic Programming
2026
Cited
0
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
2026
Cited
0
Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
2026
Cited
0
CSLib: The Lean Computer Science Library
2026
Cited
0
A Promising Future: Omission Failures in Choreographic Programming
2017
Cited
3
