CNR Institutional Research Information System

Sfoglia per Autore  LATELLA DIEGO

Opzioni
Mostrati risultati da 1 a 20 di 271
Titolo Data di pubblicazione Autore(i) File
Weak simplicial bisimilarity and minimisation for polyhedral model checking 1-gen-2026 Bezhanishvili, Nick; Bussi, Laura; Ciancia, Vincenzo; Gabelaia, David; Jibladze, Mamuka; Latella, Diego; Massink, Mieke; De Vink Erik, P.
Practical polyhedral model checking. A gentle introduction 1-gen-2026 Andriaccioyuri, ; Ciancia, Vincenzo; Latella, Diego; Massink, Mieke
Model checking in space with applications to medical image analysis: Invited abstract 1-gen-2026 Belmonte, Gina; Ciancia, Vincenzo; Latella, Diego; Massink, Mieke
On bisimilarity for quasi-discrete closure spaces 1-gen-2025 Ciancia, V.; Latella, D.; Massink, M.; De Vink, E. P.
Ten years of spatial model checking 1-gen-2025 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.
Measured causes: adding time and probability to true concurrency 1-gen-2024 Brinksma, E.; Langerak, R.; Latella, D.; Massink, M.
Towards hybrid-AI in imaging using VoxLogicA 1-gen-2024 Belmonte, G.; Bussi, L.; 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
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
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
On bisimilarity for polyhedral models and SLCS 1-gen-2023 Ciancia, V; Gabelaia, D; Latella, D; Massink, M; de Vink, Ep
Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale 1-gen-2023 Latella D.; Siroli G.P.; Tamburrini G.
Minimisation of spatial models using branching bisimilarity 1-gen-2023 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
Minimisation of spatial models using branching bisimilarity (extended version) 1-gen-2022 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
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.
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.
Mostrati risultati da 1 a 20 di 271
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile