Scholarly Index
Jürgen Giesl
RWTH Aachen University; 1,734 total citations; 78 total publications; best world rank #403
RWTH Aachen University
1,734Total citations
78Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 403 | DE 41 | 95.39 |
| Formal Methods in Verification | Lifetime | 738 | DE 70 | 94.06 |