Items where Author is "Waldmann, Clara"

Journal Article

Kretínský, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian (2022) Index appearance record with preorders. Acta Informatica, 59 (5): 5. pp. 585-618.

Contribution in Book/Report/Proceedings

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2024) Layered Symbolic Security Analysis in DY*. In: Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 3-21. ISBN 9783031514784

Kretínský, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian (2017) Index Appearance Record for Transforming Rabin Automata into Parity Automata. In: TACAS 2017 : Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 443-460. ISBN 9783662545768

Other

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2023) Layered Symbolic Security Analysis in DY*. UNSPECIFIED.