Applying Model Checking to Concurrent Object-Oriented Software. - Seung Mo Cho; Doo-Hwan Bae; Sung Deok Cha; Young Gon Kim; Byung Kyu Yoo; Sang Taek Kim (ISADS, 1999)

Understanding Emojis for Sentiment Analysis. - Byung Kyu Yoo; Julia Taylor Rayz (FLAIRS, 2021)