Robust Face Recognition using Local Illumination Normalization and Discriminant Feature Point Selection - Song Han 005; Jinsong Kim; Cholhun Kim; Jongchol Jo; Sunam Han (CoRR, 2012)

Towards Approximate Model Checking DC and PDC Specifications - Changil Choe; Dang Van Hung; Song Han 005 (CoRR, 2012)

Checking Integral Real-Time Automata for Extended Linear Duration Invariants. - Changil Choe; Univan Ahn; Song Han 005 (FTSCS, 2014)