Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond. - Lena Verscht; Benjamin Lucien Kaminski (CoRR, 2023)

A Calculus for Amortized Expected Runtimes. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Lena Verscht (Proc. ACM Program. Lang., 2023)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests. - Lena Verscht; Benjamin Lucien Kaminski (Proc. ACM Program. Lang., 2025)

Report on Probability in Computer Science (PICS) 2024. - Emma Ahrens; Christina Gehnen; Lena Verscht (ACM SIGLOG News, 2025)

Partial Incorrectness Logic. - Lena Verscht; Anrán Wáng; Benjamin Lucien Kaminski (CoRR, 2025)