Scholar
Roberto Bruni
Google Scholar ID: F76PiIIAAAAJ
University of Pisa
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
731
H-index
13
i10-index
26
Publications
20
Co-authors
47
list available
Contact
Twitter
Open ↗
GitHub
Open ↗
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
Co-authors
11 total
Hernán Melgratti
Universidad de Buenos Aires
Alberto Lluch Lafuente
Technical University of Denmark
Fabio Gadducci
Professore di Informatica, Università di Pisa
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Ivan Lanese
University of Bologna
Paolo Baldan
Professor of Computer Science, University of Padova
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Pawel Sobocinski
Tallinn University of Technology #TalTechSoftSci
