1. Recursive Petri nets

   • Serge Haddad
   • Denis Poitrenaud

   Original Article 11 September 2007 Pages: 463 - 508

2. Solving #SAT using vertex covers

   • Naomi Nishimura
   • Prabhakar Ragde
   • Stefan Szeider

   Original Article 03 September 2007 Pages: 509 - 523

3. Synchronous cooperation for explicit multi-threading

   • J. A. Bergstra
   • C. A. Middelburg

   Original Article Open access 22 September 2007 Pages: 525 - 569

4. Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information

   • Yiwei Jiang
   • Yong He

   Original Article 09 October 2007 Pages: 571 - 590

5. The complexity of satisfying constraints on databases of transactions

   • Toon Calders

   Original Article 01 November 2007 Pages: 591 - 624

6. Acknowledgement to Referees

   Acknowledgement to Referees 31 October 2007 Pages: 625 - 625