Scholarly Index
Bernd Finkbeiner
Helmholtz Center for Information Security; 1,625 total citations; 103 total publications; best world rank #42
Helmholtz Center for Information Security
1,625Total citations
103Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 473 | DE 43 | 95.68 |
| Formal Methods in Verification | 2021-2025 | 42 | DE 5 | 95.22 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 132 | DE 17 | 82.96 |
| Logic, programming, and type systems | 2021-2025 | 125 | DE 11 | 80.79 |
| Embedded Systems Design Techniques | 2021-2025 | 268 | DE 34 | 78.02 |
| Security and Verification in Computing | 2021-2025 | 639 | DE 50 | 66.82 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 595 | DE 124 | 36.24 |