The SCEAS System
Navigation Menu

Search the dblp DataBase


Christopher W. Brown: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christopher W. Brown, Christian Gross
    Efficient Preprocessing Methods for Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    CASC, 2006, pp:89-100 [Conf]
  2. Christopher W. Brown
    Improved projection for CAD's of R3. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:48-53 [Conf]
  3. Christopher W. Brown
    Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:295-301 [Conf]
  4. Christopher W. Brown
    Guaranteed Solution Formula Construction. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1999, pp:137-144 [Conf]
  5. Christopher W. Brown, Scott McCallum
    On using bi-equational constraints in CAD construction. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:76-83 [Conf]
  6. Christopher W. Brown, Eric A. Hardisty
    RegeXeX: an interactive system providing regular expression exercises. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:445-449 [Conf]
  7. Christopher W. Brown
    Simple CAD Construction and its Applications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:31, n:5, pp:521-547 [Journal]
  8. Christopher W. Brown
    Improved Projection for Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:5, pp:447-465 [Journal]
  9. Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber 0004
    Algorithmic methods for investigating equilibria in epidemic modeling. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:11, pp:1157-1173 [Journal]
  10. Christopher W. Brown, James H. Davenport
    The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2007, pp:54-60 [Conf]

  11. I learn from you, you learn from me: How to make iList learn from students. [Citation Graph (, )][DBLP]

  12. Fast simplifications for Tarski formulas. [Citation Graph (, )][DBLP]

  13. On delineability of varieties in CAD-based quantifier elimination with two equational constraints. [Citation Graph (, )][DBLP]

  14. Learning Linked Lists: Experiments with the iList System. [Citation Graph (, )][DBLP]

  15. Generating Proactive Feedback to Help Students Stay on Track. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002