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