Mitchell A. Harris

According to our database, Mitchell A. Harris authored at least 6 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

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

2006

Enumeration Problems Related to Ground Horn Theories

Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang

CoRR, 2006

2004

Line drawing, leap years, and Euclid.

Mitchell A. Harris, Edward M. Reingold

ACM Comput. Surv., 2004

2003

Sharp Bounds for Bandwidth of Clique Products

Tanya Y. Berger-Wolf, Mitchell A. Harris

CoRR, 2003

2002

Thresholds and Symmetries in Propositional Formulas

Mitchell A. Harris

PhD thesis, 2002

2001

Counting Satisfiable k-CNF Formulas.

Mitchell A. Harris

Proceedings of the Principles and Practice of Constraint Programming, 2001