Vincent Bloemen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2019
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | Minimal-Time Synthesis for Parametric Timed Automata. | tienne Andr, Vincent Bloemen, Laure Petrucci, Jaco van de Pol |
| 2018 | BPM | Maximizing Synchronization for Aligning Observed and Modelled Behaviour. | Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol |
| 2016 | PPoPP | Multi-core on-the-fly SCC decomposition. | Vincent Bloemen, Alfons Laarman, Jaco van de Pol |