A
Menu
January 01, 2026 article Open access Aachen paper

KoAT: Automatic Complexity and Termination Analysis of Integer Programs

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2026-08945 Full text (OA) OpenAlex

Authors 3

  1. Nils Michael Lommen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Éléanore Marie Meyer Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0