From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. - Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (FORECAST@STAF, 2016)

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). - Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2018)

Spatial Logics and Model Checking for Medical Imaging (Extended Version). - Fabrizio Banci Buonamici; Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2018)

Innovating Medical Image Analysis via Spatial Logics. - Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (From Software Engineering to Formal Methods and Tools, and Back, 2019)

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. - Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (TACAS (1), 2019)

VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. - Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (ERCIM News, 2019)

Using Spatial Logic and Model Checking for Nevus Segmentation. - Gina Belmonte; Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2020)

Spatial logics and model checking for medical imaging. - Fabrizio Banci Buonamici; Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (Int. J. Softw. Tools Technol. Transf., 2020)

Feasibility of Spatial Model Checking for Nevus Segmentation. - Gina Belmonte; Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink (FormaliSE@ICSE, 2021)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). - Gina Belmonte; Giovanna Broccia; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink (MEDI Workshops, 2021)

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. - Vincenzo Ciancia; Gina Belmonte; Diego Latella; Mieke Massink (SPIN, 2021)

Towards Hybrid-AI in Imaging Using VoxLogicA. - Gina Belmonte; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink (ISoLA (4), 2024)

Symbolic and hybrid AI for brain tissue segmentation using spatial model checking. - Gina Belmonte; Vincenzo Ciancia; Mieke Massink (Artif. Intell. Medicine, 2025)

A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks. - Manuela Imbriani; Gina Belmonte; Mieke Massink; Alessandro Tofani; Vincenzo Ciancia (CoRR, 2025)