Scholar
Ruediger Ehlers
Google Scholar ID: nAD0OHIAAAAJ
Clausthal University of Technology
Cyber-Physical Systems
Formal Methods
Complexity theory
Reactive Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,708
H-index
17
i10-index
26
Publications
20
Co-authors
38
list available
Co-authors
9 total
Ufuk Topcu
The University of Texas at Austin
Roderick Bloem
Graz University of Technology
Bettina Könighofer
Assistant Professor, Graz University of Technology, Austria
Hadas Kress-Gazit
Cornell University
Scott Niekum
Associate Professor, University of Massachusetts Amherst
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Stavros Tripakis
Associate Professor, Northeastern University
Moshe Y. Vardi
Rice University
