Theodore S. Norvell

	2011
11		Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan: Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization. IJOCI 2(2): 17-35 (2011)
	2009
10		Theodore S. Norvell: A grainless semantics for the HARPO/L language. CCECE 2009: 810-814
9		Theodore S. Norvell, Michael Bruce-Lockhart: Rich content plug-ins for the teaching machine. ITiCSE 2009: 348
8		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)
7		Michael Bruce-Lockhart, Theodore S. Norvell, Pierluigi Crescenzi: Adding Test Generation to the Teaching Machine. TOCE 9(2): (2009)
	2007
6		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		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		Isabel F. Cruz, Theodore S. Norvell: Aggregative Closure: An Extension of Transitive Closure. ICDE 1989: 384-391

Coauthor Index

1	Michael Bruce-Lockhart	[5] [6] [7] [8] [9]
2	Yannis Cotronis (Yiannis Cotronis, John Yiannis Cotronis)	[6]
3	Pierluigi Crescenzi (Pilu Crescenzi)	[7] [8]
4	Isabel F. Cruz	[1]
5	Rani Gnanaolivu	[11]
6	Eric C. R. Hehner	[2]
7	Ramachandran Venkatesan	[11]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page