Improving Automatic Complexity Analysis of Integer Programs. - Jürgen Giesl; Nils Lommen; Marcel Hark; Fabian Meyer (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. - Nils Lommen; Fabian Meyer; Jürgen Giesl (IJCAR, 2022)

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. - Nils Lommen; Jürgen Giesl (FroCoS, 2023)

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)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2024)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2024)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2024)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2024)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2024)

AProVE(KoAT+LoAT) - (Competition Contribution). - Nils Lommen; Jürgen Giesl (TACAS (3), 2025)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2025)

AProVE (KoAT + LoAT). - Nils Lommen; Jürgen Giesl (Zenodo, 2025)