57 citations · 278 across the 28 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020★ 1 cited
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…
cs.LO2020★ 6 cited
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…