Index Appearance Record for Transforming Rabin Automata into Parity Automata. - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (TACAS (1), 2017)

Budget Minimization with Precedence Constraints. - Marinus Gottschau; Felix Happach; Marcus Kaiser; Clara Waldmann (CoRR, 2019)

The undirected two disjoint shortest paths problem. - Marinus Gottschau; Marcus Kaiser; Clara Waldmann (Oper. Res. Lett., 2019)

Index appearance record with preorders. - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (Acta Informatica, 2022)

Layered Symbolic Security Analysis in $ textsf {DY}^ star $. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (ESORICS (3), 2023)

Layered Symbolic Security Analysis in DY$^ star$. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)

The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. - Florian Helmschmidt; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. - George Christodoulou 001; Martin Gairing; Yiannis Giannakopoulos; Diogo Poças; Clara Waldmann (Math. Oper. Res., 2023)