Lena Verscht

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Automated Deduction

Top Venues

Proc. ACM Program. Lang.

Publications

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. Proc. ACM Program. Lang. 7 (POPL) (2023)
Lena Verscht, Benjamin Lucien Kaminski
Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond. CoRR (2023)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. CoRR (2022)