- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| c2 |      | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe: Refining schizophrenia via graph reachability in Esterel. MEMOCODE 2009: 18-27 |
| 2007 | ||
| j2 | | Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han: A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Transactions 90-D(10): 1663-1671 (2007) |
| j1 | | Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6) (2007) |
| 2003 | ||
| c1 | | Sunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245 |
| 1 | Kwang-Moo Choe | |
| 2 | Taisook Han | |
| 3 | Hyun-Goo Kang | |
| 4 | Chul-Joo Kim | |
| 5 | Youil Kim | |
| 6 | Hongseok Yang | |
| 7 | Kwangkeun Yi | |
| 8 | Jeong-Han Yun |
Data released under the ODC-BY 1.0 license — See also our legal information page