Databases

• "Privacy-Preserving Database Union" (with A. Wildenberg, V. Vieland and Y. Zhang), Privacy in Statistical Databases Springer-Verlag Lecture Notes in Computer Science 4032 (December 2006), pp. 266-276.

Computational Biology

• "A Structured Pattern Matching Approach to Shotgun Sequence Assembly" (with S. Kim), Journal of Computational Biology 6:2, Mary Ann Liebert Press (Spring 1999), pp. 163-186.

• "Approximation of Multipoint Likelihoods Using Flanking Marker Data: A Simulation Study" (with A. George, L. Mangin, C. Bartlett, M. Logue, V. Vieland), BMC Genetics (December 2005), pp. S44.

• "Mapping Autism Risk Loci Using Genetic Linkage and Chromosomal Rearrangements" (Autism Genome Project), Nature Genetics 39:3 (March 2007), pp. 319-328.

Distributed Search

• "Nagging: A Scalable, Fault-Tolerant, Paradigm for Distributed Search" (with S. Foreman, G. Resta and A. Wildenberg), Artificial Intelligence 140:1-2 (September 2002), pp. 71-106.

• "An Optimal Multiprocessor Combinatorial Auction Solver" (with S. Yang and B. Codenotti), To appear in: Computers and Operations Research, Elsevier (2007).

Theorem Proving

• "Bounded-Overhead Caching for Definite-Clause Theorem Proving" (with D. Scharstein), Journal of Automated Reasoning 11:1, Kluwer Academic (August 1993), pp. 83-113.

• "Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference" (with D.B. Sturgill), Journal of Automated Reasoning 19:3, Kluwer Academic (December 1997), pp. 347-376.

Machine Learning

• Machine Learning of Robot Assembly Plans, Kluwer Academic, (1987).

• "A Critical Look at Experimental Evaluations of EBL" (with C.P. Elkan and A. Russell), Machine Learning 6:2, Kluwer Academic (March 1991), pp. 183-196.

• "Computer Systems that Learn (Book Review)" (with G.J. Gordon), Artificial Intelligence 62:2, North Holland (August 1993), pp.363-378.

• "A High Performance Explanation-Based Learning Algorithm" (with C.P. Elkan), Artificial Intelligence 69:1-2, North Holland (September 1994), pp.1-50.

• "Exploratory Analysis of Speedup Learning Data Using Expectation Maximization" (with G.J. Gordon and C.P. Elkan), Artifical Intelligence 85:1-2, North Holland (August 1996), pp.301-319.

• "A Parallel Learning Algorithm for Bayesian Inference Networks" (with W. Lam), IEEE Transactions on Knowledge and Data Engineering 14:1, IEEE Press (January/February 2002), pp. 93-105.

Theory Revision

• "Bias-Driven Revision of Logical Domain Theories" (with M. Koppel and R. Feldman), Journal of Artificial Intelligence Research 1, Morgan Kaufmann (February 1994), pp. 159-208.

Computers and Education

• "OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts" (with F. Menczer), ACM Journal of Educational Resources in Computing 1:4, ACM Press (December 2001), pp. 18-30. Click here for a demonstration.