CIANCIA, VINCENZO

CIANCIA, VINCENZO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 89 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
A spatial logic with time and quantifiers 1-gen-2024 Bussi, L.; Ciancia, V.; Gadducci, F.
Towards hybrid-AI in imaging using VoxLogicA 1-gen-2024 Belmonte, G.; Bussi, L.; Ciancia, V.; Latella, D.; Massink, M.
Weak simplicial bisimilarity for polyhedral models and SLCSη 1-gen-2024 Bezhanishvili, N.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P.
Weak ±-minimisation for model checking polyhedra 1-gen-2024 Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P.
A toolchain for strategy synthesis with spatial properties 1-gen-2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
A toolchain for strategy synthesis with spatial properties - Complementary material 1-gen-2023 Basile D.; ter Beek M.H.; Bussi L.; Ciancia V.
Minimisation of spatial models using branching bisimilarity 1-gen-2023 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
On bisimilarity for polyhedral models and SLCS 1-gen-2023 Ciancia, V; Gabelaia, D; Latella, D; Massink, M; de Vink, Ep
On bisimilarity for polyhedral models and SLCS - Preliminary version 1-gen-2023 Ciancia V.; Gabelaia D.; Latella D.; Massink M.; de Vink E. P.
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 1-gen-2023 Ciancia, V; Latella, D; Massink, M
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 1-gen-2023 Pratali, L; Campana, MATTIA GIOVANNI; Delmastro, F; Di Martino, F; Pescosolido, L; Barsocchi, P; Broccia, G; Ciancia, V; Gennaro, C; Girolami, M; Lagani, G; La Rosa, D; Latella, D; Magrini, M; Manca, M; Massink, M; Mattioli, A; Moroni, D; Palumbo, F; Paradisi, P; Paternò, F; Santoro, C; Sebastiani, L; Vairo, C
An experimental toolchain for strategy synthesis with spatial properties 1-gen-2022 Basile D.; ter Beek M.H.; Ciancia V.
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.
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 1-gen-2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Geometric model checking of continuous space 1-gen-2022 Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M.
Minimisation of spatial models using branching bisimilarity (extended version) 1-gen-2022 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
On binding in the spatial logics for closure spaces 1-gen-2022 Bussi, L; Ciancia, V; Gadducci, F; Latella, D; Massink, M
On the expressive power of IMLC and ISLCS 1-gen-2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 1-gen-2022 Broccia, G; Ciancia, V; 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.