Clara Waldmann

13 papers A* 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.
Math. Oper. Res.
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
2023 — conf
Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
ESORICS (3)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 J jnl
Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 — conf
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
ESORICS (3)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2023 J jnl
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
IACR Cryptol. ePrint Arch.
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2022 J jnl
Index appearance record with preorders.
Acta Informatica
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2020 A* conf
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.
ICALP
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
2020 J jnl
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.
CoRR
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
2019 J jnl
Budget Minimization with Precedence Constraints.
CoRR
Marinus Gottschau, Felix Happach, Marcus Kaiser, Clara Waldmann
2019 J jnl
The undirected two disjoint shortest paths problem.
Oper. Res. Lett.
Marinus Gottschau, Marcus Kaiser, Clara Waldmann
2018 J jnl
The Undirected Two Disjoint Shortest Paths Problem.
CoRR
Marinus Gottschau, Marcus Kaiser, Clara Waldmann
2017 — conf
Index Appearance Record for Transforming Rabin Automata into Parity Automata.
TACAS (1)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2017 J jnl
Index appearance record for transforming Rabin automata into parity automata.
CoRR
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger