A Process Algebra for Link Layer Protocols. - Rob van Glabbeek; Peter Höfner; Michael Markl 002 (ESOP, 2019)

Machine-Learned Prediction Equilibrium for Dynamic Traffic Assignment. - Lukas Graf 001; Tobias Harks; Kostas Kollias; Michael Markl 002 (AAAI, 2022)

Prediction Equilibrium for Dynamic Network Flows. - Lukas Graf 001; Tobias Harks; Kostas Kollias; Michael Markl 002 (J. Mach. Learn. Res., 2023)

Computing User Equilibria for Schedule-Based Transit Networks with Hard Vehicle Capacities. - Tobias Harks; Sven Jäger 001; Michael Markl 002; Philine Schiewe (ATMOS, 2024)

Stochastic Prediction Equilibrium for Dynamic Traffic Assignment. - Lukas Graf 001; Tobias Harks; Michael Markl 002 (CoRR, 2024)

Carbon Pricing in Traffic Networks. - Svenja M. Griesbach; Tobias Harks; Max Klimm; Michael Markl 002; Philipp Warode (CoRR, 2025)