| * | 2009 |
|---|
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
