 | 2008 |
|---|
| 7 |       | Taehoon Lee,
Sang Boem Lim,
Young Sunwoo,
Jung-Hun Woo,
Bujeon Jung,
Xue Zheng:
Design Issues of Reliable Data Transfer Mechanisms for Atmospheric Environment Monitoring.
NCM (1) 2008: 274-279 |
| 6 | | Jung-Hun Woo,
Sang Boem Lim,
Karpjoo Jeong,
HyungSeok Kim,
Jae-Jin Kim,
Jonghyun Lee,
Junghee Kim,
Taehoon Lee,
Le Dinh Minh,
Rina Ryoo,
Suhyang Kim,
Hansoo Kim,
Jee-In Kim:
AirScope: A Micro-Scale Urban Air Quality Management System.
eScience 2008: 378-379 |
| 2007 |
|---|
| 5 | | Taehoon Lee,
Mintaek Cho,
Gihwon Kwon:
Using Bounded Model Checking with BOGOR.
SERA 2007: 863-870 |
| 2006 |
|---|
| 4 | | Taehoon Lee,
Gihwon Kwon,
Hyuksoo Han:
CTL Model Checking for Boolean Program.
ICCSA (4) 2006: 1081-1089 |
| 2004 |
|---|
| 3 | | Gihwon Kwon,
Taehoon Lee:
Solving Box-Pushing Games via Model Checking with Optimizations.
ATVA 2004: 491-494 |
| 2 | | Yeijin Lee,
Okbin Lee,
Taehoon Lee,
Ilyong Chung:
Application of Block Design to a Load Balancing Algorithm on Distributed Networks.
ICCSA (2) 2004: 178-185 |
| 2003 |
|---|
| 1 |  | Yeojin Lee,
Taehoon Lee,
Ilyong Chung:
A Secure Mobile Agent System Based on Identity-Based Digital Signature Scheme.
Security and Management 2003: 479-485 |
Data released under the ODC-BY 1.0 license — See also our legal information page