Search the dblp DataBase

Publications of Author

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