CIANCIA, VINCENZO
CIANCIA, VINCENZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
Geometric model checking of continuous space
2022 Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M.
Spatial logics and model checking for medical imaging
2019 Banci Buonamici, F; Belmonte, G; Ciancia, V; Latella, D; Massink, M
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis
2019 Belmonte G.; Ciancia V.; Latella D.; Massink M.
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
2018 Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M.
Spatio-temporal model checking of vehicular movement in public transport systems
2018 Ciancia V. ; Gilmore S.; Grilletti G.; Latella D.; Loreti M.; Massink M.
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy
2017 Belmonte G.; Ciancia V.; Latella D.; Massink M.; Biondi M.; De Otto G.; Nardone V.; Rubino G.; Vanzi E.; Banci Buonamici F.
Exploring nominal cellular automata
2017 Bolognesi, T; Ciancia, V
Model checking spatial logics for closure spaces
2016 Ciancia V.; Latella D.; Loreti M.; Massink M.
Spatio-temporal model-checking for collective adaptive systems
2016 Ciancia, V; Latella, D; Loreti, M; Massink, M
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
2014 Ter Beek M. H.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Massink M.
A Presheaf Environment for the Explicit Fusion Calculus
2012 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
| 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 | |
| Geometric model checking of continuous space | 1-gen-2022 | Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M. | |
| Spatial logics and model checking for medical imaging | 1-gen-2019 | Banci Buonamici, F; Belmonte, G; Ciancia, V; Latella, D; Massink, M | |
| VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis | 1-gen-2019 | Belmonte G.; Ciancia V.; Latella D.; Massink M. | |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL | 1-gen-2018 | Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M. | |
| Spatio-temporal model checking of vehicular movement in public transport systems | 1-gen-2018 | Ciancia V. ; Gilmore S.; Grilletti G.; Latella D.; Loreti M.; Massink M. | |
| A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy | 1-gen-2017 | Belmonte G.; Ciancia V.; Latella D.; Massink M.; Biondi M.; De Otto G.; Nardone V.; Rubino G.; Vanzi E.; Banci Buonamici F. | |
| Exploring nominal cellular automata | 1-gen-2017 | Bolognesi, T; Ciancia, V | |
| Model checking spatial logics for closure spaces | 1-gen-2016 | Ciancia V.; Latella D.; Loreti M.; Massink M. | |
| Spatio-temporal model-checking for collective adaptive systems | 1-gen-2016 | Ciancia, V; Latella, D; Loreti, M; Massink, M | |
| A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities | 1-gen-2014 | Ter Beek M. H.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Massink M. | |
| A Presheaf Environment for the Explicit Fusion Calculus | 1-gen-2012 | Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio |