Acta Informatica

Recursive Petri nets

Serge Haddad, Denis Poitrenaud

Solving #SAT using vertex covers

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider

Synchronous cooperation for explicit multi-threading

J. A. Bergstra, C. A. Middelburg

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

Yiwei Jiang, Yong He

The complexity of satisfying constraints on databases of transactions

Toon Calders

Acknowledgement to Referees