ZANELLA, MARCO

ZANELLA, MARCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
ERC tool: Exact Robustness Certification of k-Nearest Neighbors 2025 Francesco RanzatoAhmad ShakeelMarco Zanella - - CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
Exact Robustness Certification of k-Nearest Neighbors 2025 Ranzato, FrancescoShakeel, AhmadZanella, Marco - - CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
Abstract Interpretation-Based Feature Importance for Support Vector Machines 2024 Ranzato F.Zanella M. + - LECTURE NOTES IN COMPUTER SCIENCE Proceedings of theProceedings of the 25th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'24)
Robustness verification of k-nearest neighbors by abstract interpretation 2024 Ranzato, FrancescoZanella, Marco + KNOWLEDGE AND INFORMATION SYSTEMS - -
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 2023 Francesco RanzatoMarco Zanella + - - -
Robustness Certification of k-Nearest Neighbors 2023 Ranzato, FrancescoZanella, Marco + - - 2023 IEEE International Conference on Data Mining (ICDM)
Fairness-Aware Training of Decision Trees by Abstract Interpretation 2021 Ranzato F.Zanella M. + - - International Conference on Information and Knowledge Management, Proceedings
Genetic adversarial training of decision trees 2021 Ranzato F.Zanella M. - - GECCO 2021 - Proceedings of the 2021 Genetic and Evolutionary Computation Conference
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways 2021 Zanella, MarcoPinton, PaoloCrafa, Silvia + ISCIENCE - -
Abstract interpretation of decision tree ensemble classifiers 2020 Francesco RanzatoMarco Zanella - PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE Proceedings of the 34th AAAI Conference on Artificial Intelligence
Robustness Verification of Decision Tree Ensembles 2019 Francesco RanzatoMarco Zanella - - Proceedings of the 1st Workshop on Artificial Intelligence and FormalVerification, Logic, Automata, and Synthesis, co-located with the18th International Conference of the Italian Association for ArtificialIntelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019
Robustness Verification of Support Vector Machines 2019 Ranzato, FrancescoZanella, Marco - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Proceedings of the 26th International Static Analysis Symposium, SAS 2019
Invertible Linear Transforms of Numerical Abstract Domains 2018 Francesco RanzatoZANELLA, MARCO - LECTURE NOTES IN COMPUTER SCIENCE Proceedings of the 25th International Static Analysis Symposium (SAS'18)