Scholarly Index
Naijun Zhan
Peking University; 844 total citations; 97 total publications; best world rank #65
Peking University
844Total citations
97Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 984 | CN 41 | 92.42 |
| Formal Methods in Verification | 2021-2025 | 65 | CN 14 | 93.74 |
| Embedded Systems Design Techniques | 2021-2025 | 281 | CN 48 | 77.39 |
| semigroups and automata theory | 2021-2025 | 381 | CN 24 | 52.49 |
| Real-Time Systems Scheduling | 2021-2025 | 674 | CN 127 | 44.51 |
| Machine Learning and Algorithms | 2021-2025 | 742 | CN 192 | 37.62 |
| Logic, programming, and type systems | 2021-2025 | 871 | CN 53 | 35.35 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 615 | CN 51 | 34.59 |