Journal: Theory Comput. Syst.

Volume 55, Issue 4

637 -- 639Christoph Dürr, Thomas Wilke. Preface of STACS 2012 Special Issue
640 -- 657Marcin Mucha. 13/9 -Approximation for Graphic TSP
658 -- 684Benjamin Doerr, Carola Winzen. Playing Mastermind with Constant-Size Memory
685 -- 718Artur Jez. The Complexity of Compressed Membership Problems for Finite Automata
719 -- 741Timothy M. Chan, Stephane Durocher, Kasper Green Larsen, Jason Morrison, Bryan T. Wilkinson. Linear-Space Data Structures for Range Mode Query in Arrays
742 -- 770Jürn Laun. Efficient Algorithms for Highly Compressed Data: The Word Problem in Generalized Higman Groups Is in P
771 -- 832Christopher H. Broadbent. On First-Order Logic and CPDA Graphs
833 -- 855André Arnold, Henryk Michalewski, Damian Niwinski. On the Separation Question for Tree Languages
856 -- 880Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa. Model-Theoretic Properties of ω-Automatic Structures

Volume 55, Issue 3

449 -- 450Geppino Pucci, Victor Luchangco, Rajmohan Rajaraman. Foreword: Parallelism in Algorithms and Architectures
451 -- 474James Aspnes, Faith Ellen. Tight Bounds for Adopt-Commit Objects
475 -- 520Panagiota Fatourou, Nikolaos D. Kallimanis. Highly-Efficient Wait-Free Synchronization
521 -- 554Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan. Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs
555 -- 590Victor Pankratius, Ali-Reza Adl-Tabatabai. Software Engineering with Transactional Memory Versus Locks in Practice
591 -- 612Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler. Re-Chord: A Self-stabilizing Chord Overlay Network
613 -- 636Mohammad Taghi Hajiaghayi, Rohit Khandekar, Guy Kortsarz, Vahid Liaghat. On a Local Protocol for Concurrent File Transfers

Volume 55, Issue 2

279 -- 280Nikolay K. Vereshchagin. Editorial
281 -- 298Scott Aaronson. The Equivalence of Sampling and Searching
299 -- 312Daniil Musatov. Improving the Space-Bounded Version of Muchnik's Conditional Complexity Theorem via "Naive" Derandomization
313 -- 329Andrei E. Romashchenko. Pseudo-Random Graphs and Bit Probe Schemes with One-Sided Error
330 -- 346Klaus Meer. An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents
347 -- 379Loukas Georgiadis, Stavros D. Nikolopoulos, Leonidas Palios. Join-Reachability Problems in Directed Graphs
380 -- 403Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen. The Complexity of Solving Reachability Games Using Value and Strategy Iteration
404 -- 420Arkadev Chattopadhyay, Ricard Gavaldà, Kristoffer Arnsfelt Hansen, Denis Thérien. Learning Read-Constant Polynomials of Constant Degree Modulo Composites
421 -- 447Christos A. Kapoutsis. Two-Way Automata Versus Logarithmic Space

Volume 55, Issue 1

1 -- 40Meghdad Ghari. Distributed Knowledge Justification Logics
41 -- 60Philip Bille, Inge Li Gørtz, Hjalte Wedel Vildhøj, Søren Vind. String Indexing for Patterns with Wildcards
61 -- 83Morgan Chopin, André Nichterlein, Rolf Niedermeier, Mathias Weller. Constant Thresholds Can Make Target Set Selection Tractable
84 -- 109Florin Manea, Bianca Truthe. Accepting Networks of Evolutionary Processors with Subregular Filters
110 -- 135Dominik Gall, Riko Jacob, Andréa Richa, Christian Scheideler, Stefan Schmid, Hanjo Täubig. A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
136 -- 169Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota. Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes
170 -- 201Tomoyuki Yamakami. Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems
202 -- 228Stanley P. Y. Fung, Chung Keung Poon, Feifeng Zheng. Improved Randomized Online Scheduling of Intervals and Jobs
229 -- 249Telikepalli Kavitha. Dynamic Matrix Rank with Partial Lookahead
250 -- 278Makoto Kanazawa, Gregory M. Kobele, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka. The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages