ZANELLA, MARCO
ZANELLA, MARCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Robustness verification of k-nearest neighbors by abstract interpretation
2024 Fassina, Nicolò; Ranzato, Francesco; Zanella, Marco
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways
2021 Marchi, Saverio; Zanella, Marco; Pinton, Paolo; Crafa, Silvia; Boniolo, Giovanni
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Robustness verification of k-nearest neighbors by abstract interpretation | 2024 | Ranzato, FrancescoZanella, Marco + | KNOWLEDGE AND INFORMATION SYSTEMS | - | - |
| MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways | 2021 | Zanella, MarcoPinton, PaoloCrafa, Silvia + | ISCIENCE | - | - |