Scholarly Index
Kwangkeun Yi
Seoul National University; 1,328 total citations; 108 total publications; best world rank #467
Seoul National University
1,328Total citations
108Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 467 | KR 3 | 94.67 |
| Software Testing and Debugging Techniques | Lifetime | 743 | KR 12 | 93.92 |
| Formal Methods in Verification | Lifetime | 944 | KR 3 | 92.66 |
| Security and Verification in Computing | Lifetime | 834 | KR 15 | 89.61 |