Insup Lee
机构: Professor, Computer and Information Science, University of Pennsylvania
主页: upenn.edu
每年引用次数
引用次数
引用: 25,237
H-指数: 75
I10-指数 : 418
出版物: 1,264
Transparent electrode having thermal stability, method of fabricating the same and dye-sensitized solar cell comprising the same
Kwang-Soon Ahn , Ji-won Lee , Wha Sup Lee , Jae-Man Choi
6
2011
Control of Chaos in Nonlinear Chemical Reactor
Joon-Suh Lee , Dae-Ryook Yang , In-Beum Lee , Kun-Soo Chang
제어로봇시스템학회 국내학술대회 논문집 1 ( 2) 48 -53
9
1993
Application of adaptive RBF network for odour classification under drift effect using conducting polymer sensor array
K C Persaud , D D Lee , H G Byun , J S Huh
Artificial Chemical Sensing: Olfaction and the Electronic Nose (Isoen 2001). 2001;2001(15). 2001 ( 15)
1
2001
Safety-assured development of the GPCA infusion pump software
Sokolsky , Zhang , Jones , Ayoub
embedded software 155 -164
2011
Testing Real-Time Constraints in a Process Algebraic Setting
Lee , Clarke
international conference on software engineering
1995
Compositional analysis of real-time embedded systems
Sokolsky , Phan , Lee
2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) 237 -238
2011
Challenges in the regulatory approval of medical cyber-physical systems
Lee , Heimdahl , Sokolsky
embedded software 227 -232
2011
Effect of deformation and heat treatment on fabrication of large sized ring by mandrel forging of hollow ingot
S‐U Lee , Y‐S Lee , Y‐H Moon
Materials Research Innovations 15
1
2011
CHANGES IN CARDIORESPIRATORY FITNESS AND INCIDENCE OF DIABETES IN JAPANESE MEN
S S. Sawada , I -M. Lee , K Matsuzaki , S N. Blair
Medicine and Science in Sports and Exercise 35
2003
Development and performance analysis of an automotive power seat for disabled persons
Y. Shi , I.- T. Lee , A. Md. Afsar , J.- I. Song
International Journal of Automotive Technology 10 ( 4) 481 -488
2
2009
Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network.
David Smitley , Insup Lee , Samuel M. Goldwasser
international conference on parallel processing 394 -396
2
1986
Motivating Time as a First Class Entity
Susan B Davidson , Insup Lee , Victor Fay-Wolfe
18
1987
Assessing the Overall Sufficiency of Safety Arguments
Jian Chang , Insup Lee , Oleg Sokolsky , Anaheed Ayoub
21st Safety-Critical Systems Symposium (SSS'13) 127 -144
18
2013
Real-Time Traffic Congestion Prediction
Rahul Mangharam , Oleg Sokolsky , Insup Lee
11
2008
A Two-Arm Exploratory System for Identifying Moving and Removable Parts
Insup Lee , Robert King , Xiaoping Yan , R. Vijay Kumar
1989
Language Constructs for Distributed Real-Time Consistency
Victor Wolfe , Susan Davidson , Insup Lee
1989
Fast Parallel Deterministic and Randomized Algorithms for Model Checking
Insup Lee , Sanguthevar Rajasekaran
6
1993
The Soundness and Completeness of ACSR (Algebra of Communicating Shared Resources)
Patrice Brémond-Grégoire , Jin-Young Choi , Insup Lee
3
1993
High-Level Model Extraction via Symbolic Execution
Oleg Sokolsky , Shaohui Wang , Insup Lee , Srinivasan Dwarakanathan
5
2012