 | 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 |
