Robert W. Sumners

Rob Sumners

	2008
6		David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding: Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008)
	2007
5		Sandip Ray, Rob Sumners: Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers 24(2): 132-139 (2007)
4		Shobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham: Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems. IEEE Trans. Computers 56(10): 1401-1414 (2007)
	2000
3		Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham: Automatic Validation Test Generation Using Extracted Control Models. VLSI Design 2000: 312-
	1999
2		Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham: Improving Witness Search Using Orders on States. ICCD 1999: 452-457
	1997
1		Robert W. Sumners, Jacob A. Abraham: Hierarchical Specification of System Behavior. HASE 1997: 134-140

Coauthor Index

1	Jacob A. Abraham	[1] [2] [3] [4]
2	Jayanta Bhadra	[2] [3]
3	David A. Greve	[6]
4	Matt Kaufmann	[6]
5	Panagiotis Manolios (Pete Manolios)	[6]
6	J. Strother Moore	[6]
7	Sandip Ray	[5] [6]
8	José-Luis Ruiz-Reina	[6]
9	Shobha Vasudevan	[4]
10	Vinod Viswanath	[4]
11	Daron Vroon	[6]
12	Matthew Wilding	[6]