Volume 47; Issue 1

Theory of Computing Systems

Volume 47; Issue 1
1

The Deduction Theorem for Strong Propositional Proof Systems

Olaf Beyersdorff
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 404 KB
english, 2010
2

Border Correlations of Partial Words

F. Blanchet-Sadri, E. Clader, O. Simpson
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 433 KB
english, 2010
3

Fixed-Parameter Algorithms for

Falk Hüffner, Christian Komusiewicz, Hannes Moser, Rolf Niedermeier
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 654 KB
english, 2010
4

Stackelberg Strategies for Atomic Congestion Games

Dimitris Fotakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 786 KB
english, 2010
7

Reductions to Graph Isomorphism

Jacobo Torán
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 382 KB
english, 2010
8

Sensitivity of Wardrop Equilibria

Matthias Englert, Thomas Franke, Lars Olbrich
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 421 KB
english, 2010
9

Non-Cooperative Cost Sharing Games via Subsidies

Niv Buchbinder, Liane Lewin-Eytan, Joseph (Seffi) Naor, Ariel Orda
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 644 KB
english, 2010
10

Atomic Congestion Games: Fast, Myopic and

D. Fotakis, A. C. Kaporis, P. G. Spirakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 596 KB
english, 2010
11

Facets of the Fully Mixed Nash Equilibrium Conjecture

Rainer Feldmann, Marios Mavronicolas, Andreas Pieris
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 912 KB
english, 2010
12

Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy

Dimitris Fotakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 599 KB
english, 2010
13

Preface

Burkhard Monien, Ulf-Peter Schroeder
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 110 KB
english, 2010
14

TCP is Competitive with Resource Augmentation

Jeff Edmonds, Suprakash Datta, Patrick Dymond
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 620 KB
english, 2010