Erik P. de Vink
Scholar

Erik P. de Vink

Google Scholar ID: 1L7UeyMAAAAJ
Associate Professor, Eindhoven University of Technology
Formal MethodsProbabilistic ProcessesSoftware Product Lines
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,673
 
H-index
31
 
i10-index
74
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
1 items
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
14 total
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Ana Sokolova
Ana Sokolova
Professor at University of Salzburg
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Mieke Massink
Mieke Massink
CNR-ISTI
Maurice H. ter Beek
Maurice H. ter Beek
ISTI, CNR
Sjouke Mauw
Sjouke Mauw
Professor in Security and Trust of Software Systems, University of Luxembourg
Diego Latella
Diego Latella
Senior Researcher - CNR-ISTI Pisa (ret.)