Erika Abraham
Scholar

Erika Abraham

Google Scholar ID: LtW3iTwAAAAJ
Professor, Computer Science Department, RWTH Aachen University
Formal MethodsDecision ProceduresHybrid SystemsProbabilistic SystemsProgramming Languages
Google Scholar↗
Citations & Impact
All-time
Citations
2,506
 
H-index
24
 
i10-index
64
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
29 total
Nils Jansen
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Co-author 2
Co-author 2
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Sebastian Junges
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen