dblp.uni-trier.dewww.uni-trier.de

Taeho Kim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EETaeho Kim, Kang-Hyun Jo: Generation of Multiple Background Model by Estimated Camera Motion Using Edge Segments. ICIC (1) 2008: 536-543
2005
4EETaeho Kim, Jae-Gon Kim: Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs. ICCSA (4) 2005: 280-289
2002
3EETaeho 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
1EETaeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh: Dynamic Software Architecture Slicing. COMPSAC 1999: 61-66

Coauthor Index

1Sung Deok Cha [2] [3]
2Lawrence Chung [1]
3Dung T. Huynh [1]
4Kang-Hyun Jo [5]
5Jae-Gon Kim [4]
6Yeong-Tae Song [1]
7David W. J. Stringer-Calvert [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)