Chung-Kil Hur
Impact in
- Hardware and Architecture top 2%
- Parallel Computing and Optimization Techniques
- Software top 5%
- Software Testing and Debugging Techniques
Papers in
-
- Logic, programming, and type systems 39
- Security and Verification in Computing 19
- Logic, Reasoning, and Knowledge 15
-
- Formal Methods in Verification 22
- Co-authors
- Derek Dreyer (18 shared papers)Viktor Vafeiadis (16 shared papers)Nick Benton (5 shared papers)Jeehoon Kang (13 shared papers)Ori Lahav (8 shared papers)Georg Neis (8 shared papers)Marcelo Fiore (5 shared papers)Sriram K. Rajamani (4 shared papers)
- Journals
- ACM SIGPLAN Notices (12 papers)Proceedings of the ACM on Programming Languages (8 papers)Logical Methods in Computer Science (1 paper)Theoretical Computer Science (1 paper)Journal of Automated Reasoning (1 paper)
- Partner nations
- South KoreaGermanyUnited Kingdom
In The Last Decade
Chung-Kil Hur
50 papers receiving 1.0k citations
Peers
Comparison fields: 5 of 30
- Hardware and Architecture 391
- Software 111
- Artificial Intelligence 860
- Computational Theory and Mathematics 400
- Computer Networks and Communications 338
Countries citing papers authored by Chung-Kil Hur
This map shows the geographic impact of Chung-Kil Hur's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Chung-Kil Hur with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Chung-Kil Hur more than expected).
Fields of papers citing papers by Chung-Kil Hur
This network shows the impact of papers produced by Chung-Kil Hur. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Chung-Kil Hur. The network helps show where Chung-Kil Hur may publish in the future.
Co-authors
The 25 scholars most cited alongside Chung-Kil Hur, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 53 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2017 | 83 | |
| 2 | 2009 | 78 | |
| 3 | 2016 | 72 | |
| 4 | 2019 | 62 | |
| 5 | 2015 | 47 | |
| 6 | 2011 | 45 | |
| 7 | 2021 | 45 | |
| 8 | 2011 | 42 | |
| 9 | 2012 | 42 | |
| 10 | 2014 | 41 | |
| 11 | 2011 | 35 | |
| 12 | 2013 | 33 | |
| 13 | 2015 | 28 | |
| 14 | 2016 | 27 | |
| 15 | 2020 | 27 | |
| 16 | 2017 | 27 | |
| 17 | 2014 | 23 | |
| 18 | 2019 | 22 | |
| 19 | 2017 | 21 | |
| 20 | 2019 | 21 |
About Chung-Kil Hur
Chung-Kil Hur is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications and Software, having authored 53 papers that have together received 1.1k indexed citations. Recurring topics across this work include Logic, programming, and type systems (39 papers), Formal Methods in Verification (22 papers), Parallel Computing and Optimization Techniques (19 papers), Security and Verification in Computing (19 papers), Logic, Reasoning, and Knowledge (15 papers), Distributed systems and fault tolerance (14 papers), Software Testing and Debugging Techniques (7 papers) and Software Engineering Research (4 papers). The work is most often cited by research in Hardware and Architecture (391 citations), Software (111 citations), Artificial Intelligence (860 citations), Computational Theory and Mathematics (400 citations) and Computer Networks and Communications (338 citations). Chung-Kil Hur has collaborated with scholars based in South Korea, Germany and United Kingdom. Frequent co-authors include Derek Dreyer, Viktor Vafeiadis, Nick Benton, Jeehoon Kang, Ori Lahav, Georg Neis, Marcelo Fiore, Sriram K. Rajamani, Juneyoung Lee and John Regehr. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, Logical Methods in Computer Science, Theoretical Computer Science and Journal of Automated Reasoning.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.