A
Menu
January 01, 2026 conference-paper Aachen paper

On Deciding Constant Runtime of Linear Loops

Lecture notes in computer science, pp. 131–150

DOI: 10.1007/978-3-032-22749-2_7 OpenAlex

Authors 4

  1. Florian Frohn corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Peter Giesl

    University of Sussex

    Affiliation as printed

    Department of Mathematics, University of Sussex, Brighton, UK

  4. Nils Lommen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

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

References 32