Journals in DBLP
J. ACM 1995, volume: 42, number: 1
Thomas Eiter , Georg Gottlob The Complexity of Logic-Based Abduction. [Citation Graph (1, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:3-42 [Journal ] Bernhard Nebel , Hans-Jürgen Bürckert Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:43-66 [Journal ] Paul B. Callahan , S. Rao Kosaraju A Decomposition of Multidimensional Point Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:67-90 [Journal ] Andrew A. Chien , Jae H. Kim Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:91-123 [Journal ] Hagit Attiya , Amotz Bar-Noy , Danny Dolev Sharing Memory Robustly in Message-Passing Systems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:124-142 [Journal ] Danny Dolev , Joseph Y. Halpern , Barbara Simons , H. Raymond Strong Dynamic Fault-Tolerant Clock Synchronization. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:143-185 [Journal ] Sibsankar Haldar , K. Vidyasankar Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:186-203 [Journal ] C. S. Chang , R. Nelson Bounds on the Speedup and Efficiency of Partial Synchronization in Parallel Processing Systems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:204-231 [Journal ] Bard Bloom , Sorin Istrail , Albert R. Meyer Bisimulation Can't be Traced. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:232-268 [Journal ] Manuel Blum , Sampath Kannan Designing Programs that Check Their Work. [Citation Graph (0, 0)][DBLP ] J. ACM, 1995, v:42, n:1, pp:269-291 [Journal ]