| |
| 2009 | ||
|---|---|---|
| 7 | EE | Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell: Integrating test generation functionality into the Teaching Machine environment. Electr. Notes Theor. Comput. Sci. 224: 115-124 (2009) |
| 2007 | ||
| 6 | EE | Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis: Program and Algorithm Visualization in Engineering and Physics. Electr. Notes Theor. Comput. Sci. 178: 111-119 (2007) |
| 2006 | ||
| 5 | EE | Michael Bruce-Lockhart, Theodore S. Norvell: Interactive embedded examples: a demonstration. ITiCSE 2006: 357 |
| 1997 | ||
| 4 | Theodore S. Norvell: Predicative semantics of loops. Algorithmic Languages and Calculi 1997: 415-437 | |
| 1993 | ||
| 3 | Theodore S. Norvell: Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. FSTTCS 1993: 294-305 | |
| 1992 | ||
| 2 | Theodore S. Norvell, Eric C. R. Hehner: Logical Specifications for Functional Programs. MPC 1992: 269-290 | |
| 1989 | ||
| 1 | EE | Isabel F. Cruz, Theodore S. Norvell: Aggregative Closure: An Extension of Transitive Closure. ICDE 1989: 384-391 |
| 1 | Michael Bruce-Lockhart | [5] [6] [7] |
| 2 | Yiannis Cotronis | [6] |
| 3 | Pierluigi Crescenzi (Pilu Crescenzi) | [7] |
| 4 | Isabel F. Cruz | [1] |
| 5 | Eric C. R. Hehner | [2] |