Scholarly Index
Chung-Kil Hur
Seoul National University; 1,970 total citations; 63 total publications; best world rank #157
Seoul National University
1,970Total citations
63Total publications
26H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 280 | KR 2 | 96.33 |
| Formal Methods in Verification | Lifetime | 657 | KR 1 | 94.55 |
| Security and Verification in Computing | Lifetime | 706 | KR 6 | 91.19 |
| Distributed systems and fault tolerance | 2021-2025 | 216 | KR 3 | 80.80 |
| Logic, programming, and type systems | 2021-2025 | 157 | KR 5 | 78.16 |