Gina Belmonte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2024 | ISoLA | Towards Hybrid-AI in Imaging Using VoxLogicA. | Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2021 | ICSE | Feasibility of Spatial Model Checking for Nevus Segmentation. | Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2021 | MEDI | Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2019 | TACAS | VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |