Multiplier Theorems. - Hai-Ping Ko; Dijen K. Ray-Chaudhuri (J. Comb. Theory A, 1981)

Supplement to Multiplier Theorems. - Hai-Ping Ko; Stuart S.-S. Wang (J. Comb. Theory A, 1981)

Intersection theorems for group divisible difference sets. - Hai-Ping Ko; Dijen K. Ray-Chaudhuri (Discret. Math., 1982)

On Mechanical Theorem Proving in Minkowskian Plane Geometry - Shang-Ching Chou; Hai-Ping Ko (LICS, 1986)

Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. - Hai-Ping Ko (Artif. Intell., 1988)

Security Properties of Ring Brackets. - Hai-Ping Ko (CSFW, 1989)

Substitution and Refutation Revisited. - Hai-Ping Ko; Mark E. Nadel (ICLP, 1991)

Elementary Lower Bounds for th Length of Refutations. - Hai-Ping Ko; Mark E. Nadel (LPAR, 1992)

Lower Bounds for the Lengths of Refutations. - Hai-Ping Ko; David A. McAllester; Mark E. Nadel (J. Log. Program., 1993)

Concurrency Control in Trusted Database Management Systems: A Survey. - Bhavani Thuraisingham; Hai-Ping Ko (SIGMOD Rec., 1993)

Narrowing terminates for encryption. - Jonathan K. Millen; Hai-Ping Ko (CSFW, 1996)