Francesco Ranzato
Scholar

Francesco Ranzato

Google Scholar ID: NvNaBzEAAAAJ
Professor of Computer Science, University of Padova, Italy
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
763
 
H-index
14
 
i10-index
21
 
Publications
20
 
Co-authors
19
list available
Contact
CVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
2 items
A Program Logic for Abstract (Hyper)Properties
2026
Cited
0
Model Checking as Program Verification by Abstract Interpretation (Extended Version)
2025
Cited
0
Resume
Academic Achievements
  • Research Papers
Background
  • Research Interests
Miscellany
  • Teaching
Co-authors
12 total
Roberto Giacobazzi
Roberto Giacobazzi
Professor of Computer Science, University of Arizona
Francesca Scozzari
Francesca Scozzari
Associate Professor of Computer Science, Università di Chieti-Pescara
Roberto Bruni
Roberto Bruni
University of Pisa
Catuscia Palamidessi
Catuscia Palamidessi
Inria
Roberta Gori
Roberta Gori
Universita' di Pisa
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute
Caterina Urban
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
Agostino Cortesi
Agostino Cortesi
professor of Computer Science, Ca' Foscari University