Francesco Ranzato

Cited by

	All	Since 2019
Citations	2076	599
h-index	26	14
i10-index	50	20

200

100

150

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 25 64 56 55 68 58 62 32 51 63 50 68 74 66 76 60 67 94 77 57 46 62 86 48 60 94 111 189 96

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-PescaraVerified email at unich.it
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Roberta GoriUniversita' di PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerified email at inria.fr
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityVerified email at unive.it
Marco ZanellaUniversità degli Studi di PadovaVerified email at math.unipd.it
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Francesco ParoliniSorbonne UniversitéVerified email at lip6.fr
Pedro ValeroMeta Platforms, Inc.Verified email at fb.com
Nicolas ManiniIMDEA Software InstituteVerified email at imdea.org
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Linpeng ZhangPhD Student, UCLVerified email at ucl.ac.uk
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Marco MilaneseSorbonne University / LIP6Verified email at lip6.fr
Abhinandan PalUniversity of BirminghamVerified email at bham.ac.uk

Francesco Ranzato

Professor of Computer Science, University of Padova, Italy

Verified email at math.unipd.it - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000	307	2000
A unifying view of abstract domain design G Filé, R Giacobazzi, F Ranzato ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996	98	1996
Complementation in abstract interpretation A Cortesi, G File, F Ranzato, R Giacobazzi, C Palamidessi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 7-47, 1997	93	1997
Optimal domains for disjunctive abstract interpretation R Giacobazzi, F Ranzato Science of Computer Programming 32 (1-3), 177-210, 1998	89	1998
Refining and compressing abstract domains R Giacobazzi, F Ranzato International Colloquium on Automata, Languages, and Programming, 771-781, 1997	89	1997
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997	62	1997
Strong preservation as completeness in abstract interpretation F Ranzato, F Tapparo Programming Languages and Systems: 13th European Symposium on Programming …, 2004	59	2004
A new efficient simulation equivalence algorithm F Ranzato, F Tapparo 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 171-180, 2007	56	2007
Abstract interpretation of decision tree ensemble classifiers F Ranzato, M Zanella Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5478-5486, 2020	52	2020
Analyzing program analyses R Giacobazzi, F Logozzo, F Ranzato ACM SIGPLAN Notices 50 (1), 261-273, 2015	52	2015
The powerset operator on abstract interpretations G Filé, F Ranzato Theoretical Computer Science 222 (1-2), 77-111, 1999	49	1999
Improving Abstract Interpretations by Systematic Lifting to the Powerset. G Filé, F Ranzato GULP-PRODE (1), 357-371, 1994	49	1994
The reduced relative power operation on abstract domains R Giacobazzi, F Ranzato Theoretical Computer Science 216 (1-2), 159-211, 1999	44	1999
Weak relative pseudo-complements of closure operators R Giacobazzi, C Palamidessi, F Ranzato Algebra Universalis 36, 405-412, 1996	42	1996
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. R Giacobazzi, F Ranzato ILPS, 321-335, 1995	40	1995
Generalizing the Paige–Tarjan algorithm by abstract interpretation F Ranzato, F Tapparo Information and Computation 206 (5), 620-651, 2008	39	2008
A logic for locally complete abstract interpretations R Bruni, R Giacobazzi, R Gori, F Ranzato 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	37	2021
An efficient simulation algorithm based on abstract interpretation F Ranzato, F Tapparo Information and Computation 208 (1), 1-22, 2010	37	2010
Generalized strong preservation by abstract interpretation F Ranzato, F Tapparo Journal of Logic and Computation 17 (1), 157-197, 2007	37	2007
A²I: abstract² interpretation P Cousot, R Giacobazzi, F Ranzato Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	33	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors