RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 94 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Constructive Framework for Galois Connections 2017 RANZATO, FRANCESCO - - -
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 forward-backward abstraction refinement algorithm 2008 RANZATO, FRANCESCOTAPPARO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008
A Logic for Locally Complete Abstract Interpretations 2021 Ranzato F. + - PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE Proceedings - Symposium on Logic in Computer Science
A more efficient simulation algorithm on Kripke structures 2013 RANZATO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13)
A new characterization of complete Heyting and co-Heyting algebras 2017 RANZATO, FRANCESCO LOGICAL METHODS IN COMPUTER SCIENCE - -
A new efficient simulation equivalence algorithm 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO - - Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
A Rice’s Theorem for Abstract Semantics 2021 Paolo BaldanFrancesco Ranzato + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
A spectrum of behavioral relations over LTSs on probability distributions 2011 CRAFA, SILVIARANZATO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Concurrency Theory - 22nd International Conference
A time and space efficient simulation algorithm 2009 RANZATO, FRANCESCO + - - Short Talk at the 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09)
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Abstract interpretation of decision tree ensemble classifiers 2020 Francesco RanzatoMarco Zanella - PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE Proceedings of the 34th AAAI Conference on Artificial Intelligence
Abstract interpretation of supermodular games 2016 RANZATO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abstract interpretation repair 2022 Ranzato, Francesco + - - PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 2023 Francesco Ranzato + - - -
Abstract Interpretation-Based Feature Importance for Support Vector Machines 2024 Ranzato F. + - LECTURE NOTES IN COMPUTER SCIENCE Proceedings of theProceedings of the 25th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'24)
Abstracting Nash equilibria of supermodular games 2018 RANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
An abstract interpretation perspective on linear vs. branching time 2005 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan
An abstract interpretation-based model of tracing just-in-time compilation 2016 DISSEGNA, STEFANORANZATO, FRANCESCO + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -