Journal: Theory Comput. Syst.

Volume 41, Issue 4

589 -- 607Kunihiko Sadakane. Compressed Suffix Trees with Full Functionality
609 -- 618F. Cedo, Ana Cortés, Ana Ripoll, Miquel A. Senar, Emilio Luque. The Convergence of Realistic Distributed Load-Balancing Algorithms
619 -- 689Janis Voigtländer. Formal Efficiency Analysis for Tree Transducer Composition
691 -- 729Michael Elkin, David Peleg. The Hardness of Approximating Spanner Problems
731 -- 752Li Gao, Grzegorz Malewicz. Toward Maximizing the Quality of Results of Dependent Tasks Computed Unreliably
753 -- 777Elmar Böhler, Henning Schnoor. The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates
779 -- 794Sanjiv Kapoor, Mohammad Sarwat. Bounded-Diameter Minimum-Cost Graph Problems

Volume 41, Issue 3

397 -- 0Rod Downey. Foreword
399 -- 410Faisal N. Abu-Khzam. Pseudo-Kernelization: A Branch-then-Reduce Approach for FPT Problems
411 -- 430Faisal N. Abu-Khzam, Michael R. Fellows, Michael A. Langston, W. Henry Suters. Crown Structures for Vertex Cover Kernelization
431 -- 444Hans-Joachim Böckenhauer, Juraj Hromkovic, Joachim Kneis, Joachim Kupke. The Parameterized Approximability of TSP with Deadlines
445 -- 457Jonathan F. Buss, Tarique Islam. Algorithms in the W-Hierarchy
459 -- 477Liming Cai, Michael R. Fellows, David W. Juedes, Frances A. Rosamond. The Complexity of Polynomial-Time Approximation
479 -- 492Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens. An O(2:::O(k):::n:::3:::) FPT Algorithm for the Undirected Feedback Vertex Set Problem
493 -- 500Bernhard Fuchs, Walter Kern, Daniel Mölle, Stefan Richter, Peter Rossmanith, Xinhui Wang. Dynamic Programming for Minimum Steiner Trees
501 -- 520Jiong Guo, Rolf Niedermeier, Sebastian Wernicke. Parameterized Complexity of Vertex Cover Variants
521 -- 538Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo. The Linear Arrangement Problem Parameterized Above Guaranteed Value
539 -- 550Michael T. Hallett, Catherine McCartin. A Faster FPT Algorithm for the Maximum Agreement Forest Problem
551 -- 562Petr Hlinený. Some Hard Problems on Matroid Spikes
563 -- 587Venkatesh Raman, Saket Saurabh, Somnath Sikdar. Efficient Exact Algorithms through Enumerating Maximal Independent Sets and Other Techniques

Volume 41, Issue 2

209 -- 210Maciej Liskiewicz, Rüdiger Reischuk. Preface
211 -- 231Matthias P. Krieger. On the Incompressibility of Monotone DNFs
233 -- 256Tomasz Jurdzinski, Krzysztof Lorys. Leftist Grammars and the Chomsky Hierarchy
257 -- 289Daniel Meister. Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers
291 -- 326Holger Spakowski, Rahul Tripathi. On the Power of Unambiguity in Alternating Machines
327 -- 350Till Tantau. Logspace Optimization Problems and Their Approximability Properties
351 -- 368Birgit Schelm. Average-Case Non-Approximability of Optimisation Problems
369 -- 380Michael Brinkmeier. A Simple and Fast Min-Cut Algorithm
381 -- 393Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch. Exact Algorithms for Graph Homomorphisms

Volume 41, Issue 1

1 -- 2S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas. Theory of Computation at CiE 2005
3 -- 32Jan A. Bergstra, C. A. Middelburg. A Thread Algebra with Multi-Level Strategic Interleaving
33 -- 48Pieter Collins. Optimal Semicomputable Approximations to Reachable and Invariant Sets
49 -- 105Amin Farjudian. Shrad: A Language for Sequential Real Number Computation
107 -- 118Klaus Meer. Some Relations between Approximation Problems and PCPs over the Real Numbers
119 -- 125Peter Bro Miltersen. The Computational Complexity of One-Dimensional Sandpiles
127 -- 154Milad Niqui. Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
155 -- 175Ning Zhong. Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation
177 -- 206Martin Ziegler. Real Hypercomputation and Continuity