BUSSI, LAURA
BUSSI, LAURA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A spatial logic with time and quantifiers
2024 Bussi, L.; Ciancia, V.; Gadducci, F.
Logics of polyhedral reachability
2024 Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Fernandez-Duque, D.; Gabelaia, D.
Towards hybrid-AI in imaging using VoxLogicA
2024 Belmonte, G.; Bussi, L.; Ciancia, V.; Latella, D.; Massink, M.
Weak ±-minimisation for model checking polyhedra
2024 Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P.
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 spatial logic with time and quantifiers | 1-gen-2024 | Bussi, L.; Ciancia, V.; Gadducci, F. | |
Logics of polyhedral reachability | 1-gen-2024 | Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Fernandez-Duque, D.; Gabelaia, D. | |
Towards hybrid-AI in imaging using VoxLogicA | 1-gen-2024 | Belmonte, G.; Bussi, L.; Ciancia, V.; Latella, D.; Massink, M. | |
Weak ±-minimisation for model checking polyhedra | 1-gen-2024 | Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P. | |
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. |