| 2024 | SYNASC | On Projective Delineability. | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Nam Znadi, Christopher W. Brown, Erika brahm, James H. Davenport, Matthew England |
| 2022 | SYNASC | A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. | Zoltn Kovcs, Christopher W. Brown, Toms Recio, Rbert Vajda |
| 2020 | CASC | Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. | Christopher W. Brown, Scott McCallum |
| 2017 | ISSAC | Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. | Christopher W. Brown |
| 2016 | SYNASC | Bridging Two Communities to Solve Real Problems. | Christopher W. Brown |
| 2015 | ISSAC | Open Non-uniform Cylindrical Algebraic Decompositions. | Christopher W. Brown |
| 2015 | SIGCSE | Using a Message Board as a Teaching Tool in an Introductory Cyber-Security Course. | Raymond Greenlaw, Christopher W. Brown, Zachary Dannelly, Andrew Phillips, Sarah Standard |
| 2013 | ISSAC | Constructing a single open cell in a cylindrical algebraic decomposition. | Christopher W. Brown |
| 2012 | ITiCSE | Anatomy, dissection, and mechanics of an introductory cyber-security course's curriculum at the United States naval academy. | Christopher W. Brown, Frederick Crabbe, Rita Doerr, Raymond Greenlaw, Chris Hoffmeister, Justin C. Monroe, Donald Needham, Andrew Phillips, Anthony G. Pollman, Stephen Schall, John Schultz, Steven Simon, David Stahl, Sarah Standard |
| 2010 | ISSAC | Black-box/white-box simplification and applications to quantifier elimination. | Christopher W. Brown, Adam W. Strzebonski |
| 2010 | ITS | Generating Proactive Feedback to Help Students Stay on Track. | Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen |
| 2009 | AIED | I learn from you, you learn from me: How to make iList learn from students. | Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen, David G. Cosejo |
| 2009 | ISSAC | Fast simplifications for Tarski formulas. | Christopher W. Brown |
| 2009 | ISSAC | On delineability of varieties in CAD-based quantifier elimination with two equational constraints. | Scott McCallum, Christopher W. Brown |
| 2008 | ITS | Learning Linked Lists: Experiments with the iList System. | Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson |
| 2007 | ISSAC | The complexity of quantifier elimination and cylindrical algebraic decomposition. | Christopher W. Brown, James H. Davenport |
| 2007 | SIGCSE | RegeXeX: an interactive system providing regular expression exercises. | Christopher W. Brown, Eric A. Hardisty |
| 2006 | CASC | Efficient Preprocessing Methods for Quantifier Elimination. | Christopher W. Brown, Christian Gross |
| 2005 | ISSAC | On using bi-equational constraints in CAD construction. | Christopher W. Brown, Scott McCallum |
| 2000 | ISSAC | Improved projection for CAD's of R | Christopher W. Brown |
| 1999 | ISSAC | Guaranteed Solution Formula Construction. | Christopher W. Brown |
| 1998 | ISSAC | Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. | Christopher W. Brown |