Hai-Ping Ko

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