The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hai-Ping Ko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002