Scholarly Index
He Jifeng
China University of Geosciences (Beijing); 1,546 total citations; 50 total publications; best world rank #961
China University of Geosciences (Beijing)
1,546Total citations
50Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 966 | CN 39 | 92.54 |
| Logic, programming, and type systems | Lifetime | 961 | CN 13 | 90.67 |