Recursive Petri nets Serge HaddadDenis Poitrenaud Original Article 11 September 2007 Pages: 463 - 508
Solving #SAT using vertex covers Naomi NishimuraPrabhakar RagdeStefan Szeider Original Article 03 September 2007 Pages: 509 - 523
Synchronous cooperation for explicit multi-threading J. A. BergstraC. A. Middelburg Original Article Open access 22 September 2007 Pages: 525 - 569
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information Yiwei JiangYong He Original Article 09 October 2007 Pages: 571 - 590
The complexity of satisfying constraints on databases of transactions Toon Calders Original Article 01 November 2007 Pages: 591 - 624