BUSSI, LAURA Statistiche
BUSSI, LAURA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.003 secondi).
A Spatial Logic with Time and Quantifiers
2024-01-01 Bussi, Laura; Ciancia, Vincenzo; Gadducci, Fabio
On Binding in the Spatial Logics for Closure Spaces
2022-01-01 Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M.
Soft Concurrent Constraint Programming with Local Variables
2022-01-01 Bussi, L; Gadducci, F; Santini, F
Towards Model Checking Video Streams Using VoxLogicA on GPUs
2022-01-01 Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M.
Towards a Spatial Model Checker on GPU
2021-01-01 Bussi, L.; Ciancia, V.; Gadducci, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Spatial Logic with Time and Quantifiers | 1-gen-2024 | Bussi, Laura; Ciancia, Vincenzo; Gadducci, Fabio | |
On Binding in the Spatial Logics for Closure Spaces | 1-gen-2022 | Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M. | |
Soft Concurrent Constraint Programming with Local Variables | 1-gen-2022 | Bussi, L; Gadducci, F; Santini, F | |
Towards Model Checking Video Streams Using VoxLogicA on GPUs | 1-gen-2022 | Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M. | |
Towards a Spatial Model Checker on GPU | 1-gen-2021 | Bussi, L.; Ciancia, V.; Gadducci, F. |