LATELLA, DIEGO
LATELLA, DIEGO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Measured causes: adding time and probability to true concurrency
2024 Brinksma, E.; Langerak, R.; Latella, D.; Massink, M.
Weak simplicial bisimilarity for polyhedral models and SLCSη
2024 Bezhanishvili, N.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P.
Weak ±-minimisation for model checking polyhedra
2024 Bezhanishvili, N.; Bussi, L.; Ciancia, V.; Gabelaia, D.; Jibladze, M.; Latella, D.; Massink, M.; de Vink, E. P.
Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale
2023 Latella D.; Siroli G.P.; Tamburrini G.
Minimisation of spatial models using branching bisimilarity
2023 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
On bisimilarity for polyhedral models and SLCS
2023 Ciancia, V; Gabelaia, D; Latella, D; Massink, M; de Vink, Ep
On bisimilarity for polyhedral models and SLCS - Preliminary version
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
2023 Ciancia, V; Latella, D; Massink, M
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications
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
Back-and-forth in space: on logics and bisimilarity in closure spaces
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
2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Geometric model checking of continuous space
2022 Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M.
Minimisation of spatial models using branching bisimilarity (extended version)
2022 Ciancia, V; Groote, Jf; Latella, D; Massink, M; de Vink, Ep
On binding in the spatial logics for closure spaces
2022 Bussi, L; Ciancia, V; Gadducci, F; Latella, D; Massink, M
On the expressive power of IMLC and ISLCS
2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Towards a GUI for declarative medical image analysis: cognitive and memory load issues
2022 Broccia, G; Ciancia, V; Latella, D; Massink, M
Towards model checking video streams using VoxLogicA on GPUs
2022 Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M.
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation
2021 Broccia, G; Ciancia, V; Latella, D; Massink, M
A hands-on introduction to spatial model checking using VoxLogicA
2021 Ciancia V.; Belmonte G.; Latella D.; Massink M.
Feasibility of Spatial Model Checking for Nevus Segmentation
2021 Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Measured causes: adding time and probability to true concurrency | 1-gen-2024 | Brinksma, E.; Langerak, R.; 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. | |
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 | |
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 | |
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. | |
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation | 1-gen-2021 | Broccia, G; Ciancia, V; Latella, D; Massink, M | |
A hands-on introduction to spatial model checking using VoxLogicA | 1-gen-2021 | Ciancia V.; Belmonte G.; Latella D.; Massink M. | |
Feasibility of Spatial Model Checking for Nevus Segmentation | 1-gen-2021 | Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M |