Bruce M. Adcock

	2011
7		Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
	2010
6		Timothy N. Miller, Renji Thomas, James Dinan, Bruce M. Adcock, Radu Teodorescu: Parichute: Generalized Turbocode-Based Error Correction for Near-Threshold Caches. MICRO 2010: 351-362
	2009
5		Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide: Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR 2009: 31-40
4		Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide: Traditional assignment considered harmful. OOPSLA Companion 2009: 909-916
	2008
3		Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98
	2007
2		Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide: Which pointer errors do students make? SIGCSE 2007: 9-13
	2000
1		Bruce M. Adcock, Kevin C. Jones, Clifford A. Reiter, Lisa M. Vislocky: Iterated function systems with symmetry in the hyperbolic plane. Computers & Graphics 24(5): 791-796 (2000)

Coauthor Index

1	Jeremy Avigad	[7]
2	Derek Bronish	[3] [4] [5] [7]
3	Paolo Bucci	[2] [3] [7]
4	James Dinan	[6]
5	David Frazier	[3] [7]
6	Harvey M. Friedman (Harvey Friedman)	[7]
7	Heather K. Harton	[3] [5] [7]
8	Wayne D. Heym	[2] [3] [4] [7]
9	Joseph E. Hollingsworth	[2]
10	Kevin C. Jones	[1]
11	Jason Kirschenbaum	[3] [4] [5] [7]
12	Joan Krone	[7]
13	Timothy J. Long	[2]
14	Timothy N. Miller	[6]
15	Scott M. Pike	[4]
16	Clifford A. Reiter	[1]
17	Murali Sitaraman	[3] [5] [7]
18	Hampton Smith	[5] [7]
19	Radu Teodorescu	[6]
20	Renji Thomas	[6]
21	Lisa M. Vislocky	[1]
22	Bruce W. Weide	[2] [3] [4] [5] [7]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page