Roberto Bruni
Scholar

Roberto Bruni

Google Scholar ID: F76PiIIAAAAJ
University of Pisa
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
731
 
H-index
13
 
i10-index
26
 
Publications
20
 
Co-authors
47
list available
Contact
TwitterOpen ↗GitHubOpen ↗
Publications
4 items
Systematic Design of Separation Logics
2026
Cited
0
A Program Logic for Abstract (Hyper)Properties
2026
Cited
0
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
2025
Cited
0
Model Checking as Program Verification by Abstract Interpretation (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
47 total
Hernán Melgratti
Hernán Melgratti
Universidad de Buenos Aires
Alberto Lluch Lafuente
Alberto Lluch Lafuente
Technical University of Denmark
Fabio Gadducci
Fabio Gadducci
Professore di Informatica, Università di Pisa
Jose Meseguer
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Co-author 5
Co-author 5
Ivan Lanese
Ivan Lanese
University of Bologna
Co-author 7
Co-author 7
Co-author 8
Co-author 8