 | 1996 |
|---|
| 11 |       | Jonathan K. Millen,
Hai-Ping Ko:
Narrowing terminates for encryption.
CSFW 1996: 39- |
| 1993 |
|---|
| 10 |  | Hai-Ping Ko,
David A. McAllester,
Mark E. Nadel:
Lower Bounds for the Lengths of Refutations.
J. Log. Program. 17(1): 31-58 (1993) |
| 9 | | Bhavani M. Thuraisingham,
Hai-Ping Ko:
Concurrency Control in Trusted Database Management Systems: A Survey.
SIGMOD Record 22(4): 52-59 (1993) |
| 1992 |
|---|
| 8 | | Hai-Ping Ko,
Mark E. Nadel:
Elementary Lower Bounds for th Length of Refutations.
LPAR 1992: 137-147 |
| 1991 |
|---|
| 7 | | Hai-Ping Ko,
Mark E. Nadel:
Substitution and Refutation Revisited.
ICLP 1991: 679-692 |
| 1989 |
|---|
| 6 | | Hai-Ping Ko:
Security Properties of Ring Brackets.
CSFW 1989: 41-46 |
| 1988 |
|---|
| 5 | | Hai-Ping Ko:
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.
Artif. Intell. 37(1-3): 95-122 (1988) |
| 1986 |
|---|
| 4 | | Shang-Ching Chou,
Hai-Ping Ko:
On Mechanical Theorem Proving in Minkowskian Plane Geometry
LICS 1986: 187-192 |
| 1982 |
|---|
| 3 | | Hai-Ping Ko,
Dijen K. Ray-Chaudhuri:
Intersection theorems for group divisible difference sets.
Discrete Mathematics 39(1): 37-58 (1982) |
| 1981 |
|---|
| 2 | | Hai-Ping Ko,
Stuart S.-S. Wang:
Supplement to Multiplier Theorems.
J. Comb. Theory, Ser. A 30(1): 101-107 (1981) |
| 1 | | Hai-Ping Ko,
Dijen K. Ray-Chaudhuri:
Multiplier Theorems.
J. Comb. Theory, Ser. A 30(2): 134-157 (1981) |
