CIANCIA, VINCENZO Statistiche
CIANCIA, VINCENZO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 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.
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.
A presheaf environment for the calculus of explicit fusions
2012-01-01 Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio
A category of explicit fusions
2008-01-01 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
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. | |
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. | |
A presheaf environment for the calculus of explicit fusions | 1-gen-2012 | Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio | |
A category of explicit fusions | 1-gen-2008 | Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio |