Cynthia A. Brown

According to our database1, Cynthia A. Brown
  • authored at least 26 papers between 1980 and 1996.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
Backtrack Searching in the Presence of Symmetry.
Nord. J. Comput., 1996

1993
Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science.
Proceedings of the ACM 21th Conference on Computer Science, 1993

1992
Using visual feedback and model programs in introductory computer science.
J. Computing in Higher Education, 1992

Programming by Experimentation and Example.
Proceedings of the Computer Assisted Learning, 4th International Conference, 1992

1989
A New Base Change Algorithm for Permutation Groups.
SIAM J. Comput., 1989

An Onsite Education Program for Software Quality.
Proceedings of the Software Engineering Education, 1989

1988
Solving Permutation Problems Using Rewriting Systems.
Proceedings of the Symbolic and Algebraic Computation, 1988

Backtrack Searching in the Presence of Symmetry.
Proceedings of the Applied Algebra, 1988

1987
Tree Matching and Simplification.
Softw., Pract. Exper., 1987

Polynomial-average-time satisfiability problems.
Inf. Sci., 1987

1986
On the average case analysis of some satisfiability model problems.
Inf. Sci., 1986

Intelligent Backtracking Using Symmetry.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
The Pure Literal Rule and Polynomial Average Time.
SIAM J. Comput., 1985

Fast Many-to-One Matching Algorithms.
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1984
A Methodology and Notation for Compiler Front End Design.
Softw., Pract. Exper., 1984

A Self-Modifying Theorem Prover.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
An Analysis of Backtracking with Search Rearrangement.
SIAM J. Comput., 1983

1982
An Empirical Comparison of Backtracking Algorithms.
IEEE Trans. Pattern Anal. Mach. Intell., 1982

Average Time Analyses of Simplified Davis-Putnam Procedures.
Inf. Process. Lett., 1982

Evaluating Search Methods Analytically.
Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, 1982

1981
An Average Time Analysis of Backtracking.
SIAM J. Comput., 1981

Backtracking with Multi-Level Dynamic Search Rearrangement.
Acta Inf., 1981

Parsing Extended LR(k) Grammars.
Acta Inf., 1981

How to Search Efficiently.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Exact formulas for the buddy system.
Inf. Sci., 1980

Semantic Routines and LR(k) Parsers.
Acta Inf., 1980


  Loading...