Journal: Theory Comput. Syst.

Volume 53, Issue 4

507 -- 531Curtis Menton. Normalized Range Voting Broadly Resists Control
532 -- 568Yann Strozecki. On Enumerating Monomials and Other Combinatorial Structures by Polynomial Interpolation
569 -- 582Christian Eggermont, Gerhard J. Woeginger. Motion Planning with Pulley, Rope, and Baskets
583 -- 608Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli. Compact DSOP and Partial DSOP Forms
609 -- 620Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh. A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments
621 -- 644Nathalie Aubrun, Marie-Pierre Béal. Sofic Tree-Shifts
645 -- 668Jan A. Bergstra, C. A. Middelburg. A Process Calculus with Finitary Comprehended Terms
669 -- 689Bireswar Das, Samir Datta, Prajakta Nimbhorkar. Log-Space Algorithms for Paths and Matchings in k-Trees
690 -- 691Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo. Corrigendum. The Linear Arrangement Problem Parameterized Above Guaranteed Value

Volume 53, Issue 3

365 -- 385Chien-Hung Lin, Jia Jie Liu, Yue-Li Wang. Global Strong Defensive Alliances of Sierpiński-Like Graphs
386 -- 423Anne Benoit, Yves Robert, Arnold L. Rosenberg, Frédéric Vivien. Static Strategies for Worksharing with Unrecoverable Interruptions
424 -- 440Konstantinos Kollias. Nonpreemptive Coordination Mechanisms for Identical Machines
441 -- 453Martin Hoefer, Alexander Skopalik. On the Complexity of Pareto-Optimal Nash and Strong Equilibria
454 -- 466Angsheng Li, Peng Zhang. Unbalanced Graph Partitioning
467 -- 502Dorothea Baumeister, Felix Brandt, Felix A. Fischer, Jan Hoffmann 0002, Jörg Rothe. The Complexity of Computing Minimal Unidirectional Covering Sets
503 -- 506Eric Allender, Vikraman Arvind, Meena Mahajan. Comments on Arithmetic Complexity, Kleene Closure, and Formal Power Series

Volume 53, Issue 2

123 -- 125Christoph Dürr, Thomas Schwentick. Preface of Special Issue on Theoretical Aspects of Computer Science
126 -- 158Stefan Gulan. Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression
159 -- 193Dominik D. Freydenberger. Extended Regular Expressions: Succinctness and Decidability
194 -- 222Mikolaj Bojanczyk. Nominal Monoids
223 -- 242Nazim Fatès. Stochastic Cellular Automata Solutions to the Density Classification Problem - When Randomness Helps Computing
243 -- 262Jonathan A. Kelner, Alex Levin. Spectral Sparsification in the Semi-streaming Setting
263 -- 299Bart M. P. Jansen, Hans L. Bodlaender. Vertex Cover Kernelization Revisited - Upper and Lower Bounds for a Refined Parameter
300 -- 317Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz. Online Scheduling with Interval Conflicts
318 -- 340Liah Kor, Amos Korman, David Peleg. Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
341 -- 363Petr Kolman, Christian Scheideler. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing

Volume 53, Issue 1

1 -- 2Spyros C. Kontogiannis, Elias Koutsoupias, Pavlos G. Spirakis. Preface to Special Issue on Algorithmic Game Theory
3 -- 40Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Giuseppe Persiano. Mixing Time and Stationary Expected Social Welfare of Logit Dynamics
41 -- 52Felix Brandt, Felix A. Fischer, Paul Harrenstein. On the Rate of Convergence of Fictitious Play
53 -- 72Matús Mihalák, Jan Christoph Schlegel. The Price of Anarchy in Network Creation Games Is (Mostly) Constant
73 -- 85Elliot Anshelevich, Bugra Caskurlu, Ameya Hate. Partition Equilibrium Always Exists in Resource Selection Games
86 -- 106Martin Macko, Kate Larson, L'ubos Steskal. Braess's Paradox for Flows over Time
107 -- 122Alex Fabrikant, Aaron D. Jaggard, Michael Schapira. On the Structure of Weakly Acyclic Games