Scholar
Anton Wijs
Google Scholar ID: mp9xvPoAAAAJ
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Computer science
formal methods
model checking
GPU computing
multi-core computing
Follow
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
Thomas Neele
Assistant Professor, Eindhoven University of Technology
Jaco van de Pol
Professor of Computer Science, Aarhus University
Mark van den Brand
Professor Software Engineering and Technology, Eindhoven University of Technology
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Co-author 6
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