Florian Frohn

Identifiers

• name variant Florian Frohn 0.60 · backfill

Papers (3)

1. Accelerating Loops with Arrays cs.LO · 2026 · author #1
2. Infinite State Model Checking by Learning Transitive Relations cs.LO · 2025 · author #1
3. 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