Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version). - Nils Lommen; Eleanore Meyer; Jürgen Giesl (CoRR, 2023)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper). - Nils Lommen; Éléanore Meyer; Jürgen Giesl (IJCAR (1), 2024)

Control-Flow Refinement for Probabilistic Programs in KoAT. - Nils Lommen; Éléanore Meyer; Jürgen Giesl (CoRR, 2024)

Targeting Completeness: Automated Complexity Analysis of Integer Programs. - Nils Lommen; Éléanore Meyer; Jürgen Giesl (CoRR, 2024)

Deciding Termination of Simple Randomized Loops. - Éléanore Meyer; Jürgen Giesl (MFCS, 2025)