 | 2004 |
|---|
| 10 |       | Grant Braught,
Craig S. Miller,
David W. Reed:
Core empirical concepts and skills for computer science.
SIGCSE 2004: 245-249 |
| 2002 |
|---|
| 9 | | Grant Braught,
David W. Reed:
Disequilibration for teaching the scientific method in computer science.
SIGCSE 2002: 106-110 |
| 2001 |
|---|
| 8 |  | Grant Braught,
David W. Reed:
The knob & switch computer: A computer architecture simulator for introductory computer science.
ACM Journal of Educational Resources in Computing 1(4): 31-45 (2001) |
| 2000 |
|---|
| 7 | | David W. Reed,
Craig S. Miller,
Grant Braught:
Empirical investigation throughout the CS curriculum.
SIGCSE 2000: 202-206 |
| 1995 |
|---|
| 6 | | David W. Reed,
Donald W. Loveland:
Near-Horn Prolog and the Ancestry Family of Procedures.
Ann. Math. Artif. Intell. 14(2-4): (1995) |
| 5 | | Donald W. Loveland,
David W. Reed,
Debra Sue Wilson:
SATCHMORE: SATCHMO with REIevancy.
J. Autom. Reasoning 14(2): 325-351 (1995) |
| 1992 |
|---|
| 4 | | David W. Reed,
Donald W. Loveland:
A Comparison of Three Prolog Extensions.
J. Log. Program. 12(1&2): 25-50 (1992) |
| 1991 |
|---|
| 3 | | Donald W. Loveland,
David W. Reed:
A Near-Horn Prolog for Compilation.
Computational Logic - Essays in Honor of Alan Robinson 1991: 542-564 |
| 2 | | David W. Reed,
Donald W. Loveland,
Bruce T. Smith:
The Near-Horn Approach to Disjunctive Logic Programming.
ELP 1991: 345-369 |
| 1 | | David W. Reed,
Donald W. Loveland,
Bruce T. Smith:
An Alternative Characterization of Disjunctive Logic Programs.
ISLP 1991: 54-68 |
