A Relational Dataflow Database Machine Based on Hierarchical Ring Network. - J. I. Kim; Seungryul Maeng; Jung Wan Cho (FGCS, 1984)

A Functional Logic Language Based on Canonical Unification. - D. W. Shin; Jong H. Nang; Sangki Han; Seungryul Maeng (SLP, 1987)

The Semantics of a Functional Logic Language with Input Mode. - D. W. Shin; Jong H. Nang; Seungryul Maeng; Jung Wan Cho (FGCS, 1988)

A Parallel Execution of Functional Logic Language with Lazy Evaluation. - Jong H. Nang; D. W. Shin; Seungryul Maeng; Jung Wan Cho (FGCS, 1992)

A Typed Functional Extension of Logic Programming. - D. W. Shin; Jong H. Nang; Seungryul Maeng (New Gener. Comput., 1992)

Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications. - Seong Bae Eun; Byeong Man Kim; Seungryul Maeng; Jung Wan Cho (FTDCS, 1995)

Nonpreemptive scheduling algorithms for multimedia communication in local area networks. - Seong Bae Eun; Jong-Wan Kim; Byeong Man Kim; Hyunsoo Yoon; Seungryul Maeng (ICNP, 1995)

Performance Analysis of Multipath Multistage Interconnection Networks with Nonuniform Output Traffic Distribution. - Byungho Kim; Boseob Kwon; Hyunsoo Yoon; Seungryul Maeng; Jung Wan Cho (PDP, 1996)