Scholar
Roberto Giacobazzi
Google Scholar ID: 8yjJnbgAAAAJ
Professor of Computer Science, University of Arizona
Abstract interpretation
static program analysis
code protection
security
lattice theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,376
H-index
38
i10-index
85
Publications
20
Co-authors
45
list available
Publications
1 items
Elusive but Coverable: The Recursion-Theoretic Structure of Complete Abstract Interpretations
2026
Cited
0
Co-authors
11 total
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Isabella Mastroeni
Computer Science Dept. - University of Verona
Francesca Scozzari
Associate Professor of Computer Science, Università di Chieti-Pescara
Roberta Gori
Universita' di Pisa
Roberto Bruni
University of Pisa
Michael Codish
Department of Computer Science, Ben-Gurion University of the Negev
Catuscia Palamidessi
Inria
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
