Kyungmin Bae
About
Kyungmin Bae has authored 15 papers that have received a total of 71 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 8 papers in Hardware and Architecture and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Real-Time Systems Scheduling (6 papers) and Model-Driven Software Engineering Techniques (6 papers). Kyungmin Bae is often cited by papers focused on Formal Methods in Verification (14 papers), Real-Time Systems Scheduling (6 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in Norway, United States and South Korea. Kyungmin Bae's co-authors include Peter Csaba Ölveczky, José Meseguer, Jia Lee, Soonho Kong and Minseok Kang and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and ACM Transactions on Embedded Computing Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Helene J. Kantor Top countries impacted by papers by Shinichi Namba Top journals papers by Shadman Sakib are published in Top authors papers by Yu. A. Usov are co-authored with Top authors papers by Ruhet Genç are co-authored with Top fields papers by Virginia Blain are about Top authors papers by Raja Sooriamurthi are co-authored with Top journals papers by Heiko Krumm are published in