Specifying and inheriting concurrent objects. - Kiyeol Ryu; Seungryoul Maeng (Microprocess. Microprogramming, 1992)

Combining many-sorted logic and object-oriented programming. - Byeong Man Kim; Kiyeol Ryu; Seung Ryoul Maeng; J. W. Cho (Inf. Softw. Technol., 1993)

Concurrency and inheritance in actor-based object-oriented languages. - Kiyeol Ryu; Seung Ryoul Maeng; Jung Wan Cho (J. Syst. Softw., 1993)

A Concept for Ubiquitous Transportation Systems and Related Development Methodology. - Eun-Young Lee; Kiyeol Ryu; Insup Paik (ITSC, 2008)

An efficient algorithm for computing safe exit points of moving range queries in directed road networks. - Hyung-Ju Cho; Kiyeol Ryu; Tae-Sun Chung (Inf. Syst., 2014)

Moving range k nearest neighbor queries with quality guarantee over uncertain moving objects. - Eun-Young Lee; Hyung-Ju Cho; Tae-Sun Chung; Kiyeol Ryu (Inf. Sci., 2015)

A probabilistic approach for collision avoidance of uncertain moving objects within black zones. - Eun-Young Lee; Hyung-Ju Cho; Kiyeol Ryu (Ad Hoc Networks, 2016)