Statistics
Publications
27
Citations
997
H-Index
19
Active since
1994
Francesco Ranzato is an author at University of Padua specializing in computer science, computing, and abstract interpretation.
Publications per year
1994–2023
27
27
Making abstract interpretations complete
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · Journal of the ACM · 2000 · 253 citations · Full text
A New Efficient Simulation Equivalence Algorithm
Francesco Ranzato, Francesco Tapparo · 2007 · 45 citations · Full text
Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato · 2014 · 43 citations · Full text
1–5 of 27