Journals in DBLP
J. ACM Dennis de Champeaux Subproblem finder and instance checker, two cooperating modules for theorem provers. [Citation Graph (0, 0)][DBLP ] Journal ] W. Eric L. Grimson The combinatorics of local constraints in model-based recognition and localization from sparse data. [Citation Graph (0, 0)][DBLP ] Journal ] Vijaya Ramachandran On driving many long wires in a VLSI layout. [Citation Graph (0, 0)][DBLP ] Journal ] R. Chaudhuri , A. N. V. Rao Approximating grammar probabilities: solution of a conjecture. [Citation Graph (0, 0)][DBLP ] Journal ] Bruce Jay Collings , G. Barry Hembree Initializing generalized feedback shift register pseudorandom number generators. [Citation Graph (0, 0)][DBLP ] Journal ] Michel Cosnard , Yves Robert Complexity of parallel QR factorization. [Citation Graph (0, 0)][DBLP ] Journal ] Krzysztof R. Apt , Gordon D. Plotkin Countable nondeterminism and random assignment. [Citation Graph (0, 0)][DBLP ] Journal ] Adrian E. Conway , Nicolas D. Georganas RECAL - a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks. [Citation Graph (0, 0)][DBLP ] Journal ] Oded Goldreich , Shafi Goldwasser , Silvio Micali How to construct random functions. [Citation Graph (0, 0)][DBLP ] Journal ] Ravindran Kannan , Richard J. Lipton Polynomial-time algorithm for the orbit problem. [Citation Graph (0, 0)][DBLP ] Journal ] John H. Rowland , John R. Cowles Small Sample Algorithms for the Identification of Polynomials. [Citation Graph (0, 0)][DBLP ] Journal ] 