Gina Belmonte

Using Spatial Logic and Model Checking for Nevus Segmentation pdf

Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2020, ArXiv.

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version) pdf

Gina Belmonte, Vincenzo Ciancia, Diego Latella, 2018, TACAS.

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

Gina Belmonte, Vincenzo Ciancia, Diego Latella, 2016, FORECAST@STAF.

Spatial logics and model checking for medical imaging

Gina Belmonte, Vincenzo Ciancia, Diego Latella, 2018, International Journal on Software Tools for Technology Transfer.

Innovating Medical Image Analysis via Spatial Logics

Gina Belmonte, Vincenzo Ciancia, Mieke Massink, 2019, From Software Engineering to Formal Methods and Tools, and Back.

Feasibility of Spatial Model Checking for Nevus Segmentation

Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution

Gina Belmonte, Vincenzo Ciancia, Diego Latella, 2021, SPIN.

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)

Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2021, MEDI Workshops.

Evaluation of Corticospinal Tract Impairment in the Brain of Patients With Amyotrophic Lateral Sclerosis by Using Diffusion Tensor Imaging Acquisition Schemes With Different Numbers of Diffusion-Weighting Directions

Gina Belmonte, Marco Giannelli, Gabriele Siciliano, 2010, Journal of computer assisted tomography.

EEG topography-specific BOLD changes: a continuous EEG-fMRI study in a patient with focal epilepsy.

Gina Belmonte, Mario Mascalchi, Mirco Cosottini, 2010, Magnetic resonance imaging.