Maarten Bartholomeus

According to our database, Maarten Bartholomeus authored at least 2 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.

Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2004

An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing.

Rien Gouweloos, Maarten Bartholomeus

Proceedings of the Algorithmic Methods for Railway Optimization, 2004