Roberto Giacobazzi
Author
Alternate names Roberto Giacobazzi, Roberto Giacobazzi Giacobazzi, R. Giacobazzi
Institution University of Arizona
Past institutions University of Arizona, University of Verona, IMDEA Software, Madrid Institute for Advanced Studies, University of Padua +5 more
ORCID: Yes
H-index: 29
I10-index: 76
Works count: 185
Citations count: 2,927
Making abstract interpretations complete
2000 · Roberto Giacobazzi, Francesco Ranzato, et al. · Journal of the ACM
Abstract non-interference
2004 · Roberto Giacobazzi, Isabella Mastroeni
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
2001 · Roberto Giacobazzi, Elisa Quintarelli · Lecture notes in computer science