Scholar

Fabrizio Montesi

Google Scholar ID: zRA6uA4AAAAJ

Professor of Computer Science, University of Southern Denmark

Choreographic ProgrammingMicroservicesConcurrency TheoryProgramming LanguagesSession Types

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

5,446

H-index

33

i10-index

57

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)