Gina Belmonte | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Diego Latella
11 publications
Mieke Massink
10 publications
Vincenzo Ciancia
9 publications
Fabrizio Banci Buonamici
1 publication
Giovanna Broccia
1 publication

research

∙ 12/24/2020

Using Spatial Logic and Model Checking for Nevus Segmentation

Spatial and spatio-temporal model checking techniques have a wide range ...

0 Gina Belmonte, et al. ∙

research

∙ 11/14/2018

Spatial Logics and Model Checking for Medical Imaging (Extended Version)

Recent research on spatial and spatio-temporal model checking provides n...

10 Fabrizio Banci Buonamici, et al. ∙

research

∙ 11/14/2018

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

Spatial and spatio-temporal model checking techniques have a wide range ...

0 Gina Belmonte, et al. ∙

research

∙ 07/08/2016

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

Recent research on formal verification for Collective Adaptive Systems (...

0 Gina Belmonte, et al. ∙