Scholar
Roberta Gori
Google Scholar ID: HkC6b2EAAAAJ
Universita' di Pisa
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,046
H-index
18
i10-index
36
Publications
20
Co-authors
0
Publications
2 items
Systematic Design of Separation Logics
2026
Cited
0
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
2025
Cited
0
