 | 2012 |
| 4 |  | Woosuk Lee,
Wonchan Lee,
Kwangkeun Yi:
Sound Non-statistical Clustering of Static Analysis Alarms.
VMCAI 2012: 299-314 |
| 3 |  | Bruno C. d. S. Oliveira,
Tom Schrijvers,
Wontae Choi,
Wonchan Lee,
Kwangkeun Yi:
Extended Report: The Implicit Calculus
CoRR abs/1203.4499: (2012) |
| 2011 |
| 2 |  | Yungbum Jung,
Wonchan Lee,
Bow-Yaw Wang,
Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference.
TACAS 2011: 205-219 |
| 2005 |
| 1 |  | Kicheon Hong,
Jihong Min,
Wonchan Lee,
Jungchul Kim:
Real Time Face Detection and Recognition System Using Haar-Like Feature/HMM in Ubiquitous Network Environments.
ICCSA (1) 2005: 1154-1161 |