Jesung Kim
About
Jesung Kim has authored 11 papers that have received a total of 447 indexed citations.
This includes 7 papers in Hardware and Architecture, 5 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (4 papers), Parallel Computing and Optimization Techniques (4 papers) and Advanced Data Storage Technologies (4 papers). Jesung Kim is often cited by papers focused on Formal Methods in Verification (4 papers), Parallel Computing and Optimization Techniques (4 papers) and Advanced Data Storage Technologies (4 papers) and collaborates with scholars based in United States and South Korea. Jesung Kim's co-authors include Insup Lee, Oleg Sokolsky, Sam H. Noh, Sang Lyul Min and Yookun Cho and has published in prestigious journals such as ACM SIGPLAN Notices, IEEE Transactions on Consumer Electronics and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by K. E. Aretouli are about Top journals papers by N.C. Cheng are published in Top authors papers by Jim Williams are co-authored with Top authors papers by Michael Schlenkrich are co-authored with Top countries impacted by papers by Deenesh Sohoni Top fields papers by Laura Girz are about Top countries impacted by papers by Yunzhao Liu Top countries impacted by papers by Jeffrey Kassel