Marco Zanella

21 papers A* 3A 2B 3C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Benchmarking BERT-based Models for Latin: A Case Study on Biblical References in Ancient Christian Literature.
IRCDL
Davide Caffagni, Federico Cocchi, Anna Mambelli, Fabio Tutrone, Marco Zanella, Marcella Cornia, Rita Cucchiara
2025 A* conf
Exact Robustness Certification of k-Nearest Neighbors.
CCS
Francesco Ranzato, Ahmad Shakeel, Marco Zanella
2025 B conf
Generating Synthetic Data with Large Language Models for Low-Resource Sentence Retrieval.
TPDL
Davide Caffagni, Federico Cocchi, Anna Mambelli, Fabio Tutrone, Marco Zanella, Marcella Cornia, Rita Cucchiara
2024 — conf
Abstract Interpretation-Based Feature Importance for Support Vector Machines.
VMCAI (1)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
2024 J jnl
Robustness verification of k-nearest neighbors by abstract interpretation.
Knowl. Inf. Syst.
Nicolò Fassina, Francesco Ranzato, Marco Zanella
2023 A* conf
Robustness Certification of k-Nearest Neighbors.
ICDM
Nicolò Fassina, Francesco Ranzato, Marco Zanella
2022 J jnl
Abstract Interpretation-Based Feature Importance for SVMs.
CoRR
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
2021 J jnl
Fair Training of Decision Tree Classifiers.
CoRR
Francesco Ranzato, Caterina Urban, Marco Zanella
2021 A conf
Fairness-Aware Training of Decision Trees by Abstract Interpretation.
CIKM
Francesco Ranzato, Caterina Urban, Marco Zanella
2021 A conf
Genetic adversarial training of decision trees.
GECCO
Francesco Ranzato, Marco Zanella
2020 A* conf
Abstract Interpretation of Decision Tree Ensemble Classifiers.
AAAI
Francesco Ranzato, Marco Zanella
2020 J jnl
Genetic Adversarial Training of Decision Trees.
CoRR
Francesco Ranzato, Marco Zanella
2019 — conf
Robustness Verification of Decision Tree Ensembles.
OVERLAY@AI*IA
Francesco Ranzato, Marco Zanella
2019 B conf
Robustness Verification of Support Vector Machines.
SAS
Francesco Ranzato, Marco Zanella
2019 J jnl
Robustness Verification of Support Vector Machines.
CoRR
Francesco Ranzato, Marco Zanella
2019 — conf
Service Function Chaining: a lightweight container-based management and orchestration plane.
CCNC
Armir Bujari, Claudio E. Palazzi, Davide Polonio, Marco Zanella
2018 B conf
Invertible Linear Transforms of Numerical Abstract Domains.
SAS
Francesco Ranzato, Marco Zanella
2017 — conf
GHio-Ca: An Android Application for Automatic Image Classification.
GOODTECHS
Davide Polonio, Federico Tavella, Marco Zanella, Armir Bujari
2017 — conf
Implementation and Evaluation of a Multiplayer Pong Game.
GHITALY@CHItaly
Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio Enrico Palazzi
2017 C conf
Multipong: A multiplayer ad-hoc version of Pong.
ISCC
Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio E. Palazzi
2013 C conf
Benchmarking GPUs with a Parallel Lattice-Boltzmann Code.
SBAC-PAD
Jiri Kraus, Marcello Pivanti, Sebastiano Fabio Schifano, Raffaele Tripiccione, Marco Zanella