Christopher W. Brown

56 papers A 3B 16Misc 3Journal 22Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
Projective Delineability for Single Cell Construction.
SC-Square@CADE
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025 J jnl
Projective Delineability for Single Cell Construction.
CoRR
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025 J jnl
Semantics of division for polynomial solvers.
J. Symb. Comput.
Christopher W. Brown
2025 J jnl
The effect of collinearity between observed and model derived training variables on estuarine algal species distribution models.
Ecol. Informatics
Dante M. L. Horemans, Jennifer C. Lin, Marjorie A. M. Friedrichs, Pierre St-Laurent, Raleigh R. Hood, Christopher W. Brown
2024 J jnl
Computing with Tarski formulas and semi-algebraic sets in a web browser.
J. Symb. Comput.
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2024 — conf
Courting Consensus: How Class Action Lawsuits Shape Data Privacy Rights and Obligations in the US.
WPES@CCS
Ellis Fenske, Christopher W. Brown, Jeff Kosseff
2024 — ed.
Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024.
PAAR+SC²@IJCAR
Christopher W. Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda
2024 J jnl
Levelwise construction of a single cylindrical algebraic cell.
J. Symb. Comput.
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2024 Misc conf
On Projective Delineability.
SYNASC
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 J jnl
On Projective Delineability.
CoRR
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 J jnl
Semantics of Division for Polynomial Solvers.
CoRR
Christopher W. Brown
2023 — conf
Exploiting Strict Constraints in the Cylindrical Algebraic Covering.
SMT
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023 J jnl
Exploiting Strict Constraints in the Cylindrical Algebraic Covering.
CoRR
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023 J jnl
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra
Christopher W. Brown, Zoltán Kovács, Tomás Recio
2023 — conf
Towards Detection of Partial Truth via Real Geometry.
SC-Square@ISSAC
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022 Misc conf
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
SYNASC
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2022 J jnl
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci.
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022 J jnl
Levelwise construction of a single cylindrical algebraic cell.
CoRR
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2021 — conf
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.
ADG
Christopher W. Brown, Zoltán Kovács, Róbert Vajda
2020 — conf
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving.
ICMS
Christopher W. Brown, Glenn Christopher Daves
2020 B conf
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.
CASC
Christopher W. Brown, Scott McCallum
2020 J jnl
From simplification to a partial theory solver for non-linear real polynomial constraints.
J. Symb. Comput.
Christopher W. Brown, Fernando Vale-Enriquez
2018 — conf
Polynomial Constraints and Unsat Cores in Tarski.
ICMS
Fernando Vale-Enriquez, Christopher W. Brown
2017 B conf
Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition.
ISSAC
Christopher W. Brown
2016 J jnl
Analyzing proposals for improving authentication on the TLS-/SSL-protected Web.
Int. J. Inf. Sec.
Christopher W. Brown, Michael Jenkins
2016 Misc conf
Bridging Two Communities to Solve Real Problems.
SYNASC
Christopher W. Brown
2015 J jnl
Constructing a single cell in cylindrical algebraic decomposition.
J. Symb. Comput.
Christopher W. Brown, Marek Kosta
2015 B conf
Open Non-uniform Cylindrical Algebraic Decompositions.
ISSAC
Christopher W. Brown
2015 A conf
Using a Message Board as a Teaching Tool in an Introductory Cyber-Security Course.
SIGCSE
Raymond Greenlaw, Christopher W. Brown, Zachary Dannelly, Andrew Phillips, Sarah Standard
2014 — conf
Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web.
SSR
Christopher W. Brown, Michael Jenkins
2014 J jnl
Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions.
CoRR
Christopher W. Brown
2013 B conf
Constructing a single open cell in a cylindrical algebraic decomposition.
ISSAC
Christopher W. Brown
2012 B conf
Anatomy, dissection, and mechanics of an introductory cyber-security course's curriculum at the United States naval academy.
ITiCSE
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
2012 — conf
Developing and implementing an institution-wide introductory cyber-security course in record time.
ACM Southeast Regional Conference
Christopher W. Brown, Frederick Crabbe, Rita Doerr, Raymond Greenlaw, Chris Hoffmeister, Justin C. Monroe, Donald Needham, Andrew Phillips, Stephen Schall, John Schultz, Steven Simon, David Stahl, Sarah Standard
2012 J jnl
Fast simplifications for Tarski formulas based on monomial inequalities.
J. Symb. Comput.
Christopher W. Brown
2010 B conf
Black-box/white-box simplification and applications to quantifier elimination.
ISSAC
Christopher W. Brown, Adam W. Strzebonski
2010 B conf
Generating Proactive Feedback to Help Students Stay on Track.
Intelligent Tutoring Systems (2)
Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen
2009 B conf
Fast simplifications for Tarski formulas.
ISSAC
Christopher W. Brown
2009 A conf
I learn from you, you learn from me: How to make iList learn from students.
AIED
Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen, David G. Cosejo
2009 B conf
On delineability of varieties in CAD-based quantifier elimination with two equational constraints.
ISSAC
Scott McCallum, Christopher W. Brown
2009 J jnl
Supporting Computer Science Curriculum: Exploring and Learning Linked Lists with iList.
IEEE Trans. Learn. Technol.
Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson, David G. Cosejo, Lin Chen
2008 B conf
Learning Linked Lists: Experiments with the iList System.
Intelligent Tutoring Systems
Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson
2007 A conf
RegeXeX: an interactive system providing regular expression exercises.
SIGCSE
Christopher W. Brown, Eric A. Hardisty
2007 B conf
The complexity of quantifier elimination and cylindrical algebraic decomposition.
ISSAC
Christopher W. Brown, James H. Davenport
2006 J jnl
Algorithmic methods for investigating equilibria in epidemic modeling.
J. Symb. Comput.
Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber
2006 B conf
Efficient Preprocessing Methods for Quantifier Elimination.
CASC
Christopher W. Brown, Christian Gross
2005 — conf
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling.
Algorithmic Algebra and Logic
Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber
2005 B conf
On using bi-equational constraints in CAD construction.
ISSAC
Christopher W. Brown, Scott McCallum
2005 — conf
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.
Algorithmic Algebra and Logic
Christopher W. Brown, Sjaak de Vlaming, George Nakos
2004 J jnl
QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition.
SIGSAM Bull.
Christopher W. Brown
2003 J jnl
QEPCAD B: a program for computing with semi-algebraic sets using CADs.
SIGSAM Bull.
Christopher W. Brown
2001 J jnl
Improved Projection for Cylindrical Algebraic Decomposition.
J. Symb. Comput.
Christopher W. Brown
2001 J jnl
Simple CAD Construction and its Applications.
J. Symb. Comput.
Christopher W. Brown
2000 B conf
Improved projection for CAD's of R
ISSAC
Christopher W. Brown
1999 B conf
Guaranteed Solution Formula Construction.
ISSAC
Christopher W. Brown
1998 B conf
Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.
ISSAC
Christopher W. Brown