Get started
Author

Theodore S. Norvell

Observed names: T. NORVELL, T. Norvell, T.S. Norvell, Theodore Norvell, Theodore S Norvell
ORCID: 0000-0002-2361-8490
Observed ORCID: 0000-0002-2361-8490
OpenAlex ID: A5000569965
Aggregative closure: an extension of transitive closure
2003 · I.F. Cruz, T.S. Norvell · Proceedings - International Conference on Data Engineering · 32
Lifting the hood of the computer: program animation with the Teaching Machine
2002 · M.P. Bruce-Lockhart, T.S. Norvell · 18
Machine Code Programs are Predicates Too
1994 · Theodore S. Norvell · Workshops in computing · 16
Logical specifications for functional programs
1993 · Theodore S. Norvell, Eric C. R. Hehner · Lecture notes in computer science · 16
Developing Mental Models of Computer Programming Interactively Via the Web
2007 · Michael P. Bruce-Lockhart, Theodore S. Norvell · 15
Program and Algorithm Visualization in Engineering and Physics
2007 · Michael Bruce-Lockhart, Theodore S. Norvell, et al. · Electronic Notes in Theoretical Computer Science · 14
PDF
Mapping loops onto Coarse-Grained Reconfigurable Architectures using Particle Swarm Optimization
2010 · Rani Gnanaolivu, Theodore S. Norvell, et al. · International Conference of Soft Computing and Pattern Recognition (SoCPaR) · 11
Integrating test generation functionality into the Teaching Machine environment
2009 · Michael Bruce-Lockhart, Pilu Crescenzi, et al. · Electronic Notes in Theoretical Computer Science · 7
PDF
Compiling parallel applications to Coarse-Grained Reconfigurable Architectures
2008 · Mohammed Ashraful Alam Tuhin, Theodore S. Norvell · Conference proceedings - Canadian Conference on Electrical and Computer Engineering · 7
A predicative theory of machine languages and its application to compiler correctness
1994 · Eric C. R. Hehner, Theodore S. Norvell · 6
Adding Test Generation to the Teaching Machine
2009 · Michael Bruce-Lockhart, Theodore Norvell, et al. · ACM Transactions on Computing Education · 4
Teaching Computer Programming With Program Animation
2008 · Theodore S. Norvell, Michael P. Bruce-lockhart · 4
Interactive embedded examples
2006 · Michael Bruce-Lockhart, Theodore S. Norvell · ACM SIGCSE Bulletin · 4
Predicative Semantics of Loops
1997 · Theodore S. Norvell · IFIP advances in information and communication technology · 4
PDF
Discrete event control of mobile robotic systems with potential applications in healthcare
2002 · F. Hwang, J. King, et al. · 2
Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization
2011 · Rani Gnanaolivu, Theodore S. Norvell, et al. · International Journal of Organizational and Collective Intelligence · 1
HARPO/L: A language for Hardware/Software codesign.
2008 · Theodore S. Norvell, Xiangwen Li, et al. · 1
Better Monitors for Java
2007 · Theodore S. Norvell · 1
Interactive embedded examples
2006 · Michael Bruce-Lockhart, Theodore S. Norvell · Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE) · 1
A differential attack on the CIKS-1 block cipher
2004 · B.J. Kidney, H.M. Heys, et al. · Conference proceedings - Canadian Conference on Electrical and Computer Engineering · 1
Small: A programming language for state machine design
2002 · T.S. Norvell · IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) · 1
Induce-statements and induce-expressions: Constructs for inductive programming
1993 · Theodore S. Norvell · Lecture notes in computer science · 1
AEIPA: Docker-based system for Automated Evaluation of Image Processing Algorithms
2017 · Acil Abdel Naby, Mohamed S. Shehata, et al. · IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)
Proof-Outline Logic (Concurrent Programming Edition)
2014 · Theodore S. Norvell
Application of JHigraph
2012 · Theodore S. Norvell, Xiaoyu Guo, et al.
Works count: 56
Citation count: 167
H-index: 7
I10-index: 7
Year
Topic
Type