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.18399479 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 0 stored of 0

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

References 0