The Calculus of Temporal Influence. - Florian Bruse; Marit Kastaun; Martin Lange; Sören Möller (TIME, 2023)

Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science. - Maurice Herwig; Norbert Hundeshagen; Marit Kastaun; Cedric Kollenberg (DeLFI, 2024)