| A deductive approach to program synthesis Z Manna, R Waldinger ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (1), 90-121, 1980 | 881 | 1980 |
| Achieving several goals simultaneously R Waldinger Readings in artificial intelligence, 250-271, 1981 | 515 | 1981 |
| Toward automatic program synthesis Z Manna, RJ Waldinger Communications of the ACM 14 (3), 151-165, 1971 | 396 | 1971 |
| The logical basis for computer programming. Volume 1: deductive reasoning Z Manna, R Waldinger Addison-Wesley Longman Publishing Co., Inc., 1985 | 364 | 1985 |
| Synthesis: dreams→ programs Z Manna, R Waldinger IEEE Transactions on Software Engineering, 294-328, 1979 | 255 | 1979 |
| Deductive composition of astronomical software from subroutine libraries M Stickel, R Waldinger, M Lowry, T Pressburger, I Underwood Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 241 | 1994 |
| Fundamentals of deductive program synthesis Z Manna, R Waldinger STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1992 | 207 | 1992 |
| PROW: A step toward automatic program writing RJ Waldinger, RCT Lee Proceedings of the 1st international joint conference on Artificial …, 1969 | 206 | 1969 |
| An assessment of techniques for proving program correctness B Elspas, KN Levitt, RJ Waldinger, A Waksman ACM Computing Surveys (CSUR) 4 (2), 97-147, 1972 | 182 | 1972 |
| QA4: A Procedural Calculus for Intuitive Reasoning. JF Rulifson, JA Derksen, RJ Waldinger STANFORD RESEARCH INST MENLO PARK CALIF, 1972 | 158 | 1972 |
| Knowledge and reasoning in program synthesis Z Manna, R Waldinger Artificial intelligence 6 (2), 175-208, 1975 | 143 | 1975 |
| Deductive Question Answering from Multiple Resources. RJ Waldinger, DE Appelt, JL Dungan, J Fry, JR Hobbs, DJ Israel, P Jarvis, ... New Directions in Question Answering 2004, 253-262, 2004 | 122 | 2004 |
| Is “sometime” sometimes better than “always”? Intermittent assertions in proving program correctness Z Manna, R Waldinger Communications of the ACM 21 (2), 159-172, 1978 | 111 | 1978 |
| Deductive synthesis of the unification algorithm Z Manna, R Waldinger Science of Computer Programming 1 (1-2), 5-48, 1981 | 101 | 1981 |
| The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming” Z Manna, R Waldinger Addison-Wesley Longman Publishing Co., Inc., 1993 | 98 | 1993 |
| How to clear a block: A theory of plans Z Manna, R Waldinger Journal of Automated Reasoning 3 (4), 343-377, 1987 | 94 | 1987 |
| Reasoning about programs RJ Waldinger, KN Levitt Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of …, 1973 | 90 | 1973 |
| The logic of computer programming Z Manna, R Waldinger IEEE transactions on Software Engineering, 199-229, 1978 | 88 | 1978 |
| Web agents cooperating deductively R Waldinger Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001 | 86 | 2001 |
| Special relations in automated deduction Z Manna, R Waldinger Journal of the ACM (JACM) 33 (1), 1-59, 1986 | 86 | 1986 |
