Minimum-Peak-Cost Flows Over Time
Peak cost is a novel objective for flows over time that describes the amount of workforce necessary to... Read more
Published in Networks, 2025 | Download Paper | Download Slides | Download Bibtex
Publications
You can also find my articles on my Google Scholar profile.
Journal Articles
The dial-a-ride problem in primary care with flexible scheduling
Patient transportation systems are instrumental in lowering access barriers in primary care by taking patients to their general... Read more
Published in OR Spectrum, 2025 | Download Paper | Download Bibtex
Conference Papers
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of... Read more
Published in 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK, 2025 | Download Paper | Download Slides | Download Bibtex
Reasoning about distributed reconfigurable systems
This paper presents a Hoare-style calculus for formal reasoning about reconfiguration programs of distributed systems. Such programs create... Read more
Published in OOPSLA2, 2022 | Download Paper | Download Slides | Download Bibtex
Theses
Generalized temporally repeated flows for the quickest transshipment and related problems
This Master thesis by Emma Ahrens presents a detailed study of discrete-time flows over time, introducing generalized temporally... Read more
Published in RWTH Aachen University (Master Thesis), 2022 | Download Paper | Download Slides | Download Bibtex
Local Reasoning for Reconfigurable Distributed Systems
This Bachelor thesis presents a framework for reasoning about dynamically reconfigurable distributed systems modeled in the DR-BIP framework.... Read more
Published in RWTH Aachen University (Bachelor Thesis), 2021 | Download Paper
Standard Generators for Classical Groups
This Bachelor thesis investigates standard generators for finite classical groups, particularly focusing on black-box representations in computational group... Read more
Published in RWTH Aachen University (Bachelor Thesis), 2020 | Download Paper