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 journals papers by Marie Garcia are published in Top fields papers by Nadiya Orel are about Top fields papers by Kaycey Pearce are about Top journals papers by A. Szklarczyk are published in Top journals papers by Sona Niroomand are published in Top journals papers by Takuji Sugimoto are published in Top fields papers by Michiel W. den Braver are about Top journals papers by Gerd Boehmer are published in