Scholarly Index
Gerhard Schellhorn
University of Augsburg; 974 total citations; 73 total publications; best world rank #571
University of Augsburg
974Total citations
73Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 744 | DE 73 | 94.02 |
| Logic, programming, and type systems | Lifetime | 841 | DE 80 | 91.58 |
| Safety Systems Engineering in Autonomy | Lifetime | 571 | DE 83 | 76.48 |