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 Rafeeq Muhammed are published in Top authors papers by David L. Thompson are co-authored with Top journals papers by Evgeni Peev are published in Top authors papers by Jerry L Graham are co-authored with Top fields papers by Rebecca Roache are about Top authors papers by C.J. Armentrout are co-authored with Top journals papers by Sheelagh Strawbridge are published in Top fields papers by Songkuk Kim are about