Roberto Giacobazzi
Scholar

Roberto Giacobazzi

Google Scholar ID: 8yjJnbgAAAAJ
Professor of Computer Science, University of Arizona
Abstract interpretationstatic program analysiscode protectionsecuritylattice theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,376
 
H-index
38
 
i10-index
85
 
Publications
20
 
Co-authors
45
list available
Contact
No contact links provided.
Publications
1 items
Elusive but Coverable: The Recursion-Theoretic Structure of Complete Abstract Interpretations
2026
Cited
0
Resume (English only)
Co-authors
45 total
Francesco Ranzato
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Isabella Mastroeni
Isabella Mastroeni
Computer Science Dept. - University of Verona
Co-author 3
Co-author 3
Francesca Scozzari
Francesca Scozzari
Associate Professor of Computer Science, Università di Chieti-Pescara
Roberta Gori
Roberta Gori
Universita' di Pisa
Roberto Bruni
Roberto Bruni
University of Pisa
Co-author 7
Co-author 7
Michael Codish
Michael Codish
Department of Computer Science, Ben-Gurion University of the Negev