57 citations · 278 across the 28 of their papers we have counts for
3 papers · 1 filter
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…
A refined mean field approximation of synchronous discrete-time population models
Nicolas Gast, Diego Latella, Mieke Massink
Mean field approximation is a popular method to study the behaviour of stochastic models composed of a large number of interacting objects. When the objects are asynchronous, the m…