| |
| 2005 | ||
|---|---|---|
| 7 | EE | Timothy S. Gegg-Harrison: Constructing contracts: Making discrete mathematics relevant to beginning programmers. ACM Journal of Educational Resources in Computing 5(2): 1-28 (2005) |
| 2003 | ||
| 6 | EE | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness by constructing contracts. ITiCSE 2003: 129-133 |
| 5 | EE | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness in ProVIDE. ITiCSE 2003: 262 |
| 2001 | ||
| 4 | EE | Timothy S. Gegg-Harrison: Ancient Egyptian numbers: a CS-complete example. SIGCSE 2001: 268-272 |
| 1996 | ||
| 3 | Timothy S. Gegg-Harrison: Extensible Logic Program Schemata. LOPSTR 1996: 256-274 | |
| 1995 | ||
| 2 | Timothy S. Gegg-Harrison: Representing Logic Program Schemata in lambda-Prolog. ICLP 1995: 467-481 | |
| 1992 | ||
| 1 | Timothy S. Gegg-Harrison: ADAPT: Automated Debugging in an Adaptive Prolog Tutor. Intelligent Tutoring Systems 1992: 343-350 | |
| 1 | Gary R. Bunce | [5] [6] |
| 2 | Rebecca D. Ganetzky | [5] [6] |
| 3 | Christina M. Olson | [5] [6] |
| 4 | Joshua D. Wilson | [5] [6] |