The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2005, volume: 202, number: 2

  1. Volker Diekert, Claudio Gutiérrez, Christian Hagenah
    The existential theory of equations with rational constraints in free groups is PSPACE-complete. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:2, pp:105-140 [Journal]
  2. Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen
    Verification of probabilistic systems with faulty communication. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:2, pp:141-165 [Journal]
  3. Gérard Cécé, Alain Finkel
    Verification of programs with half-duplex communication. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:2, pp:166-190 [Journal]
  4. Sara Gradara, Antonella Santone, Maria Luisa Villani
    Using heuristic search for finding deadlocks in concurrent systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:2, pp:191-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