Florian Frohn
Identifiers
- name variant Florian Frohn 0.60 · backfill
Papers (3)
- Accelerating Loops with Arrays cs.LO · 2026 · author #1
- Infinite State Model Checking by Learning Transitive Relations cs.LO · 2025 · author #1
- Termination of Triangular Integer Loops is Decidable cs.LO · 2019 · author #1
Mentions
- 2605.19499 #1 · arxiv_oai · confidence 0.70 Florian Frohn
Frequent Coauthors
- J\"urgen Giesl 3 shared papers