1. Reachability results for timed automata with unbounded data structures

   • Ruggero Lanotte
   • Andrea Maggiolo-Schettini
   • Angelo Troina

   Original Article 23 July 2010 Pages: 279 - 311

2. Randomization adaptive self-stabilization

   • Shlomi Dolev
   • Nir Tzachar

   Original Article 09 July 2010 Pages: 313 - 323

3. How to allocate review tasks for robust ranking

   • Dorit S. Hochbaum
   • Asaf Levin

   Original Article 17 July 2010 Pages: 325 - 345

4. A note on pure codes

   • C. C. Huang

   Original Article 14 August 2010 Pages: 347 - 357