Cynthia A. Brown

26 papers A* 3B 1Journal 16Unranked 6

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