CIANCIA, VINCENZO
CIANCIA, VINCENZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.024 secondi).
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.