421 | -- | 453 | Don Coppersmith, Peter Doyle, Prabhakar Raghavan, Marc Snir. Random Walks on Weighted Graphs and Applications to On-line Algorithms |
454 | -- | 476 | Howard J. Karloff, Prabhakar Raghavan. Randomized Algorithms and Pseudorandom Numbers |
477 | -- | 503 | Franz Baader. Unification in Commutative Theories, Hilbert s Basis Theorem, and Gröbner Bases |
504 | -- | 535 | Neil V. Murray, Erik Rosenthal. Dissolution: Making Paths Vanish |
536 | -- | 557 | C. A. Johnson. Factorization and Circuit in the Connection Method |
558 | -- | 606 | Tie-Cheng Wang. Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms |
607 | -- | 620 | Nathan Linial, Yishay Mansour, Noam Nisan. Constant Depth Circuits, Fourier Transform, and Learnability |
621 | -- | 634 | Kurt Mehlhorn, Athanasios K. Tsakalidis. Dynamic Interpolation Search |
635 | -- | 652 | Marc J. van Kreveld, Mark H. Overmars. Union-Copy Structures and Dynamic Segment Trees |
653 | -- | 682 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages |
683 | -- | 713 | Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi. Undecidable Optimization Problems for Database Logic Programs |
714 | -- | 740 | Randolph D. Nelson, Donald F. Towsley. A Performance Evaluation of Several Priority Policies for Parallel Processing Systems |
741 | -- | 764 | Sandeep N. Bhatt, Jin-yi Cai. Taking Random Walks to Grow Trees in Hypercubes |
765 | -- | 789 | Richard M. Karp, Yanjun Zhang. Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation |