Anton Wijs - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

TACAS 2019	Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track Author of Parallel SAT Simplification on GPU Architectures within the TACAS 2019-track
ETAPS 2019	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
Show activities from other conferences

Using general profile