Nils Lommen

According to our database, Nils Lommen authored at least 22 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Targeting Completeness: Automated Complexity Analysis of Integer Programs.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

J. Autom. Reason., June, 2026

Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems.

Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll

CoRR, March, 2026

KoAT: Automatic Complexity and Termination Analysis of Integer Programs.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

Dataset, January, 2026

Loopy: Artifact, Evaluation, and Benchmarks.

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

Dataset, January, 2026

On Deciding Constant Runtime of Linear Loops.

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Modular Automatic Complexity Analysis of Recursive Integer Programs.

Nils Lommen, Jürgen Giesl

Proceedings of the Programming Languages and Systems, 2026

2025

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, November, 2025

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, October, 2025

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, October, 2025

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, February, 2025

AProVE(KoAT+LoAT) - (Competition Contribution).

Nils Lommen, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, December, 2024

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, November, 2024

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, November, 2024

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, November, 2024

AProVE (KoAT + LoAT).

Nils Lommen, Jürgen Giesl

Dataset, October, 2024

Control-Flow Refinement for Probabilistic Programs in KoAT.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

CoRR, 2024

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).

Nils Lommen, Éléanore Meyer, Jürgen Giesl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

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

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs.

Nils Lommen, Jürgen Giesl

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.

Nils Lommen, Fabian Meyer, Jürgen Giesl

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Improving Automatic Complexity Analysis of Integer Programs.

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022