Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. - Christopher W. Brown 001 (ISSAC, 1998)

Guaranteed Solution Formula Construction. - Christopher W. Brown 001 (ISSAC, 1999)

Improved projection for CAD's of R3. - Christopher W. Brown 001 (ISSAC, 2000)

Simple CAD Construction and its Applications. - Christopher W. Brown 001 (J. Symb. Comput., 2001)

Improved Projection for Cylindrical Algebraic Decomposition. - Christopher W. Brown 001 (J. Symb. Comput., 2001)

QEPCAD B: a program for computing with semi-algebraic sets using CADs. - Christopher W. Brown 001 (SIGSAM Bull., 2003)

QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition. - Christopher W. Brown 001 (SIGSAM Bull., 2004)

Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations. - Christopher W. Brown 001; Sjaak de Vlaming; George Nakos (Algorithmic Algebra and Logic, 2005)

On using bi-equational constraints in CAD construction. - Christopher W. Brown 001; Scott McCallum (ISSAC, 2005)

Efficient Preprocessing Methods for Quantifier Elimination. - Christopher W. Brown 001; Christian Gross 003 (CASC, 2006)

Algorithmic methods for investigating equilibria in epidemic modeling. - Christopher W. Brown 001; M'hammed El Kahoui; Dominik Novotni; Andreas Weber 004 (J. Symb. Comput., 2006)

The complexity of quantifier elimination and cylindrical algebraic decomposition. - Christopher W. Brown 001; James H. Davenport (ISSAC, 2007)

RegeXeX: an interactive system providing regular expression exercises. - Christopher W. Brown 001; Eric A. Hardisty (SIGCSE, 2007)

Learning Linked Lists: Experiments with the iList System. - Davide Fossati; Barbara Di Eugenio; Christopher W. Brown 001; Stellan Ohlsson (Intelligent Tutoring Systems, 2008)

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 001; Lin Chen 006; David G. Cosejo (AIED, 2009)

Fast simplifications for Tarski formulas. - Christopher W. Brown 001 (ISSAC, 2009)

On delineability of varieties in CAD-based quantifier elimination with two equational constraints. - Scott McCallum; Christopher W. Brown 001 (ISSAC, 2009)

Supporting Computer Science Curriculum: Exploring and Learning Linked Lists with iList. - Davide Fossati; Barbara Di Eugenio; Christopher W. Brown 001; Stellan Ohlsson; David G. Cosejo; Lin Chen 006 (IEEE Trans. Learn. Technol., 2009)

Black-box/white-box simplification and applications to quantifier elimination. - Christopher W. Brown 001; Adam W. Strzebonski (ISSAC, 2010)

Generating Proactive Feedback to Help Students Stay on Track. - Davide Fossati; Barbara Di Eugenio; Stellan Ohlsson; Christopher W. Brown 001; Lin Chen 006 (Intelligent Tutoring Systems (2), 2010)

Developing and implementing an institution-wide introductory cyber-security course in record time. - Christopher W. Brown 001; Frederick Crabbe; Rita Doerr; Raymond Greenlaw; Chris Hoffmeister; Justin C. Monroe; Donald Needham; Andrew Phillips; Stephen Schall; John Schultz; Steven Simon; David Stahl; et al. (ACM Southeast Regional Conference, 2012)

Anatomy, dissection, and mechanics of an introductory cyber-security course's curriculum at the United States naval academy. - Christopher W. Brown 001; Frederick Crabbe; Rita Doerr; Raymond Greenlaw; Chris Hoffmeister; Justin C. Monroe; Donald Needham; Andrew Phillips; Anthony G. Pollman; Stephen Schall; John Schultz; Steven Simon; et al. (ITiCSE, 2012)

Fast simplifications for Tarski formulas based on monomial inequalities. - Christopher W. Brown 001 (J. Symb. Comput., 2012)

Constructing a single open cell in a cylindrical algebraic decomposition. - Christopher W. Brown 001 (ISSAC, 2013)

Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions. - Christopher W. Brown 001 (CoRR, 2014)

Open Non-uniform Cylindrical Algebraic Decompositions. - Christopher W. Brown 001 (ISSAC, 2015)

Using a Message Board as a Teaching Tool in an Introductory Cyber-Security Course. - Raymond Greenlaw; Christopher W. Brown 001; Zachary Dannelly; Andrew Phillips; Sarah Standard (SIGCSE, 2015)

Constructing a single cell in cylindrical algebraic decomposition. - Christopher W. Brown 001; Marek Kosta (J. Symb. Comput., 2015)

Bridging Two Communities to Solve Real Problems. - Christopher W. Brown 001 (SYNASC, 2016)

Analyzing proposals for improving authentication on the TLS-/SSL-protected Web. - Christopher W. Brown 001; Michael Jenkins (Int. J. Inf. Sec., 2016)

Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. - Christopher W. Brown 001 (ISSAC, 2017)

Polynomial Constraints and Unsat Cores in Tarski. - Fernando Vale-Enriquez; Christopher W. Brown 001 (ICMS, 2018)

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. - Christopher W. Brown 001; Scott McCallum (CASC, 2020)

Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. - Christopher W. Brown 001; Glenn Christopher Daves (ICMS, 2020)

From simplification to a partial theory solver for non-linear real polynomial constraints. - Christopher W. Brown 001; Fernando Vale-Enriquez (J. Symb. Comput., 2020)

Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. - Christopher W. Brown 001; Zoltán Kovács; Róbert Vajda (ADG, 2021)

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (SYNASC, 2022)

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio; Róbert Vajda; M. Pilar Vélez (Math. Comput. Sci., 2022)

Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)

Exploiting Strict Constraints in the Cylindrical Algebraic Covering. - Philipp Bär; Jasper Nalbach; Erika Ábrahám; Christopher W. Brown 001 (SMT, 2023)

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio (ACM Commun. Comput. Algebra, 2023)

On Projective Delineability. - Lucas Michel; Jasper Nalbach; Pierre Mathonet; Naïm Zénaïdi; Christopher W. Brown 001; Erika Ábrahám; James H. Davenport; Matthew England 001 (SYNASC, 2024)

Courting Consensus: How Class Action Lawsuits Shape Data Privacy Rights and Obligations in the US. - Ellis Fenske; Christopher W. Brown 001; Jeff Kosseff (WPES@CCS, 2024)

Computing with Tarski formulas and semi-algebraic sets in a web browser. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (J. Symb. Comput., 2024)

Levelwise construction of a single cylindrical algebraic cell. - Jasper Nalbach; Erika Ábrahám; Philippe Specht; Christopher W. Brown 001; James H. Davenport; Matthew England 001 (J. Symb. Comput., 2024)

The effect of collinearity between observed and model derived training variables on estuarine algal species distribution models. - Dante M. L. Horemans; Jennifer C. Lin; Marjorie A. M. Friedrichs; Pierre St-Laurent; Raleigh R. Hood; Christopher W. Brown 001 (Ecol. Informatics, 2025)

Semantics of division for polynomial solvers. - Christopher W. Brown 001 (J. Symb. Comput., 2025)