Nils Lommen

17 papers A 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Modular Automatic Complexity Analysis of Recursive Integer Programs.
ESOP (2)
Nils Lommen, Jürgen Giesl
2026 — conf
On Deciding Constant Runtime of Linear Loops.
TACAS (2)
Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen
2026 J jnl
On Deciding Constant Runtime of Linear Loops.
CoRR
Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen
2026 J jnl
Targeting Completeness: Automated Complexity Analysis of Integer Programs.
J. Autom. Reason.
Nils Lommen, Éléanore Meyer, Jürgen Giesl
2026 J jnl
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems.
CoRR
Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll
2025 — conf
AProVE(KoAT+LoAT) - (Competition Contribution).
TACAS (3)
Nils Lommen, Jürgen Giesl
2025 J jnl
Modular Automatic Complexity Analysis of Recursive Integer Programs.
CoRR
Nils Lommen, Jürgen Giesl
2024 — conf
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).
IJCAR (1)
Nils Lommen, Éléanore Meyer, Jürgen Giesl
2024 J jnl
Control-Flow Refinement for Probabilistic Programs in KoAT.
CoRR
Nils Lommen, Éléanore Meyer, Jürgen Giesl
2024 J jnl
Targeting Completeness: Automated Complexity Analysis of Integer Programs.
CoRR
Nils Lommen, Éléanore Meyer, Jürgen Giesl
2023 J jnl
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version).
CoRR
Nils Lommen, Eleanore Meyer, Jürgen Giesl
2023 — conf
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs.
FroCoS
Nils Lommen, Jürgen Giesl
2023 J jnl
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs.
CoRR
Nils Lommen, Jürgen Giesl
2022 A conf
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.
IJCAR
Nils Lommen, Fabian Meyer, Jürgen Giesl
2022 J jnl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.
CoRR
Nils Lommen, Fabian Meyer, Jürgen Giesl
2022 — conf
Improving Automatic Complexity Analysis of Integer Programs.
The Logic of Software. A Tasting Menu of Formal Methods
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
2022 J jnl
Improving Automatic Complexity Analysis of Integer Programs.
CoRR
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer