Cynthia A. Brown

Publication Activity (10 Years)

Years Active: 1980-1996
Publications (10 Years): 0

Publications

Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
Backtrack Searching in the Presence of Symmetry. Nord. J. Comput. 3 (3) (1996)
Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx, Richard Rasala
Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science. ACM Conference on Computer Science (1993)
Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx, Richard Rasala
Using visual feedback and model programs in introductory computer science. J. Comput. High. Educ. 4 (1) (1992)
Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx, Richard Rasala
Programming by Experimentation and Example. ICCAL (1992)
Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
A New Base Change Algorithm for Permutation Groups. SIAM J. Comput. 18 (5) (1989)
Abbas Birjandi, Cynthia A. Brown
An Onsite Education Program for Software Quality. CSEE (1989)
Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
Backtrack Searching in the Presence of Symmetry. AAECC (1988)
Cynthia A. Brown, Gene Cooperman, Larry Finkelstein
Solving Permutation Problems Using Rewriting Systems. ISSAC (1988)
Paul Walton Purdom Jr., Cynthia A. Brown
Polynomial-average-time satisfiability problems. Inf. Sci. 41 (1) (1987)
Paul Walton Purdom Jr., Cynthia A. Brown
Tree Matching and Simplification. Softw. Pract. Exp. 17 (2) (1987)
Khaled M. Bugrara, Cynthia A. Brown
On the average case analysis of some satisfiability model problems. Inf. Sci. 40 (1) (1986)
Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
Intelligent Backtracking Using Symmetry. FJCC (1986)
Paul Walton Purdom Jr., Cynthia A. Brown
Fast Many-to-One Matching Algorithms. RTA (1985)
Paul Walton Purdom Jr., Cynthia A. Brown
The Pure Literal Rule and Polynomial Average Time. SIAM J. Comput. 14 (4) (1985)
Cynthia A. Brown, Paul Walton Purdom Jr.
A Methodology and Notation for Compiler Front End Design. Softw. Pract. Exp. 14 (4) (1984)
Cynthia A. Brown
A Self-Modifying Theorem Prover. AAAI (1984)
Paul Walton Purdom Jr., Cynthia A. Brown
An Analysis of Backtracking with Search Rearrangement. SIAM J. Comput. 12 (4) (1983)
Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown
Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. 15 (2) (1982)
Paul Walton Purdom Jr., Cynthia A. Brown
Evaluating Search Methods Analytically. AAAI (1982)
Cynthia A. Brown, Paul Walton Purdom Jr.
An Empirical Comparison of Backtracking Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 4 (3) (1982)
Cynthia A. Brown, Paul Walton Purdom Jr.
An Average Time Analysis of Backtracking. SIAM J. Comput. 10 (3) (1981)
Cynthia A. Brown, Paul Walton Purdom Jr.
How to Search Efficiently. IJCAI (1981)
Paul Walton Purdom Jr., Cynthia A. Brown
Grammars. Acta Informatica 15 (1981)
Paul Walton Purdom Jr., Cynthia A. Brown, Edward L. Robertson
Backtracking with Multi-Level Dynamic Search Rearrangement. Acta Informatica 15 (1981)
Paul Walton Purdom Jr., Cynthia A. Brown
Exact formulas for the buddy system. Inf. Sci. 22 (1) (1980)
Paul Walton Purdom Jr., Cynthia A. Brown
Parsers. Acta Informatica 14 (1980)