Nils Lommen

According to our database, Nils Lommen authored at least 6 papers between 2022 and 2024.

Collaborative distances:

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

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