Insup Lee

13.8k total citations · 1 hit paper
485 papers, 8.2k citations indexed

About

Insup Lee is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Insup Lee has authored 485 papers receiving a total of 8.2k indexed citations (citations by other indexed papers that have themselves been cited), including 154 papers in Hardware and Architecture, 140 papers in Computational Theory and Mathematics and 107 papers in Artificial Intelligence. Recurrent topics in Insup Lee's work include Real-Time Systems Scheduling (129 papers), Formal Methods in Verification (109 papers) and Embedded Systems Design Techniques (93 papers). Insup Lee is often cited by papers focused on Real-Time Systems Scheduling (129 papers), Formal Methods in Verification (109 papers) and Embedded Systems Design Techniques (93 papers). Insup Lee collaborates with scholars based in United States, South Korea and Canada. Insup Lee's co-authors include Oleg Sokolsky, Insik Shin, Miroslav Pajić, James Weimer, George J. Pappas, Arvind Easwaran, Linh Thi Xuan Phan, Radoslav Ivanov, Sampath Kannan and Mahesh Viswanathan 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

Insup Lee

464 papers receiving 7.6k citations

Hit Papers

Periodic resource model for compositional real-time guara... 2004 2026 2011 2018 2004 100 200 300
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Periodic resource model for compositional real-time guarantees
    2004 397 citations Insup Lee et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Insup Lee United States 47 2.6k 2.5k 1.8k 1.7k 1.1k 485 8.2k
Brian Randell United Kingdom 29 1.8k 0.7× 4.5k 1.8× 758 0.4× 2.2k 1.3× 548 0.5× 171 7.8k
Douglas C. Schmidt United States 44 2.8k 1.1× 5.4k 2.2× 516 0.3× 4.2k 2.5× 400 0.4× 381 10.5k
W. K. Chan Hong Kong 38 461 0.2× 1.6k 0.6× 204 0.1× 618 0.4× 152 0.1× 242 5.1k
Peter G. Neumann United States 29 722 0.3× 1.6k 0.7× 308 0.2× 1.9k 1.1× 236 0.2× 291 3.9k
Carl A. Gunter United States 39 356 0.1× 1.8k 0.7× 678 0.4× 2.7k 1.6× 320 0.3× 178 5.3k
Thilo Sauter Austria 36 617 0.2× 2.6k 1.0× 237 0.1× 831 0.5× 1.6k 1.5× 339 6.9k
Chengzhong Xu China 55 1.0k 0.4× 6.0k 2.5× 377 0.2× 2.1k 1.3× 889 0.8× 574 11.1k
Jemal Abawajy Australia 48 400 0.2× 5.8k 2.4× 427 0.2× 2.0k 1.2× 303 0.3× 342 9.5k
Alex X. Liu United States 56 1.5k 0.6× 5.7k 2.3× 159 0.1× 2.8k 1.6× 181 0.2× 352 12.1k
Antonio Puliafito Italy 38 306 0.1× 4.0k 1.6× 378 0.2× 790 0.5× 280 0.3× 359 6.1k

Countries citing papers authored by Insup Lee

Since Specialization
Citations

This map shows the geographic impact of Insup Lee's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Insup Lee with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Insup Lee more than expected).

Fields of papers citing papers by Insup Lee

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Insup Lee. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Insup Lee. The network helps show where Insup Lee may publish in the future.

Co-authorship network of co-authors of Insup Lee

This figure shows the co-authorship network connecting the top 25 collaborators of Insup Lee. A scholar is included among the top collaborators of Insup Lee based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Insup Lee. Insup Lee is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ong, Joshua, Vivian Lin, Jin Hyun Kim, et al.. (2024). Development of oculomics artificial intelligence for cardiovascular risk factors: A case study in fundus oculomics for HbA1c assessment and clinically relevant considerations for clinicians. Asia-Pacific Journal of Ophthalmology. 13(4). 100095–100095. 3 indexed citations
2.
Sokolsky, Oleg, et al.. (2024). Repairing Learning-Enabled Controllers While Preserving What Works. 1–11. 1 indexed citations
3.
Islam, Md. Akherul, et al.. (2023). Controlled release of Ag+ ions to human cancer cells selectively neutralized with silver nanoparticles of different sizes produced by a green synthesis method. Journal of Molecular Structure. 1294. 136384–136384. 9 indexed citations
4.
Park, Jean, et al.. (2022). Medical Cyber-Physical Systems: IoMT Applications and Challenges. 998–1004. 3 indexed citations
5.
Ruchkin, Ivan, Christopher P. Bonafide, Sara B. DeMauro, et al.. (2021). High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. 70–81. 1 indexed citations
6.
Malone, Susan Kohl, Amy J. Peleckis, Gary Yu, et al.. (2021). Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery. Journal of Diabetes Research. 2021. 1–8. 14 indexed citations
7.
Ruchkin, Ivan, et al.. (2020). Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11). 3288–3299.
8.
Lee, Insup. (2019). The Effects of Processing Parameters on Surface Hardening Layer Characteristics of Low Temperature Plasma Nitriding of 316L Austenitic Stainless Steel. Journal of the Korean institute of surface engineering. 52(4). 194–202. 1 indexed citations
9.
Park, Junkil, et al.. (2017). Process Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems. ScholarlyCommons (University of Pennsylvania).
10.
Xu, Meng, Linh Thi Xuan Phan, Hyon‐Young Choi, & Insup Lee. (2016). Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. 1–12. 33 indexed citations
11.
Phan, Linh Thi Xuan, Zhuoyao Zhang, Boon Thau Loo, & Insup Lee. (2010). Real-Time MapReduce Scheduling. ScholarlyCommons (University of Pennsylvania). 31 indexed citations
12.
Sokolsky, Oleg, et al.. (2006). R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. ScholarlyCommons (University of Pennsylvania). 1 indexed citations
13.
Sokolsky, Oleg, Insup Lee, & Duncan L. Clarke. (2006). Schedulability analysis of AADL models. International Parallel and Distributed Processing Symposium. 179–179. 46 indexed citations
14.
Lee, Insup. (2002). Influence of heat treatment upon SLS processed composites fabricated with alumina and monoclinic HBO2. Journal of Materials Science Letters. 21(3). 209–212. 10 indexed citations
15.
Lee, Insup. (2002). A General Resource Framework for Real-Time Systems. ScholarlyCommons (University of Pennsylvania). 1 indexed citations
16.
Hong, Hyoung Seok, Insup Lee, & Oleg Sokolsky. (2001). Automatic Test Generation From Statecharts Using Model Checking. ScholarlyCommons (University of Pennsylvania). 37 indexed citations
17.
Gordon, Diana F., William Spears, Insup Lee, & Oleg Sokolsky. (1999). Distributed Spatial Control and Global Monitoring of Mobile Agents. ScholarlyCommons (University of Pennsylvania). 2 indexed citations
18.
Lee, Insup, et al.. (1995). The algebra of communicating shared resources and its toolkit. Prentice-Hall, Inc eBooks. 275–298. 2 indexed citations
19.
Lee, Insup & Susan B. Davidson. (1986). Protocols for Timed Synchronous Process Communications.. 128–135. 1 indexed citations
20.
Lee, Insup, et al.. (1985). Proving a Network of Real-Time Processes Correct.. 169–177. 8 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Brian Randell Breakdown of academic impact, for papers by Douglas C. Schmidt Breakdown of academic impact, for papers by W. K. Chan Breakdown of academic impact, for papers by Peter G. Neumann Breakdown of academic impact, for papers by Carl A. Gunter Breakdown of academic impact, for papers by Thilo Sauter Breakdown of academic impact, for papers by Chengzhong Xu Breakdown of academic impact, for papers by Jemal Abawajy Breakdown of academic impact, for papers by Alex X. Liu Breakdown of academic impact, for papers by Antonio Puliafito
Rankless by CCL
2026