Search the dblp DataBase

Publications of Author

1. David Ward, Fabio Somenzi
   Automatic Generation of Hints for Symbolic Traversal. [Citation Graph (0, 0)][DBLP]
   CHARME, 2005, pp:207-221 [Conf]
   
2. David Ward, Fabio Somenzi
   Decomposing image computation for symbolic reachability analysis using control flow information. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2006, pp:779-785 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   Bioinformatics, 2003, v:19, n:13, pp:1636-1643 [Journal]
   
4. Claus Pahl, David Ward
   Towards a Component Composition and Interaction Architecture for the Web. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:4, pp:- [Journal]
   
5. David Ward, Sarah Reisinger
   Designing internet research assignments: building a framework for instructor collaboration. [Citation Graph (0, 0)][DBLP]
   Inf. Res., 2000, v:6, n:1, pp:- [Journal]
   
6. 
   Enabling Federated Access to Information. [Citation Graph (, )][DBLP]