Authors: Fassina, Nicolò, Ranzato, Francesco^{Aff1, IDs10115024021084_cor2}, Zanella, Marco

Superior Title: Knowledge and Information Systems: An International Journal. :1-35

Authors: Pal, Abhinandan^Aff29, Ranzato, Francesco^Aff30, Urban, Caterina^Aff31, Zanella, Marco^Aff30

Contributors: Goos, Gerhard, Series Editor^{Aff1, Aff19}, Hartmanis, Juris, Founding Editor^{Aff2, Aff20}, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff21, Gao, Wen, Editorial Board Member^Aff22, Steffen, Bernhard, Editorial Board Member^Aff23, Yung, Moti, Editorial Board Member^Aff24, Woeginger, Gerhard, Editorial Board Member^Aff25, Dimitrova, Rayna, editor^Aff26, Lahav, Ori, editor^Aff27, Wolff, Sebastian, editor^Aff28

Superior Title: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. 14499:27-49

Authors: Bruni, Roberto^Aff7, Giacobazzi, Roberto^Aff8, Gori, Roberta^Aff7, Ranzato, Francesco^Aff9

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Jain, Lakhmi C., Series Editor^Aff2, Arceri, Vincenzo, editor^Aff3, Cortesi, Agostino, editor^Aff4, Ferrara, Pietro, editor^Aff5, Olliaro, Martina, editor^Aff6

Superior Title: Challenges of Software Verification. 238:145-156

Authors: Milanese, Marco^Aff9, Ranzato, Francesco^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Singh, Gagandeep, editor^Aff7, Urban, Caterina, editor^Aff8

Superior Title: Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. 13790:350-371

Authors: Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng

Superior Title: In Information and Computation November 2022 289 Part A

Authors: Abhinandan Pal, Ranzato, Francesco, Urban, Caterina, Zanella, Marco

Relation: https://dx.doi.org/10.5281/zenodo.8399417

Availability: https://doi.org/10.5281/zenodo.840517510.5281/zenodo.8399417
https://zenodo.org/record/8405175

Authors: Abhinandan, Pal, Ranzato, Francesco, Urban, Caterina, Zanella, Marco

Relation: https://dx.doi.org/10.5281/zenodo.10053395

Availability: https://doi.org/10.5281/zenodo.1005339610.5281/zenodo.10053395

Authors: BRUNI, ROBERTO, GIACOBAZZI, ROBERTO, GORI, ROBERTA, RANZATO, FRANCESCO

Superior Title: Journal of the ACM; Apr2023, Vol. 70 Issue 2, p1-45, 45p

Subject Terms: FALSE alarms, LOGIC

Authors: Pal, Abhinandan, Ranzato, Francesco, Urban, Caterina, Zanella, Marco

Subject Terms: Computer Science - Machine Learning

Relation: http://arxiv.org/abs/2210.12456

Availability: http://arxiv.org/abs/2210.12456

Authors: Ganty, Pierre, Manini, Nicolas, Ranzato, Francesco

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2204.11804

Availability: http://arxiv.org/abs/2204.11804

Authors: Ranzato, Francesco^Aff9, Zanella, Marco^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Chang, Bor-Yuh Evan, editor^Aff8

Superior Title: Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings. 11822:271-295

Authors: Ganty, Pierre^Aff9, Ranzato, Francesco^Aff10, Valero, Pedro^{Aff9, Aff11}

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Chang, Bor-Yuh Evan, editor^Aff8

Superior Title: Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings. 11822:140-161

Authors: Ganty, Pierre, Ranzato, Francesco, Valero, Pedro

Contributors: Ganty, Pierre, Ranzato, Francesco, Valero, Pedro

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000749583700002; volume:22; issue:4; firstpage:1; lastpage:40; numberofpages:40; journal:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; http://hdl.handle.net/11577/3400222; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85115306241; http://www.math.unipd.it/~ranzato/papers/tocl21.pdf

Availability: https://doi.org/10.1145/3462673
http://hdl.handle.net/11577/3400222
http://www.math.unipd.it/~ranzato/papers/tocl21.pdf

Authors: Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng

Subject Terms: Computability Theory, Recursive Function, Rice’s Theorem, Kleene’s Second Recursion Theorem, Program Analysis, Affine Program Invariants, Theory of computation → Computability, Theory of computation → Recursive functions, Theory of computation → Abstraction

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.ICALP.2021; https://dx.doi.org/10.1145/1328438.1328455; https://dx.doi.org/10.1145/321386.321395; https://dx.doi.org/10.1145/321637.321648; https://dx.doi.org/10.1145/3371096; https://dx.doi.org/10.3233/JCS-2009-0393; https://dx.doi.org/10.1145/512950.512973; https://dx.doi.org/10.1017/CBO9781139171496; https://dx.doi.org/10.4230/LIPIcs.ICALP.2016.108; https://dx.doi.org/10.1145/3209108.3209142; https://dx.doi.org/10.1007/BF00290339; https://dx.doi.org/10.1007/BF00268497; https://dx.doi.org/10.1016/0304-3975(80)90017-1; https://dx.doi.org/10.1002/malq.19760220150; https://dx.doi.org/10.1002/malq.19770231302; https://dx.doi.org/10.1561/2500000034

Availability: https://doi.org/10.4230/lipics.icalp.2021.11710.4230/LIPIcs.ICALP.202110.1145/1328438.132845510.1145/321386.32139510.1145/321637.32164810.1145/337109610.3233/JCS-2009-039310.1145/512950.51297310.1017/CBO978113917149610.4230/LIPIcs.ICALP.2016.10810.1145/3209108.320914210.1007/BF0029033910.1007/BF0026849710.1016/0304-3975(80)90017-110.1002/malq.1976022015010.1002/malq.1977023130210.1561/2500000034

Authors: Doveri, Kyveli, Ganty, Pierre, Parolini, Francesco, Ranzato, Francesco

Subject Terms: Büchi Pushdown Automata, ω-Language Inclusion, Well-quasiorders, Theory of computation → Formal languages and automata theory

File Description: application/pdf

Relation: https://github.com/parof/bait; https://github.com/parof/buchi-automata-benchmark; https://www7.in.tum.de/~esparza/autoskript.pdf; https://dx.doi.org/10.4230/LIPIcs.CONCUR.2021; https://dx.doi.org/10.1007/978-3-642-14295-6_14; https://dx.doi.org/10.1007/978-3-642-23217-6_13; https://dx.doi.org/10.1145/2429069.2429124; https://dx.doi.org/10.1145/2713167; https://dx.doi.org/10.1007/3-540-58027-1_27; https://dx.doi.org/10.1007/978-3-319-10575-8; https://dx.doi.org/10.23638/LMCS-15(1:12)2019; https://dx.doi.org/10.1145/512950.512973; https://dx.doi.org/10.1145/567752.567778; https://dx.doi.org/10.1007/978-3-319-46520-3_8; https://dx.doi.org/10.1007/978-3-642-12002-2_17; https://dx.doi.org/10.1007/978-3-030-32304-2_8

Availability: https://doi.org/10.4230/lipics.concur.2021.310.4230/LIPIcs.CONCUR.202110.1007/978-3-642-14295-6_1410.1007/978-3-642-23217-6_1310.1145/2429069.242912410.1145/271316710.1007/3-540-58027-1_2710.1007/978-3-319-10575-810.23638/LMCS-15(1:12)201910.1145/512950.51297310.1145/567752.56777810.1007/978-3-319-46520-3_810.1007/978-3-642-12002-2_1710.1007/978-3-030-32304-2_8

Authors: Doveri, Kyveli, Ganty, Pierre, Parolini, Francesco, Ranzato, Francesco

Subject Terms: Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-143802; https://drops.dagstuhl.de/opus/volltexte/2021/14380/

Availability: https://doi.org/10.4230/LIPIcs.CONCUR.2021.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-143802
https://drops.dagstuhl.de/opus/volltexte/2021/14380/

Authors: Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng

Subject Terms: Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-141860; https://drops.dagstuhl.de/opus/volltexte/2021/14186/

Availability: https://doi.org/10.4230/LIPIcs.ICALP.2021.117
https://nbn-resolving.org/urn:nbn:de:0030-drops-141860
https://drops.dagstuhl.de/opus/volltexte/2021/14186/

Authors: Ranzato, Francesco, Urban, Caterina, Zanella, Marco

Contributors: Dipartimento di Matematica Padova, Università degli Studi di Padova = University of Padua (Unipd), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Analyse Statique par Interprétation Abstraite (ANTIQUE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Francesco Ranzato has been partially funded by: University of Padova, under the SID2018 project “Analysis of STatic Analyses (ASTA)”, Italian Ministry of University and Research, under the PRIN2017 project no. 201784YSZ5 “AnalysiS of PRogram Analyses (ASPRA)”, Facebook Research, under a “Probability and Programming Research Award”.

Superior Title: CIKM 2021 - 30th ACM International Conference on Information and Knowledge Management ; https://inria.hal.science/hal-03545701 ; CIKM 2021 - 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland / Virtual, Australia. pp.1508-1517, ⟨10.1145/3459637.3482342⟩ ; https://www.cikm2021.org/

Subject Terms: Machine Learning, Decision Trees, Individual Fairness, Fairness Verification, Fairness-Aware Learning, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY]

Subject Geographic: Queensland / Virtual, Australia

Relation: hal-03545701; https://inria.hal.science/hal-03545701; https://inria.hal.science/hal-03545701/document; https://inria.hal.science/hal-03545701/file/hal.pdf

Availability: https://doi.org/10.1145/3459637.3482342
https://inria.hal.science/hal-03545701
https://inria.hal.science/hal-03545701/document
https://inria.hal.science/hal-03545701/file/hal.pdf

Authors: Ranzato, Francesco^Aff14, Zanella, Marco^Aff14

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Podelski, Andreas, editor^Aff13

Superior Title: Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings. 11002:344-363

Authors: Cousot, Patrick^Aff15, Giacobazzi, Roberto^{Aff16, Aff17}, Ranzato, Francesco^Aff18

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Chockler, Hana, editor^Aff13, Weissenbacher, Georg, editor^Aff14

Superior Title: 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. 10982:75-95