RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Correctness and Incorrectness Program Logic 2023 Ranzato, F + JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
A counterexample to a result concerning closure operators 2001 RANZATO, FRANCESCO PORTUGALIAE MATHEMATICA - -
A new characterization of complete Heyting and co-Heyting algebras 2017 RANZATO, FRANCESCO LOGICAL METHODS IN COMPUTER SCIENCE - -
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Abstracting Nash equilibria of supermodular games 2018 RANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
An abstract interpretation-based model of tracing just-in-time compilation 2016 DISSEGNA, STEFANORANZATO, FRANCESCO + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
An efficient simulation algorithm based on abstract interpretation 2010 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
An efficient simulation algorithm on Kripke structures 2014 RANZATO, FRANCESCO ACTA INFORMATICA - -
A²I: abstract² interpretation 2019 COUSOT, PATRICK MARCEL PAUL MAURICEGIACOBAZZI, ROBERTORanzato, Francesco PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 2012 CRAFA, SILVIARANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
Closures on CPOs form complete lattices 1999 RANZATO, FRANCESCO INFORMATION AND COMPUTATION - -
Complementation in abstract interpretation 1997 RANZATO, FRANCESCO + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
Complete Abstractions for Checking Language Inclusion 2021 Ganty, PierreRanzato, Francesco + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Correction to "Some properties of complete congruence lattices" 2002 RANZATO, FRANCESCO + ALGEBRA UNIVERSALIS - -
Correctness kernels of abstract interpretations 2014 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
Foreword to the special issue on the 2017 Static Analysis Symposium 2019 Ranzato, Francesco FORMAL METHODS IN SYSTEM DESIGN - -
Generalized strong preservation by abstract interpretation. 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO JOURNAL OF LOGIC AND COMPUTATION - -
Generalizing the Paige-Tarjan algorithm by abstract interpretation 2008 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
History of Abstract Interpretation 2022 Ranzato F. + IEEE ANNALS OF THE HISTORY OF COMPUTING - -
Incompleteness of states w.r.t. traces in model checking 2006 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -