The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2007, volume: 205, number: 8

  1. Nir Ailon, Noga Alon
    Hardness of fully dense problems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1117-1129 [Journal]
  2. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
    When not losing is better than winning: Abstraction and refinement for the full mu-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1130-1148 [Journal]
  3. Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi
    Task automata: Schedulability, decidability and undecidability. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1149-1172 [Journal]
  4. Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini
    Complementing two-way finite automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1173-1187 [Journal]
  5. Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
    Generalizing DPLL and satisfiability for equalities. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1188-1211 [Journal]
  6. Markus Lohrey, Nicole Ondrusch
    Inverse monoids: Decidability and complexity of algebraic questions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1212-1234 [Journal]
  7. Silvia Crafa, Sabina Rossi
    Controlling information release in the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1235-1273 [Journal]
  8. Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub
    Cluster computing and the power of edge recognition. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1274-1293 [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