1. Synchronizing Relations on Words

   • Diego Figueira
   • Leonid Libkin

   OriginalPaper 14 November 2014 Pages: 287 - 318

   

2. A Split-Based Incremental Deterministic Automata Minimization Algorithm

   • Pedro García
   • Manuel Vázquez de Parga
   • Damián López

   OriginalPaper 24 October 2014 Pages: 319 - 336

   

3. Schemas for Unordered XML on a DIME

   • Iovka Boneva
   • Radu Ciucanu
   • Sławek Staworko

   OriginalPaper 16 December 2014 Pages: 337 - 376

   

4. The Strong Price of Anarchy of Linear Bottleneck Congestion Games

   • Bart de Keijzer
   • Guido Schäfer
   • Orestis Telelis

   OriginalPaper 23 December 2014 Pages: 377 - 396

   

5. FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems

   • Zohra Abdelhafidi
   • Mohamed Djoudi
   • Mohamed Bachir Yagoubi

   OriginalPaper 29 January 2015 Pages: 397 - 425

   

6. Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction

   • Takayuki Sakai
   • Kazuhisa Seto
   • Suguru Tamaki

   OriginalPaper 23 December 2014 Pages: 426 - 443

   

7. Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios

   • Gianlorenzo D’Angelo
   • Mattia D’Emidio
   • Daniele Romano

   OriginalPaper 19 February 2015 Pages: 444 - 477

   

8. An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable

   • Daniel S. Graça
   • Ning Zhong

   OriginalPaper 24 February 2015 Pages: 478 - 520