| 2006 |
|---|
| 5 | EE | David Ward,
Fabio Somenzi:
Decomposing image computation for symbolic reachability analysis using control flow information.
ICCAD 2006: 779-785 |
| 2005 |
|---|
| 4 | EE | David Ward,
Fabio Somenzi:
Automatic Generation of Hints for Symbolic Traversal.
CHARME 2005: 207-221 |
| 2003 |
|---|
| 3 | | Baolin Wu,
Tom Abbott,
David Fishman,
Walter McMurray,
Gil Mor,
Kathryn Stone,
David Ward,
Kenneth Williams,
Hongyu Zhao:
Comparison of statistical methods for classification of ovarian cancer using mass spectrometry data.
Bioinformatics 19(13): 1636-1643 (2003) |
| 2002 |
|---|
| 2 | EE | Claus Pahl,
David Ward:
Towards a Component Composition and Interaction Architecture for the Web.
Electr. Notes Theor. Comput. Sci. 65(4): (2002) |
| 2000 |
|---|
| 1 | EE | David Ward,
Sarah Reisinger:
Designing internet research assignments: building a framework for instructor collaboration.
Inf. Res. 6(1): (2000) |
