David G. Wonnacott
发表
Daniel Feshbach,
Mary Glaser,
Michelle Mills Strout,
2018,
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
David G. Wonnacott,
D. Wonnacott,
2000,
Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000.
Richard P. Martin,
Chen Fu,
Thu D. Nguyen,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
David G. Wonnacott,
D. Wonnacott,
1999,
LCPC.
Sanjay V. Rajopadhye,
Yun Zou,
Tian Jin,
2016,
ArXiv.
Chen Fu,
Barbara G. Ryder,
Ana Milanova,
2004,
ISSTA '04.
David G. Wonnacott,
2001
.
William Pugh,
David G. Wonnacott,
W. Pugh,
1992,
PLDI '92.
Bradford L. Chamberlain,
Catherine Mills Olschanowsky,
Michelle Mills Strout,
2015,
ICS.
William Pugh,
David G. Wonnacott,
W. Pugh,
1994,
TOPL.
William Pugh,
David G. Wonnacott,
W. Pugh,
1993,
LCPC.
William Pugh,
David G. Wonnacott,
W. Pugh,
1998,
TOPL.
William Pugh,
David G. Wonnacott,
1995,
IEEE Trans. Parallel Distributed Syst..
Robert Seater,
David G. Wonnacott,
D. Wonnacott,
2002,
LCPC.
John P. Dougherty,
David G. Wonnacott,
2005,
SIGCSE.
David G. Wonnacott,
D. Wonnacott,
2007
.
David G. Wonnacott,
D. Wonnacott,
2002,
International Journal of Parallel Programming.
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
pdf
Peter-Michael Osera,
David G. Wonnacott,
D. Wonnacott,
2019,
ArXiv.
David G. Wonnacott,
2000,
LCPC.
Patrice Quinton,
Tomofumi Yuki,
Sanjay V. Rajopadhye,
2011,
IWOMP.
David G. Wonnacott,
Ian Burnette,
Tim Douglas,
2012,
2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012).
Chen Fu,
Barbara G. Ryder,
Ana Milanova,
2005,
IEEE Transactions on Software Engineering.
David G. Wonnacott,
D. Wonnacott,
2001,
COOTS.
William Pugh,
David G. Wonnacott,
W. Pugh,
1994,
PPCP.
John D. McCalpin,
David G. Wonnacott,
D. Wonnacott,
1999
.
Robert Seater,
David G. Wonnacott,
2001,
LCPC.
David G. Wonnacott,
2011,
Encyclopedia of Parallel Computing.
Peter-Michael Osera,
David G. Wonnacott,
2017,
2017 IEEE Blocks and Beyond Workshop (B&B).