Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vincent Bloemen
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2017 profile
PPoPP 2016 profile
Registered user since Wed 20 Jan 2016
Name:
Vincent Bloemen
Affiliation:
University of Twente
Contributions
2019
ETAPS
Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track
TACAS
Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track
2016
Principles and Practice of Parallel Programming
Author of Multi-Core On-The-Fly SCC Decomposition within the Main conference-track
Share
x
Thu 21 Nov 12:35