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
5 items
Proceedings of the 21st International Workshop on Termination
2026
Cited
0
Accelerating Loops with Arrays
2026
Cited
0
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
Marc Brockschmidt
Marc Brockschmidt
Research Scientist, Google DeepMind
Carsten Fuhs
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
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