Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2693 | 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 | 2332 | 1997 |

A separator theorem for planar graphs RJ Lipton, RE Tarjan SIAM Journal on Applied Mathematics 36 (2), 177-189, 1979 | 1775 | 1979 |

DNA solution of hard computational problems RJ Lipton science 268 (5210), 542-545, 1995 | 1535 | 1995 |

Applications of a planar separator theorem RJ Lipton, RE Tarjan SIAM journal on computing 9 (3), 615-627, 1980 | 974 | 1980 |

Social processes and proofs of theorems and programs RA De Millo, RJ Lipton, AJ Perlis Communications of the ACM 22 (5), 271-280, 1979 | 860 | 1979 |

Social processes and proofs of theorems and programs RA De Millo, RJ Lipton, AJ Perlis Communications of the ACM 22 (5), 271-280, 1979 | 860 | 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 | 786 | 1979 |

Generalized nested dissection RJ Lipton, DJ Rose, RE Tarjan SIAM journal on numerical analysis 16 (2), 346-358, 1979 | 785 | 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 | 738 | 1980 |

On the importance of eliminating errors in cryptographic computations D Boneh, RA DeMillo, RJ Lipton Journal of cryptology 14 (2), 101-119, 2001 | 598 | 2001 |

Reduction: A method of proving properties of parallel programs RJ Lipton Communications of the ACM 18 (12), 717-721, 1975 | 581 | 1975 |

The reachability problem requires exponential space R Lipton Research Report 62. Department of Computer Science, Yale University, 1976 | 563 | 1976 |

A Probabilistic Remark on Algebraic Program Testing. RA DeMillo, RJ Lipton GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE, 1977 | 540 | 1977 |

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 | 474 | 2004 |

PRAM: A scalable shared memory RJ Lipton, JS Sandberg Princeton University, Department of Computer Science, 1988 | 457 | 1988 |

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 | 454 | 2000 |

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 | 447 | 2013 |

Playing large games using simple strategies RJ Lipton, E Markakis, A Mehta Proceedings of the 4th ACM Conference on Electronic Commerce, 36-41, 2003 | 426 | 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 | 407 | 1990 |