| 2017 | GECCO | Automated case generation using a genetic algorithm. | Hayley Borck, Mark S. Boddy |
| 2016 | ICCBR | Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. | Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy |
| 2015 | AAAI | Capturing Human Route Preferences From Track Information: New Results. | Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston |
| 2014 | IC3K | Reasoner Performance on Ontologies for Operations. | Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso |
| 2013 | IC3K | PRONTOE - A Case Study for Developing Ontologies for Operations. | Scott Bell, R. Peter Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost |
| 2013 | IC3K | PRONTOE: An Ontology Editor for Domain Experts. | Scott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost |
| 2011 | AAAI | Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. | Martin Michalowski, Mark S. Boddy, Mike Neilsen |
| 1997 | AAAI | Dynamic Abstraction Planning. | Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy |
| 1997 | AAAI | Contract-Based Distributed Scheduling for Distributed Processing. | David J. Musliner, Mark S. Boddy |
| 1997 | TIME | Practical Temporal Reasoning for Real Scheduling Applications. | Mark S. Boddy |
| 1994 | KR | Representing Uncertainty in Simple Planners. | Robert P. Goldman, Mark S. Boddy |
| 1994 | UAI | Epsilon-Safe Planning. | Robert P. Goldman, Mark S. Boddy |
| 1991 | AAAI | Anytime Problem Solving Using Dynamic Programming. | Mark S. Boddy |
| 1989 | IJCAI | Solving Time-Dependent Planning Problems. | Mark S. Boddy, Thomas L. Dean |
| 1988 | AAAI | An Analysis of Time-Dependent Planning. | Thomas L. Dean, Mark S. Boddy |
| 1987 | AAAI | Incremental Causal Reasoning. | Thomas L. Dean, Mark S. Boddy |