Hai-Ping Ko

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Narrowing terminates for encryption.
Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1993
Concurrency Control in Trusted Database Management Systems: A Survey.
SIGMOD Rec., 1993

Lower Bounds for the Lengths of Refutations.
J. Log. Program., 1993

1992
Elementary Lower Bounds for th Length of Refutations.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
Substitution and Refutation Revisited.
Proceedings of the Logic Programming, 1991

1989
Security Properties of Ring Brackets.
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.
Artif. Intell., 1988

1986
On Mechanical Theorem Proving in Minkowskian Plane Geometry
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1982
Intersection theorems for group divisible difference sets.
Discret. Math., 1982

1981
Supplement to Multiplier Theorems.
J. Comb. Theory A, 1981

Multiplier Theorems.
J. Comb. Theory A, 1981


  Loading...