Gina Belmonte

15 papers B 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2026 B conf
Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract.
FASE
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2025 J jnl
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks.
CoRR
Manuela Imbriani, Gina Belmonte, Mieke Massink, Alessandro Tofani, Vincenzo Ciancia
2025 J jnl
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking.
Artif. Intell. Medicine
Gina Belmonte, Vincenzo Ciancia, Mieke Massink
2024 — conf
Towards Hybrid-AI in Imaging Using VoxLogicA.
ISoLA (4)
Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 — conf
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.
SPIN
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
2021 — conf
Feasibility of Spatial Model Checking for Nevus Segmentation.
FormaliSE@ICSE
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 — conf
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).
MEDI Workshops
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2020 J jnl
Spatial logics and model checking for medical imaging.
Int. J. Softw. Tools Technol. Transf.
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2020 J jnl
Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 — conf
Innovating Medical Image Analysis via Spatial Logics.
From Software Engineering to Formal Methods and Tools, and Back
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 — conf
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
TACAS (1)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 J jnl
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.
ERCIM News
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018 J jnl
Spatial Logics and Model Checking for Medical Imaging (Extended Version).
CoRR
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018 J jnl
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
CoRR
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2016 — conf
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
FORECAST@STAF
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink