conf.researchr.org / Anton Wijs
Registered user since Tue 26 Jan 2016
Name:Anton Wijs
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website: http://www.win.tue.nl/~awijs
Research interests:model checking, equivalence checking, multi-core computing, gpu computing, graph transformation
Contributions
2024
2023
2021
2020
2019
ETAPS
- Author of Parallel SAT Simplification on GPU Architectures within the Posters-track
- Author of ETAPS Steering committee meeting within the Social-track
- Committee Member in Steering Committee
- Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track