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 fields papers by William Burns are about Top authors papers by Jinhua Ma are co-authored with Top journals papers by Yanhong Li are published in Top authors papers by Y. Padma Sai are co-authored with Top fields papers by Amy Gillis are about Top fields papers by Ali Fanian are about Top fields papers by Ralph G. Carter are about Top fields papers by Kevin Schultz are about