Mieke Massink

Identifiers

• name variant Mieke Massink 0.60 · backfill

Papers (6)

1. Spatial Logics and Model Checking for Medical Imaging (Extended Version) cs.LO · 2018 · author #5
2. VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version) cs.LO · 2018 · author #4
3. Model Checking Spatial Logics for Closure Spaces cs.LO · 2016 · author #4
4. Specifying and Verifying Properties of Space - Extended Version cs.LO · 2014 · author #4
5. On-the-fly Fast Mean-Field Model-Checking: Extended Version cs.LO · 2013 · author #3
6. Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems cs.PL · 2012 · author #2

Mentions

• 1406.6393 #4 · backfill · confidence 0.70 Mieke Massink
• 1312.3416 #3 · backfill · confidence 0.70 Mieke Massink
• 1207.0559 #2 · backfill · confidence 0.70 Mieke Massink

Frequent Coauthors

• Diego Latella 5 shared papers
• Vincenzo Ciancia 4 shared papers
• Michele Loreti 3 shared papers
• Gina Belmonte 2 shared papers
• Fabrizio Banci Buonamici 1 shared papers
• Herbert Wiklicky 1 shared papers