Bucket-Brigade Transversal Filters. - Charles M. Puckette; Walter J. Butler; Donald A. Smith (IEEE Trans. Commun., 1974)

Programmable Bandpass Filter and Tone Generator Using Bucket-Brigade Delay Lines. - Donald A. Smith; Walter J. Butler; Charles M. Puckette (IEEE Trans. Commun., 1974)

A Model of Competence for Counting. - Donald A. Smith; James G. Greeno; Theresa M. Vitolo (Cogn. Sci., 1989)

Partial Evaluation of a CLP Language. - Donald A. Smith; Timothy J. Hickey (NACLP, 1990)

Constraint Operations for CLP(FT). - Donald A. Smith (ICLP, 1991)

Toward the Partial Evaluation of CLP Languages. - Timothy J. Hickey; Donald A. Smith (PEPM, 1991)

Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. - Donald A. Smith (PEPM, 1991)

MultiLog: Data Or-Parallel Logic Programming. - Donald A. Smith (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. - Donald A. Smith (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Multi-SLD Resolution. - Donald A. Smith; Timothy J. Hickey (LPAR, 1994)

Why Multi-SLD Beats SLD (Even on a Uniprocessor). - Donald A. Smith (PLILP, 1994)

Multilog and Data or-Parallelism. - Donald A. Smith (J. Log. Program., 1996)

MixLog: a generalized rule-based language. - Donald A. Smith (JFPLC, 1997)

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. - Donald A. Smith; Mark Utting (Implementation Technology for Programming Languages based on Logic, 1998)

Computerizing Computer Science. - Donald A. Smith (Commun. ACM, 1998)

Pseudo-Naive Evaluation. - Donald A. Smith; Mark Utting (Australasian Database Conference, 1999)

Improved Decision Support in Space Exploration via System-of-Systems Analysis. - Oleg V. Sindiy; Daniel A. DeLaurentis; Kirk A. Akaydin; Donald A. Smith (SoSE, 2007)