Follow
Marco Zanella
Title
Cited by
Cited by
Year
Benchmarking GPUs with a parallel Lattice-Boltzmann code
J Kraus, M Pivanti, SF Schifano, R Tripiccione, M Zanella
2013 25th International Symposium on Computer Architecture and High …, 2013
282013
Robustness verification of support vector machines
F Ranzato, M Zanella
International Static Analysis Symposium, 271-295, 2019
92019
Robustness Verification of Decision Tree Ensembles.
F Ranzato, M Zanella
OVERLAY@ AI* IA 2509, 59-64, 2019
42019
Computing on knights and kepler architectures
G Bortolotti, M Caberletti, G Crimi, A Ferraro, F Giacomini, M Manzali, ...
Journal of Physics: Conference Series 513 (5), 052032, 2014
42014
Formal Stability Verification of Forest Classifiers
F Ranzato, M Zanella
2019
Invertible Linear Transforms of Numerical Abstract Domains
F Ranzato, M Zanella
International Static Analysis Symposium, 344-363, 2018
2018
Robustness Verification of Support Vector Machines
M Zanella
The system can't perform the operation now. Try again later.
Articles 1–7