Scholarly Index
Kyungmin Bae
Pohang University of Science and Technology; 384 total citations; 37 total publications; best world rank #138
Pohang University of Science and Technology
384Total citations
37Total publications
11H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 138 | KR 1 | 87.23 |
| Logic, programming, and type systems | 2021-2025 | 392 | KR 8 | 61.94 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 315 | KR 1 | 56.44 |
| Real-Time Systems Scheduling | 2021-2025 | 879 | KR 41 | 34.17 |
| Petri Nets in System Modeling | 2021-2025 | 615 | KR 6 | 20.54 |