Anton Wijs
Scholar

Anton Wijs

Google Scholar ID: mp9xvPoAAAAJ
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Computer scienceformal methodsmodel checkingGPU computingmulti-core computing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,881
 
H-index
27
 
i10-index
53
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
Publications
3 items
Scalable Deductive Verification of Data-Level Parallel Programs
2026
Cited
0
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
2026
Cited
0
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
2025
Cited
0
Resume (English only)
Co-authors
26 total
Co-author 1
Co-author 1
Thomas Neele
Thomas Neele
Assistant Professor, Eindhoven University of Technology
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Mark van den Brand
Mark van den Brand
Professor Software Engineering and Technology, Eindhoven University of Technology
Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8