Giovanni Bernardi
Scholar

Giovanni Bernardi

Google Scholar ID: hEunXYQAAAAJ
Assistant professor, Université Paris Diderot - Paris VII
Semantics of programming languagesconcurrencytype theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
470
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
2 items
A uniform characterisation of the (a)synchronous must-preorder
2026
Cited
0
Role, cost, and complexity of software in the real-world: a case for formal methods
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Ornela Dardha
Ornela Dardha
Senior Lecturer (Associate Professor) at the School of Computing Science, University of Glasgow
Co-author 5
Co-author 5
Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia