Maarten Bartholomeus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2004–2018
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMICS | Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. | Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
| 2004 | ATMOS | An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing. | Rien Gouweloos, Maarten Bartholomeus |