Journal: Theory Comput. Syst.

Volume 47, Issue 1

1 -- 2Burkhard Monien, Ulf-Peter Schroeder. Preface
3 -- 14Matthias Englert, Thomas Franke, Lars Olbrich. Sensitivity of Wardrop Equilibria
15 -- 37Niv Buchbinder, Liane Lewin-Eytan, Joseph Naor, Ariel Orda. Non-Cooperative Cost Sharing Games via Subsidies
38 -- 59Dimitris Fotakis, Alexis C. Kaporis, Paul G. Spirakis. Atomic Congestion Games: Fast, Myopic and Concurrent
60 -- 112Rainer Feldmann, Marios Mavronicolas, Andreas Pieris. Facets of the Fully Mixed Nash Equilibrium Conjecture
113 -- 136Dimitris Fotakis. Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy
137 -- 161Jeff Edmonds, Suprakash Datta, Patrick W. Dymond. TCP is Competitive with Resource Augmentation
162 -- 178Olaf Beyersdorff. The Deduction Theorem for Strong Propositional Proof Systems
179 -- 195Francine Blanchet-Sadri, E. Clader, O. Simpson. Border Correlations of Partial Words
196 -- 217Falk Hüffner, Christian Komusiewicz, Hannes Moser, Rolf Niedermeier. Fixed-Parameter Algorithms for Cluster Vertex Deletion
218 -- 249Dimitris Fotakis. Stackelberg Strategies for Atomic Congestion Games
250 -- 258Olgo Kharlampovich, I. G. Lysënok, Alexei G. Myasnikov, Nicholas W. M. Touikan. The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete
259 -- 287Philippe Raipin Parvédy, Michel Raynal, Corentin Travers. Strongly Terminating Early-Stopping ::::k::::-Set Agreement in Synchronous Systems with General Omission Failures
288 -- 299Jacobo Torán. Reductions to Graph Isomorphism