Scholar
Florian Frohn
Google Scholar ID: zxMOPIcAAAAJ
RWTH Aachen University, Aachen, Germany
program verification
termination analysis
complexity analysis
Follow
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
Professor of Computer Science, RWTH Aachen University
Co-author 2
Co-author 3
Co-author 4
Co-author 5
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up