| Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983 | 0 | 0.34 | 2010 |
| NASA's Exploration Agenda and Capability Engineering | 7 | 0.72 | 2006 |
| Intelligent Systems and Formal Methods in Software Engineering | 22 | 0.91 | 2006 |
| A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets | 8 | 0.68 | 2005 |
| NSF workshop on a software research program for the 21st century | 1 | 0.64 | 1999 |
| Formality helps scalability and robustness | 1 | 0.37 | 1996 |
| Iteration in the software process | 2 | 0.41 | 1986 |
| What is program synthesis? | 1 | 0.42 | 1985 |
| Software Technology in the 1990's: Using a New Paradigm | 144 | 67.75 | 1983 |
| Knowledge-based debugging: session summary | 0 | 0.34 | 1983 |
| Results in Knowledge-Based Program Synthesis. | 0 | 0.34 | 1979 |
| Results in knowledge based program synthesis | 15 | 12.16 | 1979 |
| A note on shared list structure in LISP | 12 | 1.63 | 1978 |
| The PSI program synthesis system, 1978 - An abstract. | 0 | 0.34 | 1978 |
| On program synthesis knowledge | 31 | 8.63 | 1978 |
| A summary of the PSI program synthesis system | 15 | 3.86 | 1977 |
| An empirical study of list structure in Lisp | 61 | 40.82 | 1977 |
| Automatic synthesis—programs and plans | 0 | 0.34 | 1976 |
| SIGART(Tutorial Session) | 0 | 0.34 | 1976 |
| The design of the PSI program synthesis system | 39 | 35.25 | 1976 |
| Inferring LISP programs from examples | 17 | 23.76 | 1975 |
| Some rules for the automatic synthesis of programs | 9 | 14.99 | 1975 |
| The use of theorem-proving techniques in question-answering systems | 46 | 462.31 | 1968 |
