Nils Lommen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Integer Program

Column Generation

Complexity Analysis

Multistage Stochastic

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

Publications

Nils Lommen, Éléanore Meyer, Jürgen Giesl
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper). IJCAR (1) (2024)
Nils Lommen, Éléanore Meyer, Jürgen Giesl
Control-Flow Refinement for Probabilistic Programs in KoAT. CoRR (2024)
Nils Lommen, Jürgen Giesl
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. CoRR (2023)
Nils Lommen, Jürgen Giesl
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. FroCoS (2023)
Nils Lommen, Eleanore Meyer, Jürgen Giesl
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version). CoRR (2023)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. CoRR (2022)
Nils Lommen, Fabian Meyer, Jürgen Giesl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. IJCAR (2022)
Nils Lommen, Fabian Meyer, Jürgen Giesl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. CoRR (2022)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. The Logic of Software. A Tasting Menu of Formal Methods (2022)