Scholarly Index
Alexander Bentkamp
Chinese Academy of Sciences; 90 total citations; 18 total publications; best world rank #79
Chinese Academy of Sciences
90Total citations
18Total publications
6H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 79 | CN 4 | 86.25 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 222 | CN 6 | 76.13 |
| Formal Methods in Verification | 2021-2025 | 482 | CN 85 | 68.56 |