Francesco Ranzato

Identifiers

• name variant Francesco Ranzato 0.60 · backfill

Papers (13)

1. A Program Logic for Abstract (Hyper)Properties cs.LO · 2026 · author #3
2. Robustness Verification of Support Vector Machines cs.LG · 2019 · author #1
3. A Constructive Framework for Galois Connections cs.PL · 2017 · author #1
4. Abstract Interpretation of Supermodular Games cs.GT · 2015 · author #1
5. A new characterization of complete Heyting and co-Heyting algebras cs.LO · 2015 · author #1
6. An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation cs.PL · 2014 · author #3
7. An Efficient Simulation Algorithm on Kripke Structures cs.LO · 2012 · author #1
8. Correctness Kernels of Abstract Interpretations cs.PL · 2009 · author #2
9. Computing Stuttering Simulations cs.LO · 2009 · author #1
10. An efficient simulation algorithm based on abstract interpretation cs.LO · 2007 · author #1
11. Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation cs.LO · 2006 · author #1
12. Incompleteness of States w.r.t. Traces in Model Checking cs.LO · 2004 · author #2
13. Generalized Strong Preservation by Abstract Interpretation cs.LO · 2004 · author #1

Mentions

• 1212.1089 #1 · backfill · confidence 0.70 Francesco Ranzato
• 0910.4748 #2 · backfill · confidence 0.70 Francesco Ranzato
• 0904.1488 #1 · backfill · confidence 0.70 Francesco Ranzato
• 0709.4118 #1 · backfill · confidence 0.70 Francesco Ranzato

Frequent Coauthors

• Francesco Tapparo 4 shared papers
• Roberto Giacobazzi 2 shared papers
• Diletta Rigo 1 shared papers
• Francesco Logozzo 1 shared papers
• Marco Zanella 1 shared papers
• Paolo Baldan 1 shared papers
• Roberto Bruni 1 shared papers
• Stefano Dissegna 1 shared papers