Journals in DBLP
J. ACM Andrew Chi-Chih Yao New Algorithms for Bin Packing. [Citation Graph (0, 0)][DBLP ] Journal ] Marshall C. Pease , Robert E. Shostak , Leslie Lamport Reaching Agreement in the Presence of Faults. [Citation Graph (13, 0)][DBLP ] Journal ] Raymond Reiter Equality and Domain Closure in First-Order Databases. [Citation Graph (9, 0)][DBLP ] Journal ] Yehoshua Sagiv An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. [Citation Graph (5, 0)][DBLP ] Journal ] Grzegorz W. Wasilkowski Can Any Stationary Iteration Using Linear Information Be Globally Convergent?. [Citation Graph (0, 0)][DBLP ] Journal ] Tiko Kameda Testing Deadlock-Freedom of Computer Systems. [Citation Graph (0, 0)][DBLP ] Journal ] We-Min Chow The Cycle Time Distribution of Exponential Cyclic Queues. [Citation Graph (0, 0)][DBLP ] Journal ] Teofilo F. Gonzalez , Donald B. Johnson A New Algorithm for Preemptive Scheduling of Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Reiser , Stephen S. Lavenberg Mean-Value Analysis of Closed Multichain Queuing Networks. [Citation Graph (3, 0)][DBLP ] Journal ] Donald F. Towsley Queuing Network Models with State-Dependent Routing. [Citation Graph (0, 0)][DBLP ] Journal ] Ramachandran Krishnaswamy , Arthur B. Pyster On the Correctness of Semantic-Syntax-Directed Translations. [Citation Graph (0, 0)][DBLP ] Journal ] Greg Nelson , Derek C. Oppen Fast Decision Procedures Based on Congruence Closure. [Citation Graph (4, 0)][DBLP ] Journal ] Stephen A. Ward , Robert H. Halstead Jr. A Syntactic Theory of Message Passing. [Citation Graph (0, 0)][DBLP ] Journal ] Harold Abelson Lower Bounds on Information Transfer in Distributed Computations. [Citation Graph (0, 0)][DBLP ] Journal ] David Lichtenstein , Michael Sipser GO Is Polynomial-Space Hard. [Citation Graph (0, 0)][DBLP ] Journal ] Rainer Parchmann Corrigendum: ``Control System Model for Critically Timed Success''. [Citation Graph (0, 0)][DBLP ] Journal ] 