Nils Lommen
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
KoAT is a tool that automatically infers complexity bounds and proves termination of integer programs using an alternating modular analysis approach and a portfolio of techniques.
Highlighted terms show continued research focus across papers