Journal: Theory Comput. Syst.

Volume 57, Issue 2

287 -- 318Diego Figueira, Leonid Libkin. Synchronizing Relations on Words
319 -- 336Pedro García, Manuel Vazquez de Parga, Jairo A. Velasco, Damián López. A Split-Based Incremental Deterministic Automata Minimization Algorithm
337 -- 376Iovka Boneva, Radu Ciucanu, Slawek Staworko. Schemas for Unordered XML on a DIME
377 -- 396Bart de Keijzer, Guido Schäfer, Orestis Telelis. The Strong Price of Anarchy of Linear Bottleneck Congestion Games
397 -- 425Zohra Abdelhafidi, Mohamed Djoudi, Nasreddine Lagraa, Mohamed Bachir Yagoubi. FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems
426 -- 443Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki. Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
444 -- 477Gianlorenzo D'Angelo, Mattia D'Emidio, Daniele Frigioni, Daniele Romano. Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios
478 -- 520Daniel S. Graça, Ning Zhong. An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable