Termination of Integer Linear Programs

• On Deciding Constant Runtime of Linear Loops

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• KoAT: Automatic Complexity and Termination Analysis of Integer Programs

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• Termination of triangular polynomial loops

  2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  8

  citations
• Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs

  2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  7

  citations
• Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  7

  citations
• Polynomial Loops: Beyond Termination

  2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

  13

  citations
• Termination of Polynomial Loops

  2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  12

  citations

8 results