Reachability results for timed automata with unbounded data structures Ruggero LanotteAndrea Maggiolo-SchettiniAngelo Troina Original Article 23 July 2010 Pages: 279 - 311
Randomization adaptive self-stabilization Shlomi DolevNir Tzachar Original Article 09 July 2010 Pages: 313 - 323
How to allocate review tasks for robust ranking Dorit S. HochbaumAsaf Levin Original Article 17 July 2010 Pages: 325 - 345