dblp.uni-trier.dewww.uni-trier.de

Hai-Ping Ko

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
11EEJonathan 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)
9EEBhavani 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
3EEHai-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)

Coauthor Index

1Shang-Ching Chou [4]
2David A. McAllester [10]
3Jonathan K. Millen [11]
4Mark E. Nadel [7] [8] [10]
5Dijen K. Ray-Chaudhuri [1] [3]
6Bhavani M. Thuraisingham [9]
7Stuart S.-S. Wang [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)