Insup Lee

335 papers and 4.5k indexed citations i.

About

Insup Lee has authored 335 papers that have received a total of 4.5k indexed citations. This includes 118 papers in Hardware and Architecture, 102 papers in Computational Theory and Mathematics and 72 papers in Computer Networks and Communications. The topics of these papers are Real-Time Systems Scheduling (102 papers), Formal Methods in Verification (81 papers) and Embedded Systems Design Techniques (68 papers). Insup Lee is often cited by papers focused on Real-Time Systems Scheduling (102 papers), Formal Methods in Verification (81 papers) and Embedded Systems Design Techniques (68 papers) and collaborates with scholars based in United States, South Korea and Canada. Insup Lee's co-authors include Oleg Sokolsky, Miroslav Pajić, Linh Thi Xuan Phan, Arvind Easwaran and James Weimer and has published in prestigious journals such as The Journal of Chemical Physics, Applied Physics Letters and The Journal of Clinical Endocrinology & Metabolism

In The Last Decade

Rankless by CCL
2025