Scholar

Mieke Massink

Google Scholar ID: FU8ms0kAAAAJ

CNR-ISTI

Formal Methods

Google Scholar↗

Citations & Impact

All-time

Citations

4,305

H-index

34

i10-index

86

Publications

20

Co-authors

44

list available

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

Co-authors

7 total

Professor of Quantitative Modelling, University of Edinburgh

Luca Bortolussi

Università di Trieste

Erik P. de Vink

Associate Professor, Eindhoven University of Technology

Professor in Computer Science, Trinity College Dublin

Professore di Informatica, Università di Pisa

Mauro Birattari

F.R.S.–FNRS Research Director, IRIDIA, Université libre de Bruxelles

FNRS Research Director, IRIDIA, Université Libre de Bruxelles