Local Reasoning about Parameterized Reconfigurable Distributed Systems. - Emma Ahrens; Marius Bozga; Radu Iosif; Joost-Pieter Katoen (CoRR, 2021)

Reasoning about distributed reconfigurable systems. - Emma Ahrens; Marius Bozga; Radu Iosif; Joost-Pieter Katoen (Proc. ACM Program. Lang., 2022)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. - Emma Ahrens; Jan-Christoph Kassing; Jürgen Giesl; Joost-Pieter Katoen (FSCD, 2025)

Report on Probability in Computer Science (PICS) 2024. - Emma Ahrens; Christina Gehnen; Lena Verscht (ACM SIGLOG News, 2025)

Minimum-Peak-Cost Flows Over Time. - Mariia Anapolska; Emma Ahrens; Christina Büsing; Felix Engelhardt; Timo Gersing; Corinna Mathwieser; Sabrian Schmitz; Sophia Wrede (CoRR, 2025)