LOVATO, Alberto
LOVATO, Alberto
DIPARTIMENTO DI INFORMATICA
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Boolean Formulas for the Static Identification of Injection Attacks in Java
2015-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Concurrency and static analysis
2017-01-01 Lovato, Alberto
Locking Discipline Inference and Checking
2016-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
Static Identification of Injection Attacks in Java
2019-01-01 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
Supporting wine production from vineyard to glass through secure IoT devices and blockchain
2025-01-01 Ceccato, Mariano; Corradini, Davide; Lovato, Alberto; Migliorini, Sara; Pasqua, Michele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| Boolean Formulas for the Static Identification of Injection Attacks in Java | 1-gen-2015 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto | |
| Concurrency and static analysis | 1-gen-2017 | Lovato, Alberto | |
| Locking Discipline Inference and Checking | 1-gen-2016 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | |
| Static Identification of Injection Attacks in Java | 1-gen-2019 | Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian | |
| Supporting wine production from vineyard to glass through secure IoT devices and blockchain | 1-gen-2025 | Ceccato, Mariano; Corradini, Davide; Lovato, Alberto; Migliorini, Sara; Pasqua, Michele |