Scholarly Index
Anne-Kathrin Schmuck
Max Planck Institute for Software Systems; 318 total citations; 43 total publications; best world rank #215
Max Planck Institute for Software Systems
318Total citations
43Total publications
9H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 327 | DE 27 | 75.94 |
| Petri Nets in System Modeling | 2021-2025 | 215 | DE 8 | 62.76 |
| Logic, programming, and type systems | 2021-2025 | 410 | DE 40 | 60.89 |