Benchmarking GPUs with a Parallel Lattice-Boltzmann Code. - Jiri Kraus; Marcello Pivanti; Sebastiano Fabio Schifano; Raffaele Tripiccione; Marco Zanella (SBAC-PAD, 2013)

Implementation and Evaluation of a Multiplayer Pong Game. - Marco Begolo; Sebastiano Valle; Marco Zanella; Armir Bujari; Ombretta Gaggi; Claudio Enrico Palazzi (GHITALY@CHItaly, 2017)

GHio-Ca: An Android Application for Automatic Image Classification. - Davide Polonio; Federico Tavella; Marco Zanella; Armir Bujari (GOODTECHS, 2017)

Multipong: A multiplayer ad-hoc version of Pong. - Marco Begolo; Sebastiano Valle; Marco Zanella; Armir Bujari; Ombretta Gaggi; Claudio E. Palazzi (ISCC, 2017)

Invertible Linear Transforms of Numerical Abstract Domains. - Francesco Ranzato; Marco Zanella (SAS, 2018)

Robustness Verification of Decision Tree Ensembles. - Francesco Ranzato; Marco Zanella (OVERLAY@AI*IA, 2019)

Service Function Chaining: a lightweight container-based management and orchestration plane. - Armir Bujari; Claudio E. Palazzi; Davide Polonio; Marco Zanella (CCNC, 2019)

Robustness Verification of Support Vector Machines. - Francesco Ranzato; Marco Zanella (SAS, 2019)

Abstract Interpretation of Decision Tree Ensemble Classifiers. - Francesco Ranzato; Marco Zanella (AAAI, 2020)

Fairness-Aware Training of Decision Trees by Abstract Interpretation. - Francesco Ranzato; Caterina Urban; Marco Zanella (CIKM, 2021)

Genetic adversarial training of decision trees. - Francesco Ranzato; Marco Zanella (GECCO, 2021)

Fair Training of Decision Tree Classifiers. - Francesco Ranzato; Caterina Urban; Marco Zanella (CoRR, 2021)

Abstract Interpretation-Based Feature Importance for SVMs. - Abhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella (CoRR, 2022)

Robustness Certification of k-Nearest Neighbors. - Nicolò Fassina; Francesco Ranzato; Marco Zanella (ICDM, 2023)

Abstract Interpretation-Based Feature Importance for Support Vector Machines. - Abhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella (VMCAI (1), 2024)

Robustness verification of k-nearest neighbors by abstract interpretation. - Nicolò Fassina; Francesco Ranzato; Marco Zanella (Knowl. Inf. Syst., 2024)

Benchmarking BERT-based Models for Latin: A Case Study on Biblical References in Ancient Christian Literature. - Davide Caffagni; Federico Cocchi; Anna Mambelli; Fabio Tutrone; Marco Zanella; Marcella Cornia; Rita Cucchiara (IRCDL, 2025)