| 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 | 29 | 2013 |
| Robustness verification of support vector machines F Ranzato, M Zanella Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 26 | 2019 |
| Robustness Verification of Decision Tree Ensembles. F Ranzato, M Zanella OVERLAY@ AI* IA 2509, 59-64, 2019 | 6 | 2019 |
| 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 | 4 | 2014 |
| 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 | | |
