A
Menu
January 01, 2022 conference-paper Aachen paper

Improving Automatic Complexity Analysis of Integer Programs

Lecture notes in computer science, pp. 193–228

DOI: 10.1007/978-3-031-08166-8_10 OpenAlex

Authors 4

  1. Jürgen Giesl corresponding Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  2. Nils Lommen Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  3. Marcel Hark Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  4. Fabian Meyer Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

Cited by 10 stored of 10

10 results

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

References 54