SPASIANO, ALESSIO
SPASIANO, ALESSIO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Towards a tool for LTL synthesis with bounded-energy constraints
2019 Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A.
Retinal and choriocapillaris vascular changes in patients affected by different clinical phenotypes of β-thalassemia: An optical coherence tomography angiography study
2021 Cennamo, G.; Montorio, D.; Mazzella, G.; Ricchi, P.; Costantini, S.; Spasiano, A.; Filosa, A.; Storino, M. R.; Aquila, F.; Tranfa, F.; Grosso, M.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Towards a tool for LTL synthesis with bounded-energy constraints | 4.1 Articoli in Atti di convegno | 2019 | Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A. | |
Retinal and choriocapillaris vascular changes in patients affected by different clinical phenotypes of β-thalassemia: An optical coherence tomography angiography study | 1.1 Articolo in rivista | 2021 | Cennamo, G.; Montorio, D.; Mazzella, G.; Ricchi, P.; Costantini, S.; Spasiano, A.; Filosa, A.; Storino, M. R.; Aquila, F.; Tranfa, F.; Grosso, M. |