| 2020 | CASC | Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. | Christopher W. Brown, Scott McCallum |
| 2020 | SYNASC | The CAD Conundrum: Lex-Least vs Order. | Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran |
| 2013 | ICTD | Psychological dynamics in ICTD projects. | Tara S. Behrend, Alexander E. Gloss, Garett Howardson, Lori Foster Thompson, Scott McCallum |
| 2013 | ISSAC | Cylindrical algebraic decompositions for boolean combinations. | Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2009 | ISSAC | On delineability of varieties in CAD-based quantifier elimination with two equational constraints. | Scott McCallum, Christopher W. Brown |
| 2008 | ISSAC | Deciding polynomial-exponential problems. | Melanie Achatz, Scott McCallum, Volker Weispfenning |
| 2005 | ISSAC | On using bi-equational constraints in CAD construction. | Christopher W. Brown, Scott McCallum |
| 2003 | ISSAC | On order-invariance of a binomial over a nullifying cell. | Scott McCallum |
| 2001 | ISSAC | On propagation of equational constraints in CAD-based quantifier elimination. | Scott McCallum |
| 1999 | ISSAC | On Projection in CAD-Based Quantifier Elimination with Equational Constraint. | Scott McCallum |