| 2025 | CCS | Exact Robustness Certification of k-Nearest Neighbors. | Francesco Ranzato, Ahmad Shakeel, Marco Zanella |
| 2024 | VMCAI | Abstract Interpretation-Based Feature Importance for Support Vector Machines. | Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2023 | ICDM | Robustness Certification of k-Nearest Neighbors. | Nicol Fassina, Francesco Ranzato, Marco Zanella |
| 2021 | CIKM | Fairness-Aware Training of Decision Trees by Abstract Interpretation. | Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2021 | GECCO | Genetic adversarial training of decision trees. | Francesco Ranzato, Marco Zanella |
| 2020 | AAAI | Abstract Interpretation of Decision Tree Ensemble Classifiers. | Francesco Ranzato, Marco Zanella |
| 2019 | SAS | Robustness Verification of Support Vector Machines. | Francesco Ranzato, Marco Zanella |
| 2018 | SAS | Invertible Linear Transforms of Numerical Abstract Domains. | Francesco Ranzato, Marco Zanella |
| 2017 | ISCC | Multipong: A multiplayer ad-hoc version of Pong. | Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio E. Palazzi |
| 2013 | SBAC-PAD | Benchmarking GPUs with a Parallel Lattice-Boltzmann Code. | Jiri Kraus, Marcello Pivanti, Sebastiano Fabio Schifano, Raffaele Tripiccione, Marco Zanella |