The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
2007, volume: 44, number: 7-8


  1. Recursive Petri nets. [Citation Graph (, )][DBLP]


  2. Solving #SAT using vertex covers. [Citation Graph (, )][DBLP]


  3. Synchronous cooperation for explicit multi-threading. [Citation Graph (, )][DBLP]


  4. Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information. [Citation Graph (, )][DBLP]


  5. The complexity of satisfying constraints on databases of transactions. [Citation Graph (, )][DBLP]

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