Fabrizio Banci Buonamici

According to our database, Fabrizio Banci Buonamici authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Spatial logics and model checking for medical imaging.

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Int. J. Softw. Tools Technol. Transf., 2020

2018

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

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2018