Counting Satisfiable k-CNF Formulas. - Mitchell A. Harris (CP, 2001)

Thresholds and Symmetries in Propositional Formulas - Mitchell A. Harris (2002)

Sharp Bounds for Bandwidth of Clique Products - Tanya Y. Berger-Wolf; Mitchell A. Harris (CoRR, 2003)

Line drawing, leap years, and Euclid. - Mitchell A. Harris; Edward M. Reingold (ACM Comput. Surv., 2004)

Enumeration Problems Related to Ground Horn Theories - Nachum Dershowitz; Mitchell A. Harris; Guan-Shieng Huang (CoRR, 2006)

A Case Tracking System with Electronic Medical Record Integration to Automate Outcome Tracking for Radiologists. - Tarik K. Alkasab; Mitchell A. Harris; Michael E. Zalis; Keith J. Dreyer; Daniel I. Rosenthal (J. Digit. Imaging, 2010)