RANZATO, FRANCESCO
RANZATO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
ERC tool: Exact Robustness Certification of k-Nearest Neighbors
2025 Ranzato, Francesco; Ahmad, Shakeel; Zanella, Marco
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact
2023 Abhinandan, Pal; Ranzato, Francesco; Urban, Caterina; Zanella, Marco
A time and space efficient simulation algorithm
2009 Ranzato, Francesco; Tapparo, F.
| 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 |
| Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact | 2023 | Francesco RanzatoMarco Zanella + | - | - | - |
| A time and space efficient simulation algorithm | 2009 | RANZATO, FRANCESCO + | - | - | Short Talk at the 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09) |