BUSSI, LAURA
BUSSI, LAURA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.006 secondi).
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
A toolchain for strategy synthesis with spatial properties - Complementary material
2023 Basile D.; ter Beek M.H.; Bussi L.; Ciancia V.
On binding in the spatial logics for closure spaces
2022 Bussi, L; Ciancia, V; Gadducci, F; Latella, D; Massink, M
Towards model checking video streams using VoxLogicA on GPUs
2022 Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M.
Querying medical imaging datasets using spatial logics (Position paper)
2021 Belmonte G.; Broccia G.; Bussi L.; Ciancia V.; Latella D.; Massink M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A toolchain for strategy synthesis with spatial properties | 1-gen-2023 | Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V | |
A toolchain for strategy synthesis with spatial properties - Complementary material | 1-gen-2023 | Basile D.; ter Beek M.H.; Bussi L.; Ciancia V. | |
On binding in the spatial logics for closure spaces | 1-gen-2022 | Bussi, L; Ciancia, V; Gadducci, F; Latella, D; Massink, M | |
Towards model checking video streams using VoxLogicA on GPUs | 1-gen-2022 | Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M. | |
Querying medical imaging datasets using spatial logics (Position paper) | 1-gen-2021 | Belmonte G.; Broccia G.; Bussi L.; Ciancia V.; Latella D.; Massink M. |