Marco Zanella

Orcid: 0000-0002-6164-6169

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Robustness verification of k-nearest neighbors by abstract interpretation.
Knowl. Inf. Syst., August, 2024

Abstract Interpretation-Based Feature Importance for Support Vector Machines.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023
Robustness Certification of k-Nearest Neighbors.
Proceedings of the IEEE International Conference on Data Mining, 2023

2022
Abstract Interpretation-Based Feature Importance for SVMs.
CoRR, 2022

2021
Fair Training of Decision Tree Classifiers.
CoRR, 2021

Genetic adversarial training of decision trees.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Fairness-Aware Training of Decision Trees by Abstract Interpretation.
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.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Robustness Verification of Support Vector Machines.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Service Function Chaining: a lightweight container-based management and orchestration plane.
Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

Robustness Verification of Decision Tree Ensembles.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018
Invertible Linear Transforms of Numerical Abstract Domains.
Proceedings of the Static Analysis - 25th International Symposium, 2018

2017
Multipong: A multiplayer ad-hoc version of Pong.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

GHio-Ca: An Android Application for Automatic Image Classification.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

Implementation and Evaluation of a Multiplayer Pong Game.
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.
Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013


  Loading...