New Algorithm for Medial Axis Transform of Plane Domain. - Hyeong In Choi; Sung Woo Choi; Hwan Pyo Moon; Nam-Sook Wee (CVGIP Graph. Model. Image Process., 1997)

Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance. - Sung Woo Choi; Seong-Whan Lee (ICPR, 2000)

Fast Scene Change Detection using Direct Feature Extraction from MPEG Compressed Videos. - Seong-Whan Lee; Young-Min Kim; Sung Woo Choi (IEEE Trans. Multim., 2000)

One-Sided Stability of Medial Axis Transform. - Sung Woo Choi; Hans-Peter Seidel (DAGM-Symposium, 2001)

One-sided Stability of MAT and Its Applications. - Sung Woo Choi; Hans-Peter Seidel (VMV, 2001)

Hyperbolic Hausdorff Distance for Medial Axis Transform. - Sung Woo Choi; Hans-Peter Seidel (Graph. Model., 2001)

Linear onesided stability of MAT for weakly injective 3D domain. - Sung Woo Choi; Hans-Peter Seidel (Symposium on Solid Modeling and Applications, 2002)

Linear One-Sided Stability of MAT for Weakly Injective Domain. - Sung Woo Choi; Hans-Peter Seidel (J. Math. Imaging Vis., 2002)

A Hybrid Approach to Automatic Word-spacing in Korean. - Mi-young Kang; Sung Woo Choi; Hyuk-Chul Kwon (IEA/AIE, 2004)

Linear one-sided stability of MAT for weakly injective 3D domain. - Sung Woo Choi; Hans-Peter Seidel (Comput. Aided Des., 2004)

Stationary subdivision schemes reproducing polynomials. - Sung Woo Choi; Byung-Gook Lee; Yeon Ju Lee; Jungho Yoon (Comput. Aided Geom. Des., 2006)

Shortest Path amidst Disc Obstacles Is Computable. - Ee-Chien Chang; Sung Woo Choi; DoYong Kwon; Hyungju Park; Chee-Keng Yap (Int. J. Comput. Geom. Appl., 2006)

Two-dimensional offsets and medial axis transform. - Hyeong In Choi; Sung Woo Choi; Chang Yong Han; Tae-wan Kim 001; Song-Hwa Kwon; Hwan Pyo Moon; Kyeong Hah Roh; Nam-Sook Wee (Adv. Comput. Math., 2008)

Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves. - Michael A. Burr; Sung Woo Choi; Benjamin Galehouse; Chee-Keng Yap (J. Symb. Comput., 2012)

NNV 2.0: The Neural Network Verification Tool. - Diego Manzanas Lopez; Sung Woo Choi; Hoang-Dung Tran; Taylor T. Johnson (CAV (2), 2023)

Verification of Recurrent Neural Networks with Star Reachability. - Hoang-Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 2023)

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. - Mykhailo Ivashchenko; Sung Woo Choi; Luan Viet Nguyen; Hoang-Dung Tran (FormaliSE, 2023)

Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. - Apala Pramanik; Sung Woo Choi; Yuntao Li; Luan Viet Nguyen; Kyungki Kim; Hoang-Dung Tran (MEMOCODE, 2024)

StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. - Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Qing Liu; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos (CAV (2), 2025)

ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems. - Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos (HSCC, 2025)

Reachability Analysis of Sigmoidal Neural Networks. - Sung Woo Choi; Mykhailo Ivashchenko; Luan Viet Nguyen; Hoang-Dung Tran (ACM Trans. Embed. Comput. Syst., 2025)