Search the dblp DataBase
Hai-Ping Ko :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Hai-Ping Ko Security Properties of Ring Brackets. [Citation Graph (0, 0)][DBLP ] CSFW, 1989, pp:41-46 [Conf ] Jonathan K. Millen , Hai-Ping Ko Narrowing terminates for encryption. [Citation Graph (0, 0)][DBLP ] CSFW, 1996, pp:39-0 [Conf ] Hai-Ping Ko , Mark E. Nadel Substitution and Refutation Revisited. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:679-692 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Search in 0.003secs, Finished in 0.003secs