Post navigation

Paper at CONCUR 2022
June 26, 2022
The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR), to be …
Paper at FMICS 2022
June 24, 2022
The paper entitled “Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining” by Th. Noll, J. Berger (both MOVES), W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), …
Paper at RAILWAYS 2022
June 24, 2022
The paper entitled “Identification of bottlenecks in rail infrastructure” by W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron management consulting …