Scholarly Index
Satya Prakash Nayak
Max Planck Institute for Software Systems; 27 total citations; 10 total publications; best world rank #424
Max Planck Institute for Software Systems
27Total citations
10Total publications
3H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 597 | DE 56 | 64.17 |
| Logic, programming, and type systems | 2021-2025 | 424 | DE 43 | 60.22 |
| Petri Nets in System Modeling | 2021-2025 | 606 | DE 34 | 22.29 |