Jin‐Young Choi

147 papers and 1.2k indexed citations i.

Jin‐Young Choi has authored 147 papers that have received a total of 1.2k indexed citations. This includes 25 papers in Computer Networks and Communications, 25 papers in Computational Theory and Mathematics and 22 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (20 papers), Real-Time Systems Scheduling (16 papers) and Embedded Systems Design Techniques (12 papers). Jin‐Young Choi is often cited by papers focused on Formal Methods in Verification (20 papers), Real-Time Systems Scheduling (16 papers) and Embedded Systems Design Techniques (12 papers) and collaborates with scholars based in South Korea, United States and Canada. Jin‐Young Choi's co-authors include Jin Hyoung Kim, Seong Kug Eo, Koanhoi Kim, Seong Bum Kim and Insup Lee and has published in prestigious journals such as The Journal of Immunology, Advanced Functional Materials and Physical Review B.