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

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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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)

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)

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

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games - George Christodoulou; Martin Gairing; Yiannis Giannakopoulos; Diogo Poças; Clara Waldmann (47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference), 2020)

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games - George Christodoulou; Martin Gairing; Yiannis Giannakopoulos; Diogo Poças; Clara Waldmann (CoRR, 2020)

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

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 (CoRR, 2018)

Index Appearance Record for Transforming Rabin Automata into Parity Automata - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, 2017)

Index appearance record for transforming Rabin automata into parity automata - Jan Kretínský; Tobias Meggendorfer; Clara Waldmann; Maximilian Weininger (CoRR, 2017)