CNR Institutional Research Information System

CIANCIA, VINCENZO

CIANCIA, VINCENZO  

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

Mostra records
Risultati 1 - 20 di 95 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
ISTI-day 2025 Proceedings 1-gen-2025 Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Z.; Miori, V.; Tolomei, G.; Waheed, T.; Marchetti, E.; Calabrò, A.; Rossetti, G.; Stella, M.; Cazabet, R.; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Moreo, A.; Sebastiani, F.; Sperduti, G.; Nguyen, D.; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, G.; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, J.; Meyer, T.; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, D.; Di Giandomenico, F.; Jee, E.; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, G.
On bisimilarity for quasi-discrete closure spaces 1-gen-2025 Ciancia, V.; Latella, D.; Massink, M.; De Vink, E. P.
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking 1-gen-2025 Belmonte, G.; Ciancia, V.; Massink, M.
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.
Logics of polyhedral reachability 1-gen-2024 Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Fernandez-Duque, D.; Gabelaia, D.
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.
D3.2.1: AA@THE User needs, technical requirements and specifications 1-gen-2023 Pratali, Lorenza; Delmastro, Franca; Campana, Mattia; Di Martino, Flavio; Pescosolido, Loreto; Barsocchi, Paolo; Broccia, Giovanna; Ciancia, Vincenzo; Gennaro, Claudio; Girolami, Michele; Lagani, Gabriele; Latella, Diego; Magrini, Massimo; Manca, Marco; Massink, Mieke; Mattioli, Andrea; Moroni, Davide; Palumbo, Filippo; Paradisi, Paolo; Paternò, Fabio; Sebastiani, Laura; Vairo, Claudio; Santoro, Carmelina; La Rosa, Davide
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, MAURICE HENRI; 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.