Scholar
Erika Abraham
Google Scholar ID: LtW3iTwAAAAJ
Professor, Computer Science Department, RWTH Aachen University
Formal Methods
Decision Procedures
Hybrid Systems
Probabilistic Systems
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,506
H-index
24
i10-index
64
Publications
20
Co-authors
29
list available
Co-authors
11 total
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Armando Tacchella
Professor, Information Processing Systems, University of Genoa
Marcello Bonsangue
Professor of Computer Science, Leiden University
Einar Broch Johnsen
Professor, University of Oslo
Thomas Sturm
Research Director, CNRS
