Research on Automatic Balance Patch Technology Through AI Analysis. - Yongsik Im; Jaewoo Kim; Jaeho Ko; Joonhee Kim; Woongsoo Na (ICTC, 2022)

On the antichain tree property. - JinHoo Ahn; Joonhee Kim; Junguk Lee (J. Math. Log., 2023)

SOP1, SOP2, and antichain tree property. - JinHoo Ahn; Joonhee Kim (Ann. Pure Appl. Log., 2024)

Preservation of NATP. - JinHoo Ahn; Joonhee Kim; Hyoyoon Lee; Junguk Lee (J. Math. Log., 2025)