pith. sign in

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

  • 1507.01423 #1 · backfill · confidence 0.70 Francesco Ranzato
  • 1504.03919 #1 · backfill · confidence 0.70 Francesco Ranzato
  • 1411.7839 #3 · backfill · confidence 0.70 Francesco Ranzato
  • 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