The SCEAS System
Navigation Menu

Journals in DBLP

J. ACM
1986, volume: 33, number: 1

  1. Zohar Manna, Richard J. Waldinger
    Special relations in automated deduction. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:1-59 [Journal]
  2. Kurt Mehlhorn, Franco P. Preparata
    Routing through a rectangle. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:60-85 [Journal]
  3. Benny Chor, Charles E. Leiserson, Ronald L. Rivest, James B. Shearer
    An application of number theory to the organization of raster-graphics memory. [Citation Graph (4, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:86-104 [Journal]
  4. Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi
    Notions of dependency satisfaction. [Citation Graph (14, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:105-129 [Journal]
  5. Boris D. Lubachevsky, Debasis Mitra
    A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:130-150 [Journal]
  6. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:151-178 [Journal]
  7. Derek L. Eager, Kenneth C. Sevcik
    Bound hierarchies for multiple-class queuing networks. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:179-206 [Journal]
  8. Appie van de Liefvoort, Lester Lipsky
    A matrix-algebraic solution to two Km servers in a loop. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:207-223 [Journal]
  9. David Harel
    Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:224-248 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002