I. Lee

8 papers and 187 indexed citations i.

I. Lee has authored 8 papers that have received a total of 187 indexed citations. This includes 6 papers in Hardware and Architecture, 5 papers in Computational Theory and Mathematics and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (4 papers), Real-Time Systems Scheduling (4 papers) and Embedded Systems Design Techniques (3 papers). I. Lee is often cited by papers focused on Formal Methods in Verification (4 papers), Real-Time Systems Scheduling (4 papers) and Embedded Systems Design Techniques (3 papers) and collaborates with scholars based in United States and South Korea. I. Lee's co-authors include R. Gerber, Oleg Sokolsky, Hanêne Ben‐Abdallah, Niall T. Stevens and Andrew P. King and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Information Theory and IEEE Transactions on Software Engineering