Jeroen Keiren
Scholar

Jeroen Keiren

Google Scholar ID: _nrYKCoAAAAJ
Assistant Professor, Eindhoven University of Technology, The Netherlands
Formal MethodsVerificationTestingModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
578
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
41
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
41 total
Co-author 1
Co-author 1
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Wieger Wesselink
Wieger Wesselink
AI Research Engineer, Eindhoven University of Technology
Erik P. de Vink
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Anton Wijs
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Co-author 6
Co-author 6
Thomas Neele
Thomas Neele
Assistant Professor, Eindhoven University of Technology
Co-author 8
Co-author 8