Francesco Ranzato

Cited by

	All	Since 2018
Citations	1798	403
h-index	24	11
i10-index	42	13

120

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 19 63 54 61 71 57 65 33 52 59 50 69 75 59 75 62 63 94 77 58 46 66 86 46 64 90 104 10

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-PescaraVerified email at unich.it
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Marco ZanellaUniversità degli Studi di PadovaVerified email at math.unipd.it
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Caterina UrbanINRIA & École Normale Supérieure, Paris, FranceVerified email at inria.fr
Roberta GoriUniversita' di PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Pedro ValeroMeta Platforms, Inc.Verified email at fb.com
Francesco ParoliniSorbonne UniversitéVerified email at lip6.fr
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Linpeng ZhangPhD Student, UCLVerified email at ucl.ac.uk
Abhinandan PalStudent, IIIT KalyaniVerified email at iiitkalyani.ac.in

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	284	2000
A unifying view of abstract domain design G Filé, R Giacobazzi, F Ranzato ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996	95	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	90	1997
Optimal domains for disjunctive abstract interpretation R Giacobazzi, F Ranzato Science of Computer Programming 32 (1-3), 177-210, 1998	88	1998
Refining and compressing abstract domains R Giacobazzi, F Ranzato Automata, Languages and Programming: 24th International Colloquium, ICALP'97 …, 1997	88	1997
Strong preservation as completeness in abstract interpretation F Ranzato, F Tapparo Programming Languages and Systems: 13th European Symposium on Programming …, 2004	58	2004
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato Algebraic Methodology and Software Technology: 6th International Conference …, 1997	58	1997
A new efficient simulation equivalence algorithm F Ranzato, F Tapparo 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 171-180, 2007	55	2007
Improving Abstract Interpretations by Systematic Lifting to the Powerset. G Filé, F Ranzato GULP-PRODE (1), 357-371, 1994	49	1994
The powerset operator on abstract interpretations G Filé, F Ranzato Theoretical Computer Science 222 (1-2), 77-111, 1999	44	1999
The reduced relative power operation on abstract domains R Giacobazzi, F Ranzato Theoretical Computer Science 216 (1-2), 159-211, 1999	43	1999
Weak relative pseudo-complements of closure operators R Giacobazzi, C Palamidessi, F Ranzato Algebra Universalis 36, 405-412, 1996	41	1996
Generalizing the Paige–Tarjan algorithm by abstract interpretation F Ranzato, F Tapparo Information and Computation 206 (5), 620-651, 2008	38	2008
Analyzing program analyses R Giacobazzi, F Logozzo, F Ranzato ACM SIGPLAN Notices 50 (1), 261-273, 2015	37	2015
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. R Giacobazzi, F Ranzato ILPS, 321-335, 1995	37	1995
Generalized strong preservation by abstract interpretation F Ranzato, F Tapparo Journal of Logic and Computation 17 (1), 157-197, 2007	34	2007
An efficient simulation algorithm based on abstract interpretation F Ranzato, F Tapparo Information and Computation 208 (1), 1-22, 2010	31	2010
The subgraph similarity problem L De Nardo, F Ranzato, F Tapparo IEEE Transactions on Knowledge and Data Engineering 21 (5), 748-749, 2008	30	2008
Abstract interpretation of decision tree ensemble classifiers F Ranzato, M Zanella Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5478-5486, 2020	29	2020
Complementation of abstract domains made easy M Maher MIT Press, 1996	27	1996

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