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
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
Co-authors
9 total
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
Alfons Laarman
Alfons Laarman
Leiden University
Bart Jacobs
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Jun Pang
Jun Pang
University of Luxembourg
Alexander Serebrenik
Alexander Serebrenik
Full Professor of Social Software Engineering, Computer Science, Eindhoven University of Technology