Aggregative Closure: An Extension of Transitive Closure. - Isabel F. Cruz; Theodore S. Norvell (ICDE, 1989)

Logical Specifications for Functional Programs. - Theodore S. Norvell; Eric C. R. Hehner (MPC, 1992)

Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. - Theodore S. Norvell (FSTTCS, 1993)

Machine Code Programs are Predicates Too. - Theodore S. Norvell (Refine, 1994)

A predicative theory of machine languages and its application to compiler correctness. - Theodore S. Norvell (1994)

Predicative semantics of loops. - Theodore S. Norvell (Algorithmic Languages and Calculi, 1997)

Interactive embedded examples: a demonstration. - Michael Bruce-Lockhart; Theodore S. Norvell (ITiCSE, 2006)

Program and Algorithm Visualization in Engineering and Physics. - Michael Bruce-Lockhart; Theodore S. Norvell; Yiannis Cotronis (PVW, 2006)

Integrating test generation functionality into the Teaching Machine environment. - Michael Bruce-Lockhart; Pilu Crescenzi; Theodore S. Norvell (PVW, 2008)

A grainless semantics for the HARPO/L language. - Theodore S. Norvell (CCECE, 2009)

Rich content plug-ins for the teaching machine. - Theodore S. Norvell; Michael Bruce-Lockhart (ITiCSE, 2009)

Adding Test Generation to the Teaching Machine. - Michael Bruce-Lockhart; Theodore S. Norvell; Pierluigi Crescenzi (ACM Trans. Comput. Educ., 2009)

Mapping loops onto Coarse-Grained Reconfigurable Architectures using Particle Swarm Optimization. - Rani Gnanaolivu; Theodore S. Norvell; Ramachandran Venkatesan (SoCPaR, 2010)

Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization. - Rani Gnanaolivu; Theodore S. Norvell; Ramachandran Venkatesan (Int. J. Organ. Collect. Intell., 2011)

AEIPA: Docker-based system for Automated Evaluation of Image Processing Algorithms. - Acil Abdel Naby; Mohamed S. Shehata; Theodore S. Norvell (CCECE, 2017)