Rapid quantitative analysis using a single molecule counting approach
D’Antoni, Christina M., Fuchs, Martin, Harris, John L., Ko, Hai-Ping, Meyer, Raymond E., Nadel, Mark E., Randall, Jeffrey D., Rooke, Jenny E., Nalefski, Eric A.
Published in Analytical biochemistry (01.05.2006)
Published in Analytical biochemistry (01.05.2006)
Get full text
Journal Article
Narrowing terminates for encryption
Millen, J.K., Hai-Ping Ko
Published in Proceedings 9th IEEE Computer Security Foundations Workshop (1996)
Published in Proceedings 9th IEEE Computer Security Foundations Workshop (1996)
Get full text
Conference Proceeding
Multiplier theorems
Ko, Hai-Ping, Ray-Chaudhuri, Dijen K
Published in Journal of combinatorial theory. Series A (01.01.1981)
Published in Journal of combinatorial theory. Series A (01.01.1981)
Get full text
Journal Article
Lower bounds for the lengths of refutations
Ko, Hai-Ping, McAllester, David, Nadel, Mark E.
Published in The journal of logic programming (1993)
Published in The journal of logic programming (1993)
Get full text
Journal Article
Verifying a hardware security architecture
Guttman, J.D., Ko, H.-P.
Published in Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy (1990)
Published in Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy (1990)
Get full text
Conference Proceeding