2008 | ||
---|---|---|
5 | EE | Taeho Kim, Kang-Hyun Jo: Generation of Multiple Background Model by Estimated Camera Motion Using Edge Segments. ICIC (1) 2008: 536-543 |
2005 | ||
4 | EE | Taeho Kim, Jae-Gon Kim: Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs. ICCSA (4) 2005: 280-289 |
2002 | ||
3 | EE | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. TACAS 2002: 205-220 |
2001 | ||
2 | Taeho Kim, Sung Deok Cha: Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test., Verif. Reliab. 11(3): 143-163 (2001) | |
1999 | ||
1 | EE | Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh: Dynamic Software Architecture Slicing. COMPSAC 1999: 61-66 |
1 | Sung Deok Cha | [2] [3] |
2 | Lawrence Chung | [1] |
3 | Dung T. Huynh | [1] |
4 | Kang-Hyun Jo | [5] |
5 | Jae-Gon Kim | [4] |
6 | Yeong-Tae Song | [1] |
7 | David W. J. Stringer-Calvert | [3] |