Scholarly Index
Yuxin Deng
Shanghai Key Laboratory of Trustworthy Computing; 986 total citations; 88 total publications; best world rank #218
Shanghai Key Laboratory of Trustworthy Computing
986Total citations
88Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 862 | CN 38 | 93.19 |
| Computability, Logic, AI Algorithms | 2021-2025 | 218 | CN 20 | 59.69 |
| Safety Systems Engineering in Autonomy | 2021-2025 | 281 | CN 20 | 52.51 |
| Logic, programming, and type systems | 2021-2025 | 990 | CN 65 | 29.52 |