57 citations · 219 across the 25 of their papers we have counts for
3 papers · 1 filter
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…
Refined Mean Field Analysis of the Gossip Shuffle Protocol -- extended version --
Nicolas Gast, Diego Latella, Mieke Massink
Gossip protocols form the basis of many smart collective adaptive systems. They are a class of fully decentralised, simple but robust protocols for the distribution of information…