A
Menu
January 28, 2026 software Open access Aachen paper

KoAT: Automatic Complexity and Termination Analysis of Integer Programs

Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18399478 Full text (OA) OpenAlex

Authors 3

  1. Nils Lommen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

  2. Éléanore Meyer Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

  3. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

Cited by 1 stored of 1

1 result

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

References 0