| 2012 | AI | Predicting Good Propagation Methods for Constraint Satisfaction. | Craig D. S. Thompson, Michael C. Horsch |
| 2011 | FlAIRS | A Method of Virtual Camera Selection Using Soft Constraints. | Michael Janzen, Michael C. Horsch, Eric Neufeld |
| 2007 | FlAIRS | Efficient Caching in Elimination Trees. | Kevin Grant, Michael C. Horsch |
| 2006 | AI | Exploiting Dynamic Independence in a Static Conditioning Graph. | Kevin Grant, Michael C. Horsch |
| 2006 | FlAIRS | Methods for Constructing Balanced Elimination Trees and Other Recursive Decompositions. | Kevin Grant, Michael C. Horsch |
| 2005 | AI | A Bayesian Model to Smooth Telepointer Jitter. | Jeff Long, Michael C. Horsch |
| 2005 | AI | A Decision Theoretic Meta-reasoner for Constraint Optimization. | Jingfang Zheng, Michael C. Horsch |
| 2004 | PRICAI | An Hierarchical Terrain Representation for Approximately Shortest Paths. | David Mould, Michael C. Horsch |
| 2003 | AI | A Comparison of Consistency Propagation Algorithms in Constraint Optimization. | Jingfang Zheng, Michael C. Horsch |
| 2002 | AI | Generalized Arc Consistency with Application to MaxCSP. | Michael C. Horsch, William S. Havens, Aditya Ghose |
| 2000 | CP | An Empirical Study of Probabilistic Arc Consistency. | Michael C. Horsch, William S. Havens |
| 2000 | UAI | Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. | Michael C. Horsch, William S. Havens |
| 1999 | UAI | Estimating the Value of Computation in Flexible Information Refinement. | Michael C. Horsch, David L. Poole |
| 1998 | UAI | An Anytime Algorithm for Decision Making under Uncertainty. | Michael C. Horsch, David L. Poole |
| 1996 | UAI | Flexible Policy Construction by Information Refinement. | Michael C. Horsch, David L. Poole |