Scholar
Mieke Massink
Google Scholar ID: FU8ms0kAAAAJ
CNR-ISTI
Formal Methods
Follow
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 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
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up