The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2002, volume: 173, number: 2

  1. Richard Beigel, Lane A. Hemaspaandra, Harald Hempel, Jörg Vogel
    Optimal Series-Parallel Trade-offs for Reducing a Function to Its Own Graph. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:123-131 [Journal]
  2. Roberto Grossi, Andrea Pietracaprina, Geppino Pucci
    Optimal Deterministic Protocols for Mobile Robots on a Grid. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:132-142 [Journal]
  3. David Harel, Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Verifying Concurrent Transition Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:143-161 [Journal]
  4. Hagit Attiya, Alla Gorbach, Shlomo Moran
    Computing in Totally Anonymous Asynchronous Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:162-183 [Journal]
  5. Antonín Kucera, Richard Mayr
    Simulation Preorder over Simple Process Algebras. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:184-198 [Journal]
  6. Cristiano Calcagno, Simon Helsen, Peter Thiemann
    Syntactic Type Soundness Results for the Region Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:199-221 [Journal]
  7. Christopher J. Saker, Peter M. Higgins
    Unavoidable Sets of Words of Uniform Length. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:222-226 [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