Hai-Ping Ko

According to our database, Hai-Ping Ko authored at least 11 papers between 1981 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1996

Narrowing terminates for encryption.

Jonathan K. Millen, Hai-Ping Ko

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1993

Concurrency Control in Trusted Database Management Systems: A Survey.

Bhavani Thuraisingham, Hai-Ping Ko

SIGMOD Rec., 1993

Lower Bounds for the Lengths of Refutations.

Hai-Ping Ko, David A. McAllester, Mark E. Nadel

J. Log. Program., 1993

1992

Elementary Lower Bounds for th Length of Refutations.

Hai-Ping Ko, Mark E. Nadel

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Substitution and Refutation Revisited.

Hai-Ping Ko, Mark E. Nadel

Proceedings of the Logic Programming, 1991

1989

Security Properties of Ring Brackets.

Hai-Ping Ko

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.

Hai-Ping Ko

Artif. Intell., 1988

1986

On Mechanical Theorem Proving in Minkowskian Plane Geometry

Shang-Ching Chou, Hai-Ping Ko

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1982

Intersection theorems for group divisible difference sets.

Hai-Ping Ko, Dijen K. Ray-Chaudhuri

Discret. Math., 1982

1981

Supplement to Multiplier Theorems.

Hai-Ping Ko, Stuart S.-S. Wang

J. Comb. Theory A, 1981

Multiplier Theorems.

Hai-Ping Ko, Dijen K. Ray-Chaudhuri

J. Comb. Theory A, 1981