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) |