Marco Zanella

According to our database, Marco Zanella authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Robustness verification of k-nearest neighbors by abstract interpretation.

Nicolò Fassina, Francesco Ranzato, Marco Zanella

Knowl. Inf. Syst., August, 2024

Abstract Interpretation-Based Feature Importance for Support Vector Machines.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Robustness Certification of k-Nearest Neighbors.

Nicolò Fassina, Francesco Ranzato, Marco Zanella

Proceedings of the IEEE International Conference on Data Mining, 2023

2022

Abstract Interpretation-Based Feature Importance for SVMs.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 2022

2021

Fair Training of Decision Tree Classifiers.

Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 2021

Genetic adversarial training of decision trees.

Francesco Ranzato, Marco Zanella

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Fairness-Aware Training of Decision Trees by Abstract Interpretation.

Francesco Ranzato, Caterina Urban, Marco Zanella

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

Abstract Interpretation of Decision Tree Ensemble Classifiers.

Francesco Ranzato, Marco Zanella

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Robustness Verification of Support Vector Machines.

Francesco Ranzato, Marco Zanella

Proceedings of the Static Analysis - 26th International Symposium, 2019

Service Function Chaining: a lightweight container-based management and orchestration plane.

Armir Bujari, Claudio E. Palazzi, Davide Polonio, Marco Zanella

Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

Robustness Verification of Decision Tree Ensembles.

Francesco Ranzato, Marco Zanella

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Invertible Linear Transforms of Numerical Abstract Domains.

Francesco Ranzato, Marco Zanella

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Multipong: A multiplayer ad-hoc version of Pong.

Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio E. Palazzi

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

GHio-Ca: An Android Application for Automatic Image Classification.

Davide Polonio, Federico Tavella, Marco Zanella, Armir Bujari

Proceedings of the Smart Objects and Technologies for Social Good, 2017

Implementation and Evaluation of a Multiplayer Pong Game.

Marco Begolo, Sebastiano Valle, Marco Zanella, Armir Bujari, Ombretta Gaggi, Claudio Enrico Palazzi

Proceedings of the 1st Workshop on Games-Human Interaction (GHITALY 2017) co-located with CHItaly 2017, 2017

2013

Benchmarking GPUs with a Parallel Lattice-Boltzmann Code.

Jiri Kraus, Marcello Pivanti, Sebastiano Fabio Schifano, Raffaele Tripiccione, Marco Zanella

Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013