Nils Lommen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jürgen Giesl
21 publications
Fabian Meyer
8 publications
Marcel Hark
5 publications
Eleanore Meyer
1 publication

research

∙ 07/19/2023

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)

There exist several results on deciding termination and computing runtim...

0 Nils Lommen, et al. ∙

research

∙ 07/13/2023

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

We present a new procedure to infer size bounds for integer programs aut...

0 Nils Lommen, et al. ∙

research

∙ 05/18/2022

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

There exist several results on deciding termination and computing runtim...

0 Nils Lommen, et al. ∙

research

∙ 02/03/2022

Improving Automatic Complexity Analysis of Integer Programs

In earlier work, we developed an approach for automatic complexity analy...

0 Jürgen Giesl, et al. ∙