Vincent Bloemen
发表
Boudewijn F. van Dongen,
Wil M. P. van der Aalst,
Jaco van de Pol,
2019,
Inf. Syst..
Jaco van de Pol,
Alexandre Duret-Lutz,
Vincent Bloemen,
2019,
International Journal on Software Tools for Technology Transfer.
Jarke J. van Wijk,
Huub van de Wetering,
Vincent Bloemen,
2020,
IEEE Transactions on Visualization and Computer Graphics.
Jaco van de Pol,
Vincent Bloemen,
Vincent Bloemen,
2016,
Haifa Verification Conference.
Alfons Laarman,
Laure Petrucci,
Jaco van de Pol,
2018,
Handbook of Parallel Constraint Reasoning.
Laure Petrucci,
Jaco van de Pol,
Étienne André,
2019,
TACAS.
Jaco van de Pol,
Vincent Bloemen,
Alexandre Duret-Lutz,
2017,
SPIN.
Vincent Bloemen,
2012
.
Vincent Bloemen,
Vincent Bloemen,
2015
.
Wil M. P. van der Aalst,
Jaco van de Pol,
Wil M.P. van der Aalst,
2018,
2018 18th International Conference on Application of Concurrency to System Design (ACSD).
Daniel Diaz,
Salvador Abreu,
Vincent Bloemen,
2014
.
Vincent Bloemen,
Vincent Bloemen,
2019
.
Boudewijn F. van Dongen,
Wil M. P. van der Aalst,
Jaco van de Pol,
2018,
BPM.
Alfons Laarman,
Jaco van de Pol,
Vincent Bloemen,
2016,
PPoPP.