|
Journals in DBLP
Acta Inf. 2007, volume: 44, number: 7-8
Recursive Petri nets. [Citation Graph (, )][DBLP]
Solving #SAT using vertex covers. [Citation Graph (, )][DBLP]
Synchronous cooperation for explicit multi-threading. [Citation Graph (, )][DBLP]
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information. [Citation Graph (, )][DBLP]
The complexity of satisfying constraints on databases of transactions. [Citation Graph (, )][DBLP]
|