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

Research interests:model checking, equivalence checking, multi-core computing, gpu computing, graph transformation

Contributions

TACAS 2019	The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability Parallel SAT Simplification on GPU Architectures
ETAPS 2019	Parallel SAT Simplification on GPU Architectures ETAPS Steering committee meeting Committee Member in Steering Committee The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Show activities from other conferences