Out of Control: Reducing Probabilistic Models by Control-State Elimination. - Tobias Winkler 001; Johannes Lehmann 001; Joost-Pieter Katoen (VMCAI, 2022)

Towards a Formal Account on Negative Latency. - Clemens Dubslaff; Jonas Schulz; Patrick Wienhöft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann 001 (AISoLA, 2023)

Backward Responsibility in Transition Systems Using General Power Indices. - Christel Baier; Roxane van den Bossche; Sascha Klüppelholz; Johannes Lehmann 001; Jakob Piribauer (AAAI, 2024)

Responsibility in Actor-Based Systems. - Christel Baier; Sascha Klüppelholz; Johannes Lehmann 001 (Rebeca for Actor Analysis in Action, 2025)

Backward Responsibility in Transition Systems Beyond Safety. - Christel Baier; Rio Klatt; Sascha Klüppelholz; Johannes Lehmann 001 (FMICS, 2025)