Marco Zanella

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Abstract Interpretation

Ensemble Classifier

Top Venues

Publications

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) (2024)
Nicolò Fassina, Francesco Ranzato, Marco Zanella
Robustness verification of k-nearest neighbors by abstract interpretation. Knowl. Inf. Syst. 66 (8) (2024)
Nicolò Fassina, Francesco Ranzato, Marco Zanella
Robustness Certification of k-Nearest Neighbors. ICDM (2023)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for SVMs. CoRR (2022)
Francesco Ranzato, Marco Zanella
Genetic adversarial training of decision trees. GECCO (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fairness-Aware Training of Decision Trees by Abstract Interpretation. CIKM (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fair Training of Decision Tree Classifiers. CoRR (2021)
Francesco Ranzato, Marco Zanella
Genetic Adversarial Training of Decision Trees. CoRR (2020)
Francesco Ranzato, Marco Zanella
Abstract Interpretation of Decision Tree Ensemble Classifiers. AAAI (2020)
Francesco Ranzato, Marco Zanella
Robustness Verification of Support Vector Machines. SAS (2019)
Armir Bujari, Claudio E. Palazzi, Davide Polonio, Marco Zanella
Service Function Chaining: a lightweight container-based management and orchestration plane. CCNC (2019)
Francesco Ranzato, Marco Zanella
Robustness Verification of Decision Tree Ensembles. OVERLAY@AI*IA (2019)
Francesco Ranzato, Marco Zanella
Robustness Verification of Support Vector Machines. CoRR (2019)
Francesco Ranzato, Marco Zanella
Invertible Linear Transforms of Numerical Abstract Domains. SAS (2018)
Davide Polonio, Federico Tavella, Marco Zanella, Armir Bujari
GHio-Ca: An Android Application for Automatic Image Classification. GOODTECHS (2017)
Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio E. Palazzi
Multipong: A multiplayer ad-hoc version of Pong. ISCC (2017)
Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio Enrico Palazzi
Implementation and Evaluation of a Multiplayer Pong Game. GHITALY@CHItaly (2017)
Jiri Kraus, Marcello Pivanti, Sebastiano Fabio Schifano, Raffaele Tripiccione, Marco Zanella
Benchmarking GPUs with a Parallel Lattice-Boltzmann Code. SBAC-PAD (2013)