12 citations · 26 across the 7 of their papers we have counts for
9 papers · 1 filter
On Bisimilarities for Closure Spaces - Preliminary Version
Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for…
Using Spatial Logic and Model Checking for Nevus Segmentation
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia +2
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the la…
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations
Vincenzo Ciancia, Diego Latella, Mieke Massink +1
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to mo…
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia +2
Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is…
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
Gina Belmonte, Vincenzo Ciancia, Diego Latella +1
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. We explor…
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
Diego Latella, Mieke Massink
Collective Adaptive Systems (CAS) consist of a large number of interacting objects. The design of such systems requires scalable analysis tools and methods, which have necessarily…