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
3 items
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
Co-author 2
Co-author 2
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