Synchronizing Relations on Words Diego FigueiraLeonid Libkin OriginalPaper 14 November 2014 Pages: 287 - 318
A Split-Based Incremental Deterministic Automata Minimization Algorithm Pedro GarcíaManuel Vázquez de PargaDamián López OriginalPaper 24 October 2014 Pages: 319 - 336
Schemas for Unordered XML on a DIME Iovka BonevaRadu CiucanuSławek Staworko OriginalPaper 16 December 2014 Pages: 337 - 376
The Strong Price of Anarchy of Linear Bottleneck Congestion Games Bart de KeijzerGuido SchäferOrestis Telelis OriginalPaper 23 December 2014 Pages: 377 - 396
FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems Zohra AbdelhafidiMohamed DjoudiMohamed Bachir Yagoubi OriginalPaper 29 January 2015 Pages: 397 - 425
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction Takayuki SakaiKazuhisa SetoSuguru Tamaki OriginalPaper 23 December 2014 Pages: 426 - 443
Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios Gianlorenzo D’AngeloMattia D’EmidioDaniele Romano OriginalPaper 19 February 2015 Pages: 444 - 477
An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable Daniel S. GraçaNing Zhong OriginalPaper 24 February 2015 Pages: 478 - 520