Scholar
Mieke Massink
Google Scholar ID: FU8ms0kAAAAJ
CNR-ISTI
Formal Methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
4,305
H-index
34
i10-index
86
Publications
20
Co-authors
44
list available
Contact
No contact links provided.
Publications
3 items
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
2026
Cited
0
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
2025
Cited
0
Practical Exploration of Polyhedral Model Checking
2025
Cited
0
Resume (English only)
Co-authors
44 total
Co-author 1
Co-author 2
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Luca Bortolussi
Università di Trieste
Co-author 5
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Gavin Doherty
Professor in Computer Science, Trinity College Dublin
Co-author 8
