The Concrete Tetrahedron

• Termination of triangular polynomial loops

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

  8

  citations
• The probabilistic termination tool amber

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

  5

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

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

  31

  citations
• Termination of Polynomial Loops

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

  12

  citations

4 results