Jesung Kim

11 papers and 447 indexed citations i.

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