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 (English only)
Academic Achievements
  • Research Papers
Background
  • Research Interests
Miscellany
  • Teaching
Co-authors
19 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Roberto Bruni
Roberto Bruni
University of Pisa
Catuscia Palamidessi
Catuscia Palamidessi
Inria
Co-author 6
Co-author 6
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute
Co-author 8
Co-author 8