Florian Frohn
Scholar

Florian Frohn

Google Scholar ID: zxMOPIcAAAAJ
RWTH Aachen University, Aachen, Germany
program verificationtermination analysiscomplexity analysis
Google Scholar↗
Citations & Impact
All-time
Citations
499
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
3 items
On Deciding Constant Runtime of Linear Loops
2026
Cited
0
Infinite State Model Checking by Learning Transitive Relations
2025
Cited
0
Satisfiability Modulo Exponential Integer Arithmetic
International Joint Conference on Automated Reasoning · 2024
Cited
1
Resume (English only)
Co-authors
11 total
Jürgen Giesl
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Peter Schneider-Kamp
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Co-author 7
Co-author 7
Co-author 8
Co-author 8