| KIDS: A semiautomatic program development system DR Smith IEEE transactions on software engineering 16 (9), 1024-1043, 1990 | 660 | 1990 |
| Top-down synthesis of divide-and-conquer algorithms DR Smith Artificial Intelligence 27 (1), 43-96, 1985 | 269 | 1985 |
| Research on knowledge-based software environments at Kestrel Institute DR Smith, GB Kotik, SJ Westfold IEEE Transactions on Software Engineering, 1278-1295, 1985 | 222 | 1985 |
| KIDS: A knowledge-based software development system DR Smith Automating Software Design, 483-514, 1991 | 192 | 1991 |
| Algorithm theories and design tactics DR Smith, MR Lowry Science of Computer programming 14 (2-3), 305-321, 1990 | 135 | 1990 |
| Structure and design of global search algorithms DR Smith Tech. Rep. KES. U. 87.12, Kestrel Institute, 1987 | 123 | 1987 |
| The design of divide and conquer algorithms DR Smith Science of Computer Programming 5, 37-58, 1985 | 119 | 1985 |
| Applications of a strategy for designing divide-and-conquer algorithms DR Smith Science of Computer Programming 8 (3), 213-229, 1987 | 109 | 1987 |
| Roadmap for enhanced languages and methods to aid verification GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ... Proceedings of the 5th international conference on Generative programming …, 2006 | 106 | 2006 |
| Constructing specification morphisms DR Smith Journal of Symbolic Computation 15 (5-6), 571-606, 1993 | 106 | 1993 |
| Random trees and the analysis of branch and bound procedures DR Smith Journal of the ACM (JACM) 31 (1), 163-188, 1984 | 101 | 1984 |
| Toward a classification approach to design DR Smith International Conference on Algebraic Methodology and Software Technology, 62-84, 1996 | 80 | 1996 |
| Transformational approach to transportation scheduling D Smith, E Parra Proceedings of 8th Knowledge-Based Software Engineering Conference, 60-68, 1993 | 77 | 1993 |
| The synthesis of LISP programs from examples: A survey DR Smith Automatic program construction techniques 307, 324, 1984 | 73 | 1984 |
| Mechanizing the development of software DR Smith NATO ASI Series F Computer and Systems Sciences 173, 251-292, 1999 | 69 | 1999 |
| Planware-domain-specific synthesis of high-performance schedulers L Blaine, L Gilham, J Liu, DR Smith, S Westfold Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 66 | 1998 |
| Derived preconditions and their use in program synthesis DR Smith International Conference on Automated Deduction, 172-193, 1982 | 62 | 1982 |
| Composition and refinement of behavioral specifications D Pavlovic, DR Smith Proceedings 16th Annual International Conference on Automated Software …, 2001 | 54 | 2001 |
| Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003 | 49 | 2003 |
| Integrity Constraint Reformulation for Efficient Validation. X Qian, DR Smith VLDB 87, 417-425, 1987 | 48 | 1987 |
