Gina Belmonte

According to our database1, Gina Belmonte authored at least 9 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Feasibility of Spatial Model Checking for Nevus Segmentation.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020
Spatial logics and model checking for medical imaging.
Int. J. Softw. Tools Technol. Transf., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR, 2020

2019
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.
ERCIM News, 2019

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Innovating Medical Image Analysis via Spatial Logics.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Spatial Logics and Model Checking for Medical Imaging (Extended Version).
CoRR, 2018

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
CoRR, 2018

2016
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016


  Loading...