Follow
Francesco Ranzato
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Verified email at math.unipd.it - Homepage
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
2842000
A unifying view of abstract domain design
G FilÚ, R Giacobazzi, F Ranzato
ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996
951996
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
901997
Optimal domains for disjunctive abstract interpretation
R Giacobazzi, F Ranzato
Science of Computer Programming 32 (1-3), 177-210, 1998
881998
Refining and compressing abstract domains
R Giacobazzi, F Ranzato
Automata, Languages and Programming: 24th International Colloquium, ICALP'97á…, 1997
881997
Strong preservation as completeness in abstract interpretation
F Ranzato, F Tapparo
Programming Languages and Systems: 13th European Symposium on Programmingá…, 2004
582004
Completeness in abstract interpretation: A domain perspective
R Giacobazzi, F Ranzato
Algebraic Methodology and Software Technology: 6th International Conferenceá…, 1997
581997
A new efficient simulation equivalence algorithm
F Ranzato, F Tapparo
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 171-180, 2007
552007
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
G FilÚ, F Ranzato
GULP-PRODE (1), 357-371, 1994
491994
The powerset operator on abstract interpretations
G FilÚ, F Ranzato
Theoretical Computer Science 222 (1-2), 77-111, 1999
441999
The reduced relative power operation on abstract domains
R Giacobazzi, F Ranzato
Theoretical Computer Science 216 (1-2), 159-211, 1999
431999
Weak relative pseudo-complements of closure operators
R Giacobazzi, C Palamidessi, F Ranzato
Algebra Universalis 36, 405-412, 1996
411996
Generalizing the Paige–Tarjan algorithm by abstract interpretation
F Ranzato, F Tapparo
Information and Computation 206 (5), 620-651, 2008
382008
Analyzing program analyses
R Giacobazzi, F Logozzo, F Ranzato
ACM SIGPLAN Notices 50 (1), 261-273, 2015
372015
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.
R Giacobazzi, F Ranzato
ILPS, 321-335, 1995
371995
Generalized strong preservation by abstract interpretation
F Ranzato, F Tapparo
Journal of Logic and Computation 17 (1), 157-197, 2007
342007
An efficient simulation algorithm based on abstract interpretation
F Ranzato, F Tapparo
Information and Computation 208 (1), 1-22, 2010
312010
The subgraph similarity problem
L De Nardo, F Ranzato, F Tapparo
IEEE Transactions on Knowledge and Data Engineering 21 (5), 748-749, 2008
302008
Abstract interpretation of decision tree ensemble classifiers
F Ranzato, M Zanella
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5478-5486, 2020
292020
Complementation of abstract domains made easy
M Maher
MIT Press, 1996
271996
The system can't perform the operation now. Try again later.
Articles 1–20