Hai-Ping Ko Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1996
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan K. Millen, Hai-Ping Ko: Narrowing terminates for encryption. CSFW 1996: 39-
1993
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko, David A. McAllester, Mark E. Nadel: Lower Bounds for the Lengths of Refutations. J. Log. Program. 17(1): 31-58 (1993)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBhavani M. Thuraisingham, Hai-Ping Ko: Concurrency Control in Trusted Database Management Systems: A Survey. SIGMOD Record 22(4): 52-59 (1993)
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko, Mark E. Nadel: Elementary Lower Bounds for th Length of Refutations. LPAR 1992: 137-147
1991
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko, Mark E. Nadel: Substitution and Refutation Revisited. ICLP 1991: 679-692
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko: Security Properties of Ring Brackets. CSFW 1989: 41-46
1988
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShang-Ching Chou, Hai-Ping Ko: On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS 1986: 187-192
1982
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko, Dijen K. Ray-Chaudhuri: Intersection theorems for group divisible difference sets. Discrete Mathematics 39(1): 37-58 (1982)
1981
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Ping Ko, Stuart S.-S. Wang: Supplement to Multiplier Theorems. J. Comb. Theory, Ser. A 30(1): 101-107 (1981)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-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 Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)