Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Francesco Ranzato
@inproceedings{DBLP:conf/vmcai/PalRUZ24, author = {Abhinandan Pal and Francesco Ranzato and Caterina Urban and Marco Zanella}, editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff}, title = {Abstract Interpretation-Based Feature Importance for Support Vector Machines}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14499}, pages = {27--49}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-50524-9\_2}, doi = {10.1007/978-3-031-50524-9\_2}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/PalRUZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BruniGGR23, author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato}, title = {A Correctness and Incorrectness Program Logic}, journal = {J. {ACM}}, volume = {70}, number = {2}, pages = {15:1--15:45}, year = {2023}, url = {https://doi.org/10.1145/3582267}, doi = {10.1145/3582267}, timestamp = {Thu, 11 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BruniGGR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdm/FassinaRZ23, author = {Nicol{\`{o}} Fassina and Francesco Ranzato and Marco Zanella}, editor = {Guihai Chen and Latifur Khan and Xiaofeng Gao and Meikang Qiu and Witold Pedrycz and Xindong Wu}, title = {Robustness Certification of k-Nearest Neighbors}, booktitle = {{IEEE} International Conference on Data Mining, {ICDM} 2023, Shanghai, China, December 1-4, 2023}, pages = {110--119}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICDM58522.2023.00020}, doi = {10.1109/ICDM58522.2023.00020}, timestamp = {Tue, 13 Feb 2024 11:46:18 +0100}, biburl = {https://dblp.org/rec/conf/icdm/FassinaRZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/annals/GiacobazziR22, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {History of Abstract Interpretation}, journal = {{IEEE} Ann. Hist. Comput.}, volume = {44}, number = {2}, pages = {33--43}, year = {2022}, url = {https://doi.org/10.1109/MAHC.2021.3133136}, doi = {10.1109/MAHC.2021.3133136}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/annals/GiacobazziR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanRZ22, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, title = {Intensional Kleene and Rice theorems for abstract program semantics}, journal = {Inf. Comput.}, volume = {289}, number = {Part}, pages = {104953}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104953}, doi = {10.1016/J.IC.2022.104953}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanRZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BruniGGR22, author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato}, editor = {Ranjit Jhala and Isil Dillig}, title = {Abstract interpretation repair}, booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, pages = {426--441}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3519939.3523453}, doi = {10.1145/3519939.3523453}, timestamp = {Fri, 03 Jun 2022 08:25:37 +0200}, biburl = {https://dblp.org/rec/conf/pldi/BruniGGR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MilaneseR22, author = {Marco Milanese and Francesco Ranzato}, editor = {Gagandeep Singh and Caterina Urban}, title = {Local Completeness Logic on Kleene Algebra with Tests}, booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13790}, pages = {350--371}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-22308-2\_16}, doi = {10.1007/978-3-031-22308-2\_16}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/MilaneseR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-11804, author = {Pierre Ganty and Nicolas Manini and Francesco Ranzato}, title = {Online Simulation Reduction}, journal = {CoRR}, volume = {abs/2204.11804}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.11804}, doi = {10.48550/ARXIV.2204.11804}, eprinttype = {arXiv}, eprint = {2204.11804}, timestamp = {Thu, 28 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-11804.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-08128, author = {Marco Milanese and Francesco Ranzato}, title = {Local Completeness Logic on Kleene Algebra with Tests}, journal = {CoRR}, volume = {abs/2205.08128}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.08128}, doi = {10.48550/ARXIV.2205.08128}, eprinttype = {arXiv}, eprint = {2205.08128}, timestamp = {Mon, 23 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-08128.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-12456, author = {Abhinandan Pal and Francesco Ranzato and Caterina Urban and Marco Zanella}, title = {Abstract Interpretation-Based Feature Importance for SVMs}, journal = {CoRR}, volume = {abs/2210.12456}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.12456}, doi = {10.48550/ARXIV.2210.12456}, eprinttype = {arXiv}, eprint = {2210.12456}, timestamp = {Fri, 28 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-12456.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GantyRV21, author = {Pierre Ganty and Francesco Ranzato and Pedro Valero}, title = {Complete Abstractions for Checking Language Inclusion}, journal = {{ACM} Trans. Comput. Log.}, volume = {22}, number = {4}, pages = {22:1--22:40}, year = {2021}, url = {https://doi.org/10.1145/3462673}, doi = {10.1145/3462673}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/GantyRV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/RanzatoUZ21, author = {Francesco Ranzato and Caterina Urban and Marco Zanella}, editor = {Gianluca Demartini and Guido Zuccon and J. Shane Culpepper and Zi Huang and Hanghang Tong}, title = {Fairness-Aware Training of Decision Trees by Abstract Interpretation}, booktitle = {{CIKM} '21: The 30th {ACM} International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021}, pages = {1508--1517}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3459637.3482342}, doi = {10.1145/3459637.3482342}, timestamp = {Tue, 16 Aug 2022 23:04:38 +0200}, biburl = {https://dblp.org/rec/conf/cikm/RanzatoUZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DoveriGPR21, author = {Kyveli Doveri and Pierre Ganty and Francesco Parolini and Francesco Ranzato}, editor = {Serge Haddad and Daniele Varacca}, title = {Inclusion Testing of B{\"{u}}chi Automata Based on Well-Quasiorders}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {3:1--3:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.3}, doi = {10.4230/LIPICS.CONCUR.2021.3}, timestamp = {Fri, 13 Aug 2021 16:29:32 +0200}, biburl = {https://dblp.org/rec/conf/concur/DoveriGPR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/RanzatoZ21, author = {Francesco Ranzato and Marco Zanella}, editor = {Francisco Chicano and Krzysztof Krawiec}, title = {Genetic adversarial training of decision trees}, booktitle = {{GECCO} '21: Genetic and Evolutionary Computation Conference, Lille, France, July 10-14, 2021}, pages = {358--367}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3449639.3459286}, doi = {10.1145/3449639.3459286}, timestamp = {Thu, 24 Jun 2021 08:56:59 +0200}, biburl = {https://dblp.org/rec/conf/gecco/RanzatoZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BaldanRZ21, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, editor = {Nikhil Bansal and Emanuela Merelli and James Worrell}, title = {A Rice's Theorem for Abstract Semantics}, booktitle = {48th International Colloquium on Automata, Languages, and Programming, {ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)}, series = {LIPIcs}, volume = {198}, pages = {117:1--117:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.117}, doi = {10.4230/LIPICS.ICALP.2021.117}, timestamp = {Tue, 15 Feb 2022 07:54:27 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BaldanRZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BruniGGR21, author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato}, title = {A Logic for Locally Complete Abstract Interpretations}, booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021}, pages = {1--13}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/LICS52264.2021.9470608}, doi = {10.1109/LICS52264.2021.9470608}, timestamp = {Fri, 09 Jul 2021 14:04:16 +0200}, biburl = {https://dblp.org/rec/conf/lics/BruniGGR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-00909, author = {Francesco Ranzato and Caterina Urban and Marco Zanella}, title = {Fair Training of Decision Tree Classifiers}, journal = {CoRR}, volume = {abs/2101.00909}, year = {2021}, url = {https://arxiv.org/abs/2101.00909}, eprinttype = {arXiv}, eprint = {2101.00909}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-00909.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14579, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, title = {A Rice's Theorem for Abstract Semantics}, journal = {CoRR}, volume = {abs/2105.14579}, year = {2021}, url = {https://arxiv.org/abs/2105.14579}, eprinttype = {arXiv}, eprint = {2105.14579}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14579.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/RanzatoZ20, author = {Francesco Ranzato and Marco Zanella}, title = {Abstract Interpretation of Decision Tree Ensemble Classifiers}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {5478--5486}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i04.5998}, doi = {10.1609/AAAI.V34I04.5998}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/RanzatoZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Ranzato20, author = {Francesco Ranzato}, editor = {Igor Konnov and Laura Kov{\'{a}}cs}, title = {Decidability and Synthesis of Abstract Inductive Invariants}, booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)}, series = {LIPIcs}, volume = {171}, pages = {30:1--30:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.30}, doi = {10.4230/LIPICS.CONCUR.2020.30}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Ranzato20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-03170, author = {Francesco Ranzato}, title = {Decidability and Synthesis of Abstract Inductive Invariants}, journal = {CoRR}, volume = {abs/2004.03170}, year = {2020}, url = {https://arxiv.org/abs/2004.03170}, eprinttype = {arXiv}, eprint = {2004.03170}, timestamp = {Wed, 08 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-03170.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-11352, author = {Francesco Ranzato and Marco Zanella}, title = {Genetic Adversarial Training of Decision Trees}, journal = {CoRR}, volume = {abs/2012.11352}, year = {2020}, url = {https://arxiv.org/abs/2012.11352}, eprinttype = {arXiv}, eprint = {2012.11352}, timestamp = {Mon, 04 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-11352.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Ranzato19, author = {Francesco Ranzato}, title = {Foreword to the special issue on the 2017 Static Analysis Symposium}, journal = {Formal Methods Syst. Des.}, volume = {54}, number = {1}, pages = {1--3}, year = {2019}, url = {https://doi.org/10.1007/s10703-019-00340-1}, doi = {10.1007/S10703-019-00340-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Ranzato19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CousotGR19, author = {Patrick Cousot and Roberto Giacobazzi and Francesco Ranzato}, title = {A{\({^2}\)}I: abstract{\({^2}\)} interpretation}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {42:1--42:31}, year = {2019}, url = {https://doi.org/10.1145/3290355}, doi = {10.1145/3290355}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CousotGR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/RanzatoZ19, author = {Francesco Ranzato and Marco Zanella}, editor = {Nicola Gigante and Federico Mari and Andrea Orlandini}, title = {Robustness Verification of Decision Tree Ensembles}, booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2509}, pages = {59--64}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2509/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/RanzatoZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GantyR019, author = {Pierre Ganty and Francesco Ranzato and Pedro Valero}, editor = {Bor{-}Yuh Evan Chang}, title = {Language Inclusion Algorithms as Complete Abstract Interpretations}, booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11822}, pages = {140--161}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32304-2\_8}, doi = {10.1007/978-3-030-32304-2\_8}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GantyR019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/RanzatoZ19, author = {Francesco Ranzato and Marco Zanella}, editor = {Bor{-}Yuh Evan Chang}, title = {Robustness Verification of Support Vector Machines}, booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11822}, pages = {271--295}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32304-2\_14}, doi = {10.1007/978-3-030-32304-2\_14}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/RanzatoZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-01388, author = {Pierre Ganty and Francesco Ranzato and Pedro Valero}, title = {Complete Abstractions for Checking Language Inclusion}, journal = {CoRR}, volume = {abs/1904.01388}, year = {2019}, url = {http://arxiv.org/abs/1904.01388}, eprinttype = {arXiv}, eprint = {1904.01388}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-01388.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-11803, author = {Francesco Ranzato and Marco Zanella}, title = {Robustness Verification of Support Vector Machines}, journal = {CoRR}, volume = {abs/1904.11803}, year = {2019}, url = {http://arxiv.org/abs/1904.11803}, eprinttype = {arXiv}, eprint = {1904.11803}, timestamp = {Thu, 02 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-11803.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Ranzato18, author = {Francesco Ranzato}, title = {Abstracting Nash equilibria of supermodular games}, journal = {Formal Methods Syst. Des.}, volume = {53}, number = {2}, pages = {259--285}, year = {2018}, url = {https://doi.org/10.1007/s10703-017-0291-x}, doi = {10.1007/S10703-017-0291-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Ranzato18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CousotGR18, author = {Patrick Cousot and Roberto Giacobazzi and Francesco Ranzato}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Program Analysis Is Harder Than Verification: {A} Computability Perspective}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {75--95}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_8}, doi = {10.1007/978-3-319-96142-2\_8}, timestamp = {Fri, 09 Apr 2021 18:35:26 +0200}, biburl = {https://dblp.org/rec/conf/cav/CousotGR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/RanzatoZ18, author = {Francesco Ranzato and Marco Zanella}, editor = {Andreas Podelski}, title = {Invertible Linear Transforms of Numerical Abstract Domains}, booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg, Germany, August 29-31, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11002}, pages = {344--363}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99725-4\_21}, doi = {10.1007/978-3-319-99725-4\_21}, timestamp = {Mon, 28 Aug 2023 21:17:53 +0200}, biburl = {https://dblp.org/rec/conf/sas/RanzatoZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Ranzato18, author = {Francesco Ranzato}, editor = {Isil Dillig and Jens Palsberg}, title = {On Constructivity of Galois Connections}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10747}, pages = {452--473}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-73721-8\_21}, doi = {10.1007/978-3-319-73721-8\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/Ranzato18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Ranzato17, author = {Francesco Ranzato}, title = {A new characterization of complete Heyting and co-Heyting algebras}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {3}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(3:25)2017}, doi = {10.23638/LMCS-13(3:25)2017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Ranzato17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/2017, editor = {Francesco Ranzato}, title = {Static Analysis - 24th International Symposium, {SAS} 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10422}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66706-5}, doi = {10.1007/978-3-319-66706-5}, isbn = {978-3-319-66705-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Ranzato17, author = {Francesco Ranzato}, title = {A Constructive Framework for Galois Connections}, journal = {CoRR}, volume = {abs/1704.08909}, year = {2017}, url = {http://arxiv.org/abs/1704.08909}, eprinttype = {arXiv}, eprint = {1704.08909}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Ranzato17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/DissegnaLR16, author = {Stefano Dissegna and Francesco Logozzo and Francesco Ranzato}, title = {An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {38}, number = {2}, pages = {7:1--7:50}, year = {2016}, url = {https://doi.org/10.1145/2853131}, doi = {10.1145/2853131}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/DissegnaLR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Ranzato16, author = {Francesco Ranzato}, editor = {Xavier Rival}, title = {Abstract Interpretation of Supermodular Games}, booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh, UK, September 8-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9837}, pages = {403--423}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-53413-7\_20}, doi = {10.1007/978-3-662-53413-7\_20}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/Ranzato16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GiacobazziLR15, author = {Roberto Giacobazzi and Francesco Logozzo and Francesco Ranzato}, editor = {Sriram K. Rajamani and David Walker}, title = {Analyzing Program Analyses}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {261--273}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2676987}, doi = {10.1145/2676726.2676987}, timestamp = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/GiacobazziLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Ranzato15, author = {Francesco Ranzato}, title = {A new characterization of complete Heyting and co-Heyting algebras}, journal = {CoRR}, volume = {abs/1504.03919}, year = {2015}, url = {http://arxiv.org/abs/1504.03919}, eprinttype = {arXiv}, eprint = {1504.03919}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Ranzato15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Ranzato15a, author = {Francesco Ranzato}, title = {Abstract Interpretation of Supermodular Games}, journal = {CoRR}, volume = {abs/1507.01423}, year = {2015}, url = {http://arxiv.org/abs/1507.01423}, eprinttype = {arXiv}, eprint = {1507.01423}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Ranzato15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Ranzato14, author = {Francesco Ranzato}, title = {An efficient simulation algorithm on Kripke structures}, journal = {Acta Informatica}, volume = {51}, number = {2}, pages = {107--125}, year = {2014}, url = {https://doi.org/10.1007/s00236-014-0195-9}, doi = {10.1007/S00236-014-0195-9}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Ranzato14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GiacobazziR14, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Correctness kernels of abstract interpretations}, journal = {Inf. Comput.}, volume = {237}, pages = {187--203}, year = {2014}, url = {https://doi.org/10.1016/j.ic.2014.02.003}, doi = {10.1016/J.IC.2014.02.003}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GiacobazziR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/CrafaR14, author = {Silvia Crafa and Francesco Ranzato}, title = {Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions}, journal = {{ACM} Trans. Comput. Log.}, volume = {16}, number = {1}, pages = {2:1--2:24}, year = {2014}, url = {https://doi.org/10.1145/2641566}, doi = {10.1145/2641566}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/CrafaR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DissegnaLR14, author = {Stefano Dissegna and Francesco Logozzo and Francesco Ranzato}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Tracing compilation by abstract interpretation}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {47--60}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535866}, doi = {10.1145/2535838.2535866}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/DissegnaLR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DissegnaLR14, author = {Stefano Dissegna and Francesco Logozzo and Francesco Ranzato}, title = {An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation}, journal = {CoRR}, volume = {abs/1411.7839}, year = {2014}, url = {http://arxiv.org/abs/1411.7839}, eprinttype = {arXiv}, eprint = {1411.7839}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DissegnaLR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Ranzato13, author = {Francesco Ranzato}, editor = {Krishnendu Chatterjee and Jir{\'{\i}} Sgall}, title = {A More Efficient Simulation Algorithm on Kripke Structures}, booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8087}, pages = {753--764}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40313-2\_66}, doi = {10.1007/978-3-642-40313-2\_66}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Ranzato13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Ranzato13, author = {Francesco Ranzato}, editor = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni}, title = {Complete Abstractions Everywhere}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7737}, pages = {15--26}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35873-9\_3}, doi = {10.1007/978-3-642-35873-9\_3}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/Ranzato13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CrafaR12, author = {Silvia Crafa and Francesco Ranzato}, title = {Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation}, journal = {Formal Methods Syst. Des.}, volume = {40}, number = {3}, pages = {356--376}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0147-3}, doi = {10.1007/S10703-012-0147-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CrafaR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1212-1089, author = {Francesco Ranzato}, title = {A More Efficient Simulation Algorithm on Kripke Structures}, journal = {CoRR}, volume = {abs/1212.1089}, year = {2012}, url = {http://arxiv.org/abs/1212.1089}, eprinttype = {arXiv}, eprint = {1212.1089}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-1089.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/CrafaRT11, author = {Silvia Crafa and Francesco Ranzato and Francesco Tapparo}, title = {Saving Space in a Time Efficient Simulation Algorithm}, journal = {Fundam. Informaticae}, volume = {108}, number = {1-2}, pages = {23--42}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-412}, doi = {10.3233/FI-2011-412}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/CrafaRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CrafaR11, author = {Silvia Crafa and Francesco Ranzato}, editor = {Joost{-}Pieter Katoen and Barbara K{\"{o}}nig}, title = {A Spectrum of Behavioral Relations over LTSs on Probability Distributions}, booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference, {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6901}, pages = {124--139}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23217-6\_9}, doi = {10.1007/978-3-642-23217-6\_9}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/CrafaR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CrafaR11, author = {Silvia Crafa and Francesco Ranzato}, editor = {Luca Aceto and Monika Henzinger and Jir{\'{\i}} Sgall}, title = {Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation}, booktitle = {Automata, Languages and Programming - 38th International Colloquium, {ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6756}, pages = {295--306}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22012-8\_23}, doi = {10.1007/978-3-642-22012-8\_23}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CrafaR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/RanzatoT10, author = {Francesco Ranzato and Francesco Tapparo}, title = {An efficient simulation algorithm based on abstract interpretation}, journal = {Inf. Comput.}, volume = {208}, number = {1}, pages = {1--22}, year = {2010}, url = {https://doi.org/10.1016/j.ic.2009.06.002}, doi = {10.1016/J.IC.2009.06.002}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/RanzatoT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GiacobazziR10, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis}, title = {Example-Guided Abstraction Simplification}, booktitle = {Automata, Languages and Programming, 37th International Colloquium, {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6199}, pages = {211--222}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14162-1\_18}, doi = {10.1007/978-3-642-14162-1\_18}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GiacobazziR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/agp/DelzannoGR10, author = {Giorgio Delzanno and Roberto Giacobazzi and Francesco Ranzato}, editor = {Agostino Dovier and Enrico Pontelli}, title = {Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming}, booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, {GULP}}, series = {Lecture Notes in Computer Science}, volume = {6125}, pages = {136--158}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14309-0\_7}, doi = {10.1007/978-3-642-14309-0\_7}, timestamp = {Sun, 25 Oct 2020 23:16:08 +0100}, biburl = {https://dblp.org/rec/conf/agp/DelzannoGR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/NardoRT09, author = {Lorenzo De Nardo and Francesco Ranzato and Francesco Tapparo}, title = {The Subgraph Similarity Problem}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {21}, number = {5}, pages = {748--749}, year = {2009}, url = {https://doi.org/10.1109/TKDE.2008.205}, doi = {10.1109/TKDE.2008.205}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/NardoRT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/CrafaRT09, author = {Silvia Crafa and Francesco Ranzato and Francesco Tapparo}, title = {Saving Space in a Time Efficient Simulation Algorithm}, booktitle = {Ninth International Conference on Application of Concurrency to System Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009}, pages = {60--69}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ACSD.2009.14}, doi = {10.1109/ACSD.2009.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/CrafaRT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/RanzatoT09, author = {Francesco Ranzato and Francesco Tapparo}, editor = {Mario Bravetti and Gianluigi Zavattaro}, title = {Computing Stuttering Simulations}, booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference, {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5710}, pages = {542--556}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04081-8\_36}, doi = {10.1007/978-3-642-04081-8\_36}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/RanzatoT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0904-1488, author = {Francesco Ranzato and Francesco Tapparo}, title = {Computing Stuttering Simulations}, journal = {CoRR}, volume = {abs/0904.1488}, year = {2009}, url = {http://arxiv.org/abs/0904.1488}, eprinttype = {arXiv}, eprint = {0904.1488}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0904-1488.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0910-4748, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Abstraction-Guided Abstraction Simplification}, journal = {CoRR}, volume = {abs/0910.4748}, year = {2009}, url = {http://arxiv.org/abs/0910.4748}, eprinttype = {arXiv}, eprint = {0910.4748}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0910-4748.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/RanzatoT08, author = {Francesco Ranzato and Francesco Tapparo}, title = {Generalizing the Paige-Tarjan algorithm by abstract interpretation}, journal = {Inf. Comput.}, volume = {206}, number = {5}, pages = {620--651}, year = {2008}, url = {https://doi.org/10.1016/j.ic.2008.01.001}, doi = {10.1016/J.IC.2008.01.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/RanzatoT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/RanzatoRT08, author = {Francesco Ranzato and Olivia Rossi{-}Doria and Francesco Tapparo}, editor = {Francesco Logozzo and Doron A. Peled and Lenore D. Zuck}, title = {A Forward-Backward Abstraction Refinement Algorithm}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4905}, pages = {248--262}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78163-9\_22}, doi = {10.1007/978-3-540-78163-9\_22}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/RanzatoRT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/RanzatoT07, author = {Francesco Ranzato and Francesco Tapparo}, title = {Generalized Strong Preservation by Abstract Interpretation}, journal = {J. Log. Comput.}, volume = {17}, number = {1}, pages = {157--197}, year = {2007}, url = {https://doi.org/10.1093/logcom/exl035}, doi = {10.1093/LOGCOM/EXL035}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/RanzatoT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/RanzatoT07, author = {Francesco Ranzato and Francesco Tapparo}, title = {A New Efficient Simulation Equivalence Algorithm}, booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}, pages = {171--180}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/LICS.2007.8}, doi = {10.1109/LICS.2007.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/RanzatoT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0709-4118, author = {Francesco Ranzato and Francesco Tapparo}, title = {An efficient simulation equivalence algorithm based on abstract interpretation}, journal = {CoRR}, volume = {abs/0709.4118}, year = {2007}, url = {http://arxiv.org/abs/0709.4118}, eprinttype = {arXiv}, eprint = {0709.4118}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0709-4118.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GiacobazziR06, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Incompleteness of states w.r.t. traces in model checking}, journal = {Inf. Comput.}, volume = {204}, number = {3}, pages = {376--407}, year = {2006}, url = {https://doi.org/10.1016/j.ic.2006.01.001}, doi = {10.1016/J.IC.2006.01.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GiacobazziR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/RanzatoT06, author = {Francesco Ranzato and Francesco Tapparo}, editor = {E. Allen Emerson and Kedar S. Namjoshi}, title = {Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3855}, pages = {332--347}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11609773\_22}, doi = {10.1007/11609773\_22}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/RanzatoT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0612120, author = {Francesco Ranzato and Francesco Tapparo}, title = {Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation}, journal = {CoRR}, volume = {abs/cs/0612120}, year = {2006}, url = {http://arxiv.org/abs/cs/0612120}, eprinttype = {arXiv}, eprint = {cs/0612120}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0612120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GiacobazziRS05, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, title = {Making abstract domains condensing}, journal = {{ACM} Trans. Comput. Log.}, volume = {6}, number = {1}, pages = {33--60}, year = {2005}, url = {https://doi.org/10.1145/1042038.1042040}, doi = {10.1145/1042038.1042040}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/GiacobazziRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/RanzatoT05, author = {Francesco Ranzato and Francesco Tapparo}, editor = {Kwangkeun Yi}, title = {An Abstract Interpretation Perspective on Linear vs. Branching Time}, booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS} 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3780}, pages = {69--85}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11575467\_6}, doi = {10.1007/11575467\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/RanzatoT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/RanzatoT05, author = {Francesco Ranzato and Francesco Tapparo}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {140--156}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_10}, doi = {10.1007/978-3-540-31980-1\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/RanzatoT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/RanzatoT04, author = {Francesco Ranzato and Francesco Tapparo}, editor = {David A. Schmidt}, title = {Strong Preservation as Completeness in Abstract Interpretation}, booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, {ESOP} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2986}, pages = {18--32}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24725-8\_3}, doi = {10.1007/978-3-540-24725-8\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/RanzatoT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0401016, author = {Francesco Ranzato and Francesco Tapparo}, title = {Generalized Strong Preservation by Abstract Interpretation}, journal = {CoRR}, volume = {cs.LO/0401016}, year = {2004}, url = {http://arxiv.org/abs/cs/0401016}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0401016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0404048, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Incompleteness of States w.r.t. Traces in Model Checking}, journal = {CoRR}, volume = {cs.LO/0404048}, year = {2004}, url = {http://arxiv.org/abs/cs/0404048}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0404048.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dm/Ranzato02, author = {Francesco Ranzato}, title = {Pseudocomplements of closure operators on posets}, journal = {Discret. Math.}, volume = {248}, number = {1-3}, pages = {143--155}, year = {2002}, url = {https://doi.org/10.1016/S0012-365X(01)00191-1}, doi = {10.1016/S0012-365X(01)00191-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dm/Ranzato02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/RanzatoT02, author = {Francesco Ranzato and Francesco Tapparo}, editor = {Manuel V. Hermenegildo and Germ{\'{a}}n Puebla}, title = {Making Abstract Model Checking Strongly Preserving}, booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid, Spain, September 17-20, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2477}, pages = {411--427}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45789-5\_29}, doi = {10.1007/3-540-45789-5\_29}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/RanzatoT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GiacobazziR02, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Manuel V. Hermenegildo and Germ{\'{a}}n Puebla}, title = {States vs. Traces in Model Checking by Abstract Interpretation}, booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid, Spain, September 17-20, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2477}, pages = {461--476}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45789-5\_32}, doi = {10.1007/3-540-45789-5\_32}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GiacobazziR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0204016, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, title = {Making Abstract Domains Condensing}, journal = {CoRR}, volume = {cs.PL/0204016}, year = {2002}, url = {https://arxiv.org/abs/cs/0204016}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0204016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Ranzato01, author = {Francesco Ranzato}, editor = {David Sands}, title = {On the Completeness of Model Checking}, booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, pages = {137--154}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45309-1\_10}, doi = {10.1007/3-540-45309-1\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/Ranzato01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/GiacobazziRS00, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, title = {Making abstract interpretations complete}, journal = {J. {ACM}}, volume = {47}, number = {2}, pages = {361--416}, year = {2000}, url = {https://doi.org/10.1145/333979.333989}, doi = {10.1145/333979.333989}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/GiacobazziRS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Ranzato99, author = {Francesco Ranzato}, title = {Closures on CPOs Form Complete Lattices}, journal = {Inf. Comput.}, volume = {152}, number = {2}, pages = {236--249}, year = {1999}, url = {https://doi.org/10.1006/inco.1999.2801}, doi = {10.1006/INCO.1999.2801}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Ranzato99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GiacobazziR99, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {The Reduced Relative Power Operation on Abstract Domains}, journal = {Theor. Comput. Sci.}, volume = {216}, number = {1-2}, pages = {159--211}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00194-7}, doi = {10.1016/S0304-3975(98)00194-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GiacobazziR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FileR99, author = {Gilberto Fil{\'{e}} and Francesco Ranzato}, title = {The Powerset Operator on Abstract Interpretations}, journal = {Theor. Comput. Sci.}, volume = {222}, number = {1-2}, pages = {77--111}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00007-3}, doi = {10.1016/S0304-3975(98)00007-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FileR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Ranzato99, author = {Francesco Ranzato}, editor = {Maria Chiara Meo and Manuel Vilares Ferro}, title = {CPOs as Concrete Domains: Lattices of Abstract Domains and Complements}, booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999}, pages = {183--196}, year = {1999}, timestamp = {Wed, 01 Dec 2004 15:33:47 +0100}, biburl = {https://dblp.org/rec/conf/agp/Ranzato99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GiacobazziR98, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements}, journal = {Inf. Comput.}, volume = {145}, number = {2}, pages = {153--190}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2724}, doi = {10.1006/INCO.1998.2724}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GiacobazziR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GiacobazziR98, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Optimal Domains for Disjunctive Abstract Intepretation}, journal = {Sci. Comput. Program.}, volume = {32}, number = {1-3}, pages = {177--210}, year = {1998}, url = {https://doi.org/10.1016/S0167-6423(97)00034-8}, doi = {10.1016/S0167-6423(97)00034-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GiacobazziR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GiacobazziRS98, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, editor = {Jos{\'{e}} Luis Freire{-}Nistal and Moreno Falaschi and Manuel Vilares Ferro}, title = {Building Complete Abstract Interpretations in a Linear Logic-based Setting}, booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, {A} Coru{\~{n}}a, Spain, July 20-23, 1998}, pages = {241--254}, year = {1998}, timestamp = {Wed, 21 Nov 2007 11:59:17 +0100}, biburl = {https://dblp.org/rec/conf/agp/GiacobazziRS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GiacobazziRS98, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, editor = {Lubos Brim and Jozef Gruska and Jir{\'{\i}} Zlatuska}, title = {Complete Abstract Interpretations Made Constructive}, booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1450}, pages = {366--377}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055786}, doi = {10.1007/BFB0055786}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/GiacobazziRS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GiacobazziRS98, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, editor = {Giorgio Levi}, title = {Building Complete Abstract Interpretations in a Linear Logic-based Setting}, booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy, September 14-16, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1503}, pages = {215--229}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49727-7\_13}, doi = {10.1007/3-540-49727-7\_13}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/GiacobazziRS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/CortesiFGPR97, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and Roberto Giacobazzi and Catuscia Palamidessi and Francesco Ranzato}, title = {Complementation in Abstract Interpretation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {19}, number = {1}, pages = {7--47}, year = {1997}, url = {https://doi.org/10.1145/239912.239914}, doi = {10.1145/239912.239914}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/CortesiFGPR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/GiacobazziR97, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Michael Johnson}, title = {Completeness in Abstract Interpretation: {A} Domain Perspective}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {231--245}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000474}, doi = {10.1007/BFB0000474}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/GiacobazziR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GiacobazziR97, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti{-}Spaccamela}, title = {Refining and Compressing Abstract Domains}, booktitle = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {771--781}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63165-8\_230}, doi = {10.1007/3-540-63165-8\_230}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GiacobazziR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/FileGR96, author = {Gilberto Fil{\'{e}} and Roberto Giacobazzi and Francesco Ranzato}, title = {A Unifying View of Abstract Domain Design}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {2}, pages = {333--336}, year = {1996}, url = {https://doi.org/10.1145/234528.234742}, doi = {10.1145/234528.234742}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/FileGR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GiacobazziR96, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro}, title = {Optimization of Disjunctive Abstract Interpretations}, booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996}, pages = {53--66}, year = {1996}, timestamp = {Thu, 02 Dec 2004 11:12:18 +0100}, biburl = {https://dblp.org/rec/conf/agp/GiacobazziR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/GiacobazziR96, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Michael Hanus and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Complementing Logic Program Semantics}, booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1139}, pages = {238--253}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61735-3\_16}, doi = {10.1007/3-540-61735-3\_16}, timestamp = {Thu, 14 Oct 2021 10:38:45 +0200}, biburl = {https://dblp.org/rec/conf/alp/GiacobazziR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/GiacobazziR96, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {Hanne Riis Nielson}, title = {Compositional Optimization of Disjunctive Abstract Interpretations}, booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1058}, pages = {141--155}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61055-3\_34}, doi = {10.1007/3-540-61055-3\_34}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/GiacobazziR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/FileR96, author = {Gilberto Fil{\'{e}} and Francesco Ranzato}, editor = {Michael J. Maher}, title = {Complementation of Abstract Domains made Easy}, booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996}, pages = {348--362}, publisher = {{MIT} Press}, year = {1996}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278915}, timestamp = {Mon, 09 Aug 2021 17:01:45 +0200}, biburl = {https://dblp.org/rec/conf/iclp/FileR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CortesiFGPR95, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and Roberto Giacobazzi and Catuscia Palamidessi and Francesco Ranzato}, editor = {Alan Mycroft}, title = {Complementation in Abstract Interpretation}, booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {983}, pages = {100--117}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60360-3\_35}, doi = {10.1007/3-540-60360-3\_35}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CortesiFGPR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/GiacobazziR95, author = {Roberto Giacobazzi and Francesco Ranzato}, editor = {John W. Lloyd}, title = {Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics}, booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}, pages = {321--335}, publisher = {{MIT} Press}, year = {1995}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300246}, timestamp = {Wed, 11 Aug 2021 17:02:32 +0200}, biburl = {https://dblp.org/rec/conf/slp/GiacobazziR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FileR94, author = {Gilberto Fil{\'{e}} and Francesco Ranzato}, editor = {Mar{\'{\i}}a Alpuente and Roberto Barbuti and Isidro Ramos}, title = {Improving Abstract Interpretations by Systematic Lifting to the Powerset}, booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola, Spain, September 19-22, 1994, Volume 1}, pages = {357--371}, year = {1994}, timestamp = {Wed, 01 Dec 2004 15:33:38 +0100}, biburl = {https://dblp.org/rec/conf/agp/FileR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/FileR94, author = {Gilberto Fil{\'{e}} and Francesco Ranzato}, editor = {Maurice Bruynooghe}, title = {Improving Abstract Interpretations by Systematic Lifting to the Powerset}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {655--669}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Wed, 04 Dec 2013 14:42:58 +0100}, biburl = {https://dblp.org/rec/conf/slp/FileR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.