Mieke Massink
Scholar

Mieke Massink

Google Scholar ID: FU8ms0kAAAAJ
CNR-ISTI
Formal Methods
Google Scholar↗
Citations & Impact
All-time
Citations
1,211
 
H-index
19
 
i10-index
29
 
Publications
20
 
Co-authors
44
list available
Contact
No contact links provided.
Publications
2 items
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 1
Co-author 2
Co-author 2
Jane Hillston
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Luca Bortolussi
Luca Bortolussi
Università di Trieste
Co-author 5
Co-author 5
Erik P. de Vink
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Co-author 7
Co-author 7
Co-author 8
Co-author 8