Hai-Ping Ko

Publication Activity (10 Years)

Years Active: 1981-1996
Publications (10 Years): 0

Publications

Jonathan K. Millen, Hai-Ping Ko
Narrowing terminates for encryption. CSFW (1996)
Hai-Ping Ko, David A. McAllester, Mark E. Nadel
Lower Bounds for the Lengths of Refutations. J. Log. Program. 17 (1) (1993)
Bhavani M. Thuraisingham, Hai-Ping Ko
Concurrency Control in Trusted Database Management Systems: A Survey. SIGMOD Rec. 22 (4) (1993)
Hai-Ping Ko, Mark E. Nadel
Elementary Lower Bounds for th Length of Refutations. LPAR (1992)
Hai-Ping Ko, Mark E. Nadel
Substitution and Refutation Revisited. ICLP (1991)
Hai-Ping Ko
Security Properties of Ring Brackets. CSFW (1989)
Hai-Ping Ko
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. Artif. Intell. 37 (1-3) (1988)
Shang-Ching Chou, Hai-Ping Ko
On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS (1986)
Hai-Ping Ko, Dijen K. Ray-Chaudhuri
Intersection theorems for group divisible difference sets. Discret. Math. 39 (1) (1982)
Hai-Ping Ko, Dijen K. Ray-Chaudhuri
Multiplier Theorems. J. Comb. Theory, Ser. A 30 (2) (1981)
Hai-Ping Ko, Stuart S.-S. Wang
Supplement to Multiplier Theorems. J. Comb. Theory, Ser. A 30 (1) (1981)