Vincenzo Ciancia

Identifiers

• name variant Vincenzo Ciancia 0.60 · backfill

Papers (7)

1. Spatial Logics and Model Checking for Medical Imaging (Extended Version) cs.LO · 2018 · author #3
2. VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version) cs.LO · 2018 · author #2
3. Model Checking Spatial Logics for Closure Spaces cs.LO · 2016 · author #1
4. Specifying and Verifying Properties of Space - Extended Version cs.LO · 2014 · author #1
5. A decidable class of (nominal) omega-regular languages over an infinite alphabet cs.FL · 2013 · author #1
6. Interaction and observation: categorical semantics of reactive systems trough dialgebras cs.LO · 2012 · author #1
7. Interaction and observation, categorically cs.PL · 2011 · author #1

Mentions

• 1406.6393 #1 · backfill · confidence 0.70 Vincenzo Ciancia
• 1310.3945 #1 · backfill · confidence 0.70 Vincenzo Ciancia
• 1209.5903 #1 · backfill · confidence 0.70 Vincenzo Ciancia
• 1108.0464 #1 · backfill · confidence 0.70 Vincenzo Ciancia

Frequent Coauthors

• Diego Latella 4 shared papers
• Mieke Massink 4 shared papers
• Gina Belmonte 2 shared papers
• Michele Loreti 2 shared papers
• Fabrizio Banci Buonamici 1 shared papers
• Matteo Sammartino 1 shared papers