CIANCIA, VINCENZO
CIANCIA, VINCENZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Practical polyhedral model checking. A gentle introduction
2026 Andriaccioyuri, ; Ciancia, Vincenzo; Latella, Diego; Massink, Mieke
Ten years of spatial model checking
2025 Ciancia, V.; Latella, D.; Massink, M.
A spatial logic with time and quantifiers
2024 Bussi, L.; Ciancia, V.; Gadducci, F.
Back-and-forth in space: on logics and bisimilarity in closure spaces
2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Towards model checking video streams using VoxLogicA on GPUs
2022 Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M.
Embedding RCC8D in the collective spatial logic CSLCS
2019 Ciancia V.; Latella D.; Massink M.
Innovating Medical Image Analysis via Spatial Logics
2019 Belmonte G.; Ciancia V.; Latella D.; Massink M.
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
2019 Ciancia, V; Venema, Y
From urelements to computation: A journey through applications of Fraenkel's permutation model in computer science
2016 Ciancia V.
Spatial logic and spatial model checking for closure spaces
2016 Ciancia V.; Latella D.; Loreti M.; Massink M.
An experimental spatio-temporal model checker
2015 Ciancia, V; Grilletti, G; Latella, D; Loreti, M; Massink, M
Quantitative Evaluation of Enforcement Strategies
2014 Ciancia V.; Martinelli F.; Matteucci I.; Morisset C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Practical polyhedral model checking. A gentle introduction | 1-gen-2026 | Andriaccioyuri, ; Ciancia, Vincenzo; Latella, Diego; Massink, Mieke | |
| Ten years of spatial model checking | 1-gen-2025 | Ciancia, V.; Latella, D.; Massink, M. | |
| A spatial logic with time and quantifiers | 1-gen-2024 | Bussi, L.; Ciancia, V.; Gadducci, F. | |
| Back-and-forth in space: on logics and bisimilarity in closure spaces | 1-gen-2022 | Ciancia V.; Latella D.; Massink M.; de Vink E.P. | |
| Towards model checking video streams using VoxLogicA on GPUs | 1-gen-2022 | Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M. | |
| Embedding RCC8D in the collective spatial logic CSLCS | 1-gen-2019 | Ciancia V.; Latella D.; Massink M. | |
| Innovating Medical Image Analysis via Spatial Logics | 1-gen-2019 | Belmonte G.; Ciancia V.; Latella D.; Massink M. | |
| Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages | 1-gen-2019 | Ciancia, V; Venema, Y | |
| From urelements to computation: A journey through applications of Fraenkel's permutation model in computer science | 1-gen-2016 | Ciancia V. | |
| Spatial logic and spatial model checking for closure spaces | 1-gen-2016 | Ciancia V.; Latella D.; Loreti M.; Massink M. | |
| An experimental spatio-temporal model checker | 1-gen-2015 | Ciancia, V; Grilletti, G; Latella, D; Loreti, M; Massink, M | |
| Quantitative Evaluation of Enforcement Strategies | 1-gen-2014 | Ciancia V.; Martinelli F.; Matteucci I.; Morisset C. |