Ruediger Ehlers
Scholar

Ruediger Ehlers

Google Scholar ID: nAD0OHIAAAAJ
Clausthal University of Technology
Cyber-Physical SystemsFormal MethodsComplexity theoryReactive Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,708
 
H-index
17
 
i10-index
26
 
Publications
20
 
Co-authors
38
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
38 total
Ufuk Topcu
Ufuk Topcu
The University of Texas at Austin
Roderick Bloem
Roderick Bloem
Graz University of Technology
Co-author 3
Co-author 3
Hadas Kress-Gazit
Hadas Kress-Gazit
Cornell University
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Scott Niekum
Scott Niekum
Associate Professor, University of Massachusetts Amherst
Co-author 8
Co-author 8