most citedFrom Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

12 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2018

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…

cs.LO2016★ 12 cited

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Gina Belmonte, Vincenzo Ciancia, Diego Latella +1

Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel…