Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2879 | 1978 |
On the importance of checking cryptographic protocols for faults D Boneh, RA DeMillo, RJ Lipton International conference on the theory and applications of cryptographic …, 1997 | 2481 | 1997 |
A separator theorem for planar graphs RJ Lipton, RE Tarjan SIAM Journal on Applied Mathematics 36 (2), 177-189, 1979 | 1881 | 1979 |
DNA solution of hard computational problems RJ Lipton science 268 (5210), 542-545, 1995 | 1563 | 1995 |
Applications of a planar separator theorem RJ Lipton, RE Tarjan 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 162-170, 1977 | 1017 | 1977 |
Social processes and proofs of theorems and programs RA De Millo, RJ Lipton, AJ Perlis Communications of the ACM 22 (5), 271-280, 1979 | 869 | 1979 |
Generalized nested dissection RJ Lipton, DJ Rose, RE Tarjan SIAM journal on numerical analysis 16 (2), 346-358, 1979 | 852 | 1979 |
Random walks, universal traversal sequences, and the complexity of maze problems R Aleliunas, RM Karp, RJ Lipton, L Lovász, C Rackoff 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), 218-223, 1979 | 826 | 1979 |
Some connections between nonuniform and uniform complexity classes RM Karp, RJ Lipton Proceedings of the twelfth annual ACM symposium on Theory of computing, 302-309, 1980 | 765 | 1980 |
On the importance of eliminating errors in cryptographic computations D Boneh, RA DeMillo, RJ Lipton Journal of cryptology 14, 101-119, 2001 | 639 | 2001 |
Reduction: A method of proving properties of parallel programs RJ Lipton Communications of the ACM 18 (12), 717-721, 1975 | 624 | 1975 |
On approximately fair allocations of indivisible goods RJ Lipton, E Markakis, E Mossel, A Saberi Proceedings of the 5th ACM Conference on Electronic Commerce, 125-131, 2004 | 619 | 2004 |
The reachability problem requires exponential space R Lipton Research Report 62. Department of Computer Science, Yale University, 1976 | 612 | 1976 |
A probabilistic remark on algebraic program testing RA DeMillo, RJ Lipton Inf. Process. Lett. 7 (4), 193-195, 1978 | 592 | 1978 |
Method and system for detecting and responding to attacking networks D Dagon, N Feamster, W Lee, R Edmonds, R Lipton, A Ramachandran US Patent 8,566,928, 2013 | 506 | 2013 |
Molecular computation: RNA solutions to chess problems D Faulhammer, AR Cukras, RJ Lipton, LF Landweber Proceedings of the National Academy of Sciences 97 (4), 1385-1389, 2000 | 465 | 2000 |
PRAM: A scalable shared memory RJ Lipton, JS Sandberg Princeton University, Department of Computer Science, 1988 | 459 | 1988 |
Playing large games using simple strategies RJ Lipton, E Markakis, A Mehta Proceedings of the 4th ACM Conference on Electronic Commerce, 36-41, 2003 | 454 | 2003 |
Practical selectivity estimation through adaptive sampling RJ Lipton, JF Naughton, DA Schneider Proceedings of the 1990 ACM SIGMOD international conference on Management of …, 1990 | 433 | 1990 |
Cryptographic primitives based on hard learning problems A Blum, M Furst, M Kearns, RJ Lipton Annual International Cryptology Conference, 278-291, 1993 | 403 | 1993 |