Scholar
Davide Sangiorgi
Google Scholar ID: Xd4KSLcAAAAJ
Professor of Computer Science, University of Bologna
Concurrency theory - Programming languages - type systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
12,418
H-index
49
i10-index
96
Publications
20
Co-authors
0
Publications
2 items
Wiring the Pi-calculus to Denotational Semantics
2026
Cited
0
First-order store and visibility in name-passing calculi
2025
Cited
0
