Kihong Heo
About
Kihong Heo has authored 18 papers that have received a total of 165 indexed citations.
This includes 15 papers in Software, 13 papers in Artificial Intelligence and 8 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (8 papers) and Software Engineering Research (8 papers). Kihong Heo is often cited by papers focused on Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (8 papers) and Software Engineering Research (8 papers) and collaborates with scholars based in South Korea, United States and United Kingdom. Kihong Heo's co-authors include Hakjoo Oh, Wonchan Lee, Kwangkeun Yi, Mayur Naik and Hongseok Yang and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Software Practice and Experience
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by H. Muramoto are published in Top countries impacted by papers by Alain Vachoux Top journals papers by Tian Xia are published in Top authors papers by Jed McKinney are co-authored with Top fields papers by A. Traill are about Top countries impacted by papers by J. Warwick Top fields papers by Deborah E. McDowell are about Top fields papers by Martina Haberecker are about