Insup Lee,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

The valuation effects of overseas listings: The case of the Tokyo Stock Exchange

Clifford L. Fry, Insup Lee, Jongmoo Jay Choi

Journal:

Review of Quantitative Finance and Accounting

Year:

1994

Language:

english

File:

PDF, 716 KB

english, 1994

52

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan Davidson, Insup Lee

Journal:

Real-Time Systems

Year:

1993

Language:

english

File:

PDF, 1.96 MB

english, 1993

53

Deadlock prevention in concurrent real-time systems

Susan Davidson, Insup Lee, Victor Fay Wolfe

Journal:

Real-Time Systems

Year:

1993

Language:

english

File:

PDF, 1.03 MB

english, 1993

54

Pinholes on thermally grown oxide under polysilicon layer after plasma etching

Young-Shig Choi, Insup Lee

Journal:

Metals and Materials International

Year:

1999

Language:

english

File:

PDF, 1.11 MB

english, 1999

55

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.02 MB

english, 2004

56

Synthesis and characterization of matrix metalloprotease sensitive-low molecular weight hyaluronic acid based hydrogels

Jungju Kim, Yongdoo Park, Giyoong Tae, Kyu Back Lee, Soon Jung Hwang, In Sook Kim, Insup Noh, Kyung Sun

Journal:

Journal of Materials Science: Materials in Medicine

Year:

2008

Language:

english

File:

PDF, 426 KB

english, 2008

57

Editorial: Special issue on real-time wireless sensor networks

Chenyang Lu, Insup Lee

Journal:

Real-Time Systems

Year:

2007

Language:

english

File:

PDF, 112 KB

english, 2007

58

Optimal virtual cluster-based multiprocessor scheduling

Arvind Easwaran, Insik Shin, Insup Lee

Journal:

Real-Time Systems

Year:

2009

Language:

english

File:

PDF, 986 KB

english, 2009

59

Limitations of Threshold-Based Brain Oxygen Monitoring for Seizure Detection

Soojin Park, Alexander Roederer, Ram Mani, Sarah Schmitt, Peter D. LeRoux, Lyle H. Ungar, Insup Lee, Scott E. Kasner

Journal:

Neurocritical Care

Year:

2011

Language:

english

File:

PDF, 382 KB

english, 2011

60

Fatigue behavior of plasma radical nitrided SCM435 steel in super-long life regime

Nu Yan, Ri-ichi Murakami, Insup Lee

Journal:

Metals and Materials International

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

61

Synthesis and evaluation of hyaluronic acid–poly(ethylene oxide) hydrogel via Michael-type addition reaction

Gun-Woo Kim, Yoon-Jeong Choi, Mi-Sook Kim, Yongdoo Park, Kyu-Back Lee, In-Sook Kim, Soon-Jung Hwang, Insup Noh

Journal:

Current Applied Physics

Year:

2007

Language:

english

File:

PDF, 505 KB

english, 2007

62

The effect of molybdenum on the characteristics of surface layers of low temperature plasma nitrocarburized austenitic stainless steel

Journal:

Current Applied Physics

Year:

2009

Language:

english

File:

PDF, 633 KB

english, 2009

63

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP

Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 612 KB

english, 1999

64

Monitoring, Checking, and Steering of Real-Time Systems

Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 162 KB

english, 2002

65

Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 199 KB

english, 2002

66

Testing and Monitoring Model-based Generated Program

Li Tan, Jesung Kim, Insup Lee

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

67

In vitro response of primary human bone marrow stromal cells to recombinant human bone morphogenic protein-2 in the early and late stages of osteoblast differentiation

In Sook Kim, Yoon Mi Song, Tae Hyung Cho, Yong Doo Park, Kyu Back Lee, Insup Noh, Franz Weber, Soon Jung Hwang

Journal:

Development, Growth & Differentiation

Year:

2008

Language:

english

File:

PDF, 396 KB

english, 2008

68

STOCK MARKET SEASONALITY: SOME EVIDENCE FROM THE PACIFIC-BASIN COUNTRIES

Journal:

Journal of Business Finance & Accounting

Year:

1992

Language:

english

File:

PDF, 503 KB

english, 1992

69

DUAL LISTINGS AND SHAREHOLDERS’WEALTH: EVIDENCE FROM UK AND JAPANESE FIRMS

Journal:

Journal of Business Finance & Accounting

Year:

1992

Language:

english

File:

PDF, 487 KB

english, 1992

70

THE IMPACT OF OVERSEAS LISTINGS ON SHAREHOLDER WEALTH: THE CASE OF THE LONDON AND TORONTO STOCK EXCHANGES

Journal:

Journal of Business Finance & Accounting

Year:

1991

Language:

english

File:

PDF, 498 KB

english, 1991

71

NONLINEARITIES IN EMERGING FOREIGN CAPITAL MARKETS

SUSAN P. SEWELL, STANLEY R. STANSELL, INSUP LEE, MING-SHIUN PAN

Journal:

Journal of Business Finance & Accounting

Year:

1993

Language:

english

File:

PDF, 446 KB

english, 1993

72

Evaluation of the Hemodynamics of a Tissue-engineered Hybrid Graft

Kuk Hui Son, Yong Hu Fang, Yoon Jeong Choi, Insup Noh, Jae Kyung Won, Yongdoo Park, Sung Ho Lee, Kyung Sun, Ho Sung Son

Journal:

Artificial Organs

Year:

2010

Language:

english

File:

PDF, 179 KB

english, 2010

73

Alumina-composites made by reactive infiltration of molten aluminum alloy into fibrous insulation board

Il-Soo Kim, Insup Lee

Journal:

Journal of Materials Science Letters

Year:

1999

Language:

english

File:

PDF, 387 KB

english, 1999

74

Densification of porous Al2O3-Al4B2O9 ceramic composites fabricated by SLS process

Journal:

Journal of Materials Science Letters

Year:

1999

Language:

english

File:

PDF, 542 KB

english, 1999

75

Infiltration of alumina sol into SLS processed porous Al2O3-Al4B2O9 ceramic composites

Journal:

Journal of Materials Science Letters

Year:

2001

Language:

english

File:

PDF, 126 KB

english, 2001

76

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

Hanene Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, Hong-Liang Xie

Journal:

Real-Time Systems

Year:

1998

Language:

english

File:

PDF, 745 KB

english, 1998

77

Influence of heat treatment upon SLS processed composites fabricated with alumina and monoclinic HBO2

Journal:

Journal of Materials Science Letters

Year:

2002

Language:

english

File:

PDF, 407 KB

english, 2002

78

Specification and analysis of real-time systems with PARAGON

Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah

Journal:

Annals of Software Engineering

Year:

1999

Language:

english

File:

PDF, 278 KB

english, 1999

79

Java-MaC: A Run-Time Assurance Approach for Java Programs

MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 316 KB

english, 2004

80

Development of plasma nitrocarburizing and post-oxidation technology for the replacement of Cr6+plating for application to vehicle engine shafts

Journal:

Metals and Materials International

Year:

2008

Language:

english

File:

PDF, 693 KB

english, 2008

81

Wealth effects of food and drug administration (FDA) decisions

Jean-Claude Bosch, Insup Lee

Journal:

Managerial and Decision Economics

Year:

1994

Language:

english

File:

PDF, 826 KB

english, 1994

82

A Complete Axiomatization of Finite-state ACSR Processes

Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 628 KB

english, 1997

83

Introduction to the special section on runtime verification

Oleg Sokolsky, Klaus Havelund, Insup Lee

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 147 KB

english, 2012

84

State-based scheduling with tree schedules: analysis and evaluation

Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan

Journal:

Real-Time Systems

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

85

Resources in process algebra

Insup Lee, Anna Philippou, Oleg Sokolsky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 450 KB

english, 2007

86

Compositional modeling and refinement for hierarchical hybrid systems

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

87

Permission to speak: A logic for access control and conformance

Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 527 KB

english, 2011

88

Zero-laxity based real-time multiprocessor scheduling

Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee

Journal:

Journal of Systems and Software

Year:

2011

Language:

english

File:

PDF, 579 KB

english, 2011

89

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling

Anna Philippou, Insup Lee, Oleg Sokolsky

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 477 KB

english, 2012

90

Process algebraic modelling and analysis of power-aware real-time systems

Insup Lee, Philippou, A., Sokolsky, O.

Journal:

Computing & Control Engineering Journal

Year:

2002

Language:

english

File:

PDF, 608 KB

english, 2002

91

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Sokolsky, O., Sanjian Chen, Hatcliff, J., Eunkyoung Jee, BaekGyu Kim, King, A., Mullen-Fortino, M., Soojin Park, Roederer, A., Venkatasubramanian, K.K.

Journal:

Proceedings of the IEEE

Year:

2012

Language:

english

File:

PDF, 848 KB

english, 2012

92

Adding Time to Synchronous Process Communications

Lee, Insup, Davidson, Susan B.

Journal:

IEEE Transactions on Computers

Year:

1987

Language:

english

File:

PDF, 2.65 MB

english, 1987

93

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Modular code generation from hybrid automata based on data dependency

Jesung Kim,, Insup Lee,

Year:

2003

Language:

english

File:

PDF, 435 KB

english, 2003

94

The turn-of-the-year effects in Asian stock markets

Journal:

Journal of Asian Economics

Year:

1991

Language:

english

File:

PDF, 841 KB

english, 1991

95

Stock market views of corporate multinationalism: some evidence from announcements of international joint ventures

Il Yung Chung, Kenneth J. Koford, Insup Lee

Journal:

The Quarterly Review of Economics and Finance

Year:

1993

Language:

english

File:

PDF, 1.20 MB

english, 1993

96

Trust in collaborative web applications

Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Insup Lee

Journal:

Future Generation Computer Systems

Year:

2012

Language:

english

File:

PDF, 906 KB

english, 2012

97

SERS-based multiple biomarker detection using a gold-patterned microarray chip

Insup Kim, Inam-ur-Rehman Junejo, Moonkwon Lee, Sangyeop Lee, Eun Kyu Lee, Soo-Ik Chang, Jaebum Choo

Journal:

Journal of Molecular Structure

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

98

Verisim: formal analysis of network simulations

Bhargavan, K., Gunter, C.A., Moonjoo Kim, Insup Lee, Obradovic, D., Sokolsky, O., Viswanathan, M.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 463 KB

english, 2002

99

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Decidable Compositions of O-Minimal Automata

Cha, Sungdeok (Steve), Choi, Jin-Young, Kim, Moonzoo, Lee, Insup, Viswanathan, Mahesh

Year:

2008

Language:

english

File:

PDF, 351 KB

english, 2008

100

Foreign listings, firm value, and volatility: The case of Japanese firms' listings on the US stock markets

Kwangsoo Ko, Insup Lee, Kesop Yun

Journal:

Japan and the World Economy

Year:

1997

Language:

english

File:

PDF, 644 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски