Diego Latella

Identifiers

• name variant Diego Latella 0.60 · backfill

Papers (5)

1. Spatial Logics and Model Checking for Medical Imaging (Extended Version) cs.LO · 2018 · author #4
2. VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version) cs.LO · 2018 · author #3
3. Model Checking Spatial Logics for Closure Spaces cs.LO · 2016 · author #2
4. Specifying and Verifying Properties of Space - Extended Version cs.LO · 2014 · author #2
5. On-the-fly Fast Mean-Field Model-Checking: Extended Version cs.LO · 2013 · author #1

Mentions

• 1406.6393 #2 · backfill · confidence 0.70 Diego Latella
• 1312.3416 #1 · backfill · confidence 0.70 Diego Latella

Frequent Coauthors

• Mieke Massink 5 shared papers
• Vincenzo Ciancia 4 shared papers
• Michele Loreti 3 shared papers
• Gina Belmonte 2 shared papers
• Fabrizio Banci Buonamici 1 shared papers