Journal: Theory Comput. Syst.

Volume 62, Issue 8

1673 -- 1689Faisal N. Abu-Khzam, Christine Markarian, Friedhelm Meyer auf der Heide, Michael Schubert. Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks
1690 -- 1714R. Krithika 0001, Diptapriyo Majumdar, Venkatesh Raman 0001. Revisiting Connected Vertex Cover: FPT Algorithms and Lossy Kernels
1715 -- 1735Philip Bille, Anders Roy Christiansen, Patrick Hagge Cording, Inge Li Gørtz. Finger Search in Grammar-Compressed Strings
1736 -- 1762Niranka Banerjee, Sankardeep Chakraborty, Venkatesh Raman 0001, Srinivasa Rao Satti. Space Efficient Linear Time Algorithms for BFS, DFS and Applications
1763 -- 1797Archita Agarwal, Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Sambudha Roy, Yogish Sabharwal. Set Cover Problems with Small Neighborhood Covers
1798 -- 1825Yongjie Yang, Jiong Guo. Parameterized Complexity of Voter Control in Multi-Peaked Elections
1826 -- 1879Matthias Niewerth, Thomas Schwentick. Reasoning About XML Constraints Based on XML-to-Relational Mappings
1880 -- 1909Akanksha Agrawal, Saket Saurabh 0001, Roohani Sharma, Meirav Zehavi. Parameterised Algorithms for Deletion to Classes of DAGs
1910 -- 1951Diptapriyo Majumdar, Venkatesh Raman 0001, Saket Saurabh 0001. Polynomial Kernels for Vertex Cover Parameterized by Small Degree Modulators
1952 -- 2005Sylvie Davies. Primitivity, Uniform Minimality, and State Complexity of Boolean Operations
2006 -- 2034Spyros Angelopoulos 0001, Christoph Dürr, Shahin Kamali, Marc P. Renault, Adi Rosén. Online Bin Packing with Advice of Small Size
2035 -- 2047Sanaz Soltani, Mohammadreza Razzazi, Hossein Ghasemalizadeh. The Most Points Connected-Covering Problem with Two Disks

Volume 62, Issue 7

1553 -- 1554Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen. Preface
1555 -- 1572Verónica Becher, Olivier Carton, Pablo Ariel Heiber. Finite-State Independence
1573 -- 1585Cristian S. Calude, Ludwig Staiger. Liouville, Computable, Borel Normal and Martin-Löf Random Numbers
1586 -- 1598Adam Case. Bounded Turing Reductions and Data Processing Inequalities for Sequences
1599 -- 1619Kenshi Miyabe. Coherence of Reducibilities with Randomness Notions
1620 -- 1636Elvira Mayordomo. Effective Hausdorff Dimension in General Metric Spaces
1637 -- 1671Douglas Cenzer, Christopher P. Porter. 0 Class

Volume 62, Issue 6

1349 -- 1350Veli Mäkinen, Simon J. Puglisi. Editorial: Special Issue on "Combinatorial Algorithms" (IWOCA 2016)
1351 -- 1365Pawel Gawrychowski, Lukasz Zatorski. Speeding up dynamic programming in the line-constrained k-median
1366 -- 1391Martin Böhm, Pavel Veselý. Online Chromatic Number is PSPACE-Complete
1392 -- 1408Yuya Higashikawa, Siu-Wing Cheng, Tsunehiko Kameda, Naoki Katoh, Shun Saburi. Minimax Regret 1-Median Problem in Dynamic Path Networks
1409 -- 1426Petr A. Golovach, Dieter Kratsch, Daniël Paulusma, Anthony Stewart. Finding Cactus Roots in Polynomial Time
1427 -- 1442Peter Damaschke. The Solution Space of Sorting with Recurring Comparison Faults
1443 -- 1469Joan Boyar, Lene M. Favrholdt, Christian Kudahl, Jesper W. Mikkelsen. Weighted Online Problems with Advice
1470 -- 1489Kaushik Sarkar, Charles J. Colbourn, Annalisa De Bonis, Ugo Vaccaro. Partial Covering Arrays: Algorithms and Asymptotics
1490 -- 1524Adrian Dumitrescu, Ritankar Mandal, Csaba D. Tóth. Monotone Paths in Geometric Triangulations
1525 -- 1552Xujin Chen, Zhuo Diao, Xiaodong Hu, Zhongzheng Tang. Covering Triangles in Edge-Weighted Graphs

Volume 62, Issue 5

977 -- 1047Ajoy K. Datta, Lawrence L. Larmore. Self-Stabilizing Leader Election in Dynamic Networks
1048 -- 1084Michael Hecht. Exact Localisations of Feedback Sets
1085 -- 1108Gadi Taubenfeld. A Closer Look at Fault Tolerance
1109 -- 1124Zvonko Iljazovic, Bojan Pazek. Co-c.e. Sets with Disconnected Complements
1125 -- 1143Patrick Scharpfenecker. Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs
1144 -- 1160David Ilcinkas, Ahmed Mouhamadou Wade. Exploration of the T-Interval-Connected Dynamic Graphs: the Case of the Ring
1161 -- 1174Marcus Schaefer, Daniel Stefankovic. The Complexity of Tensor Rank
1175 -- 1202Janusz A. Brzozowski, Marek Szykula, Yuli Ye. Syntactic Complexity of Regular Ideals
1203 -- 1222Younes Guellouma, Hadda Cherroun, Djelloul Ziadi, Bruce W. Watson. From Tree Automata to String Automata Minimization
1223 -- 1240Shantanu Das 0001, Dariusz Dereniowski, Christina Karousatou. Collaborative Exploration of Trees by Energy-Constrained Mobile Robots
1241 -- 1268Michaël Cadilhac, Andreas Krebs, Pierre McKenzie. The Algebraic Theory of Parikh Automata
1269 -- 1287Nikita Moriakov. On Effective Birkhoff's Ergodic Theorem for Computable Actions of Amenable Groups
1288 -- 1317Vittorio Bilò. A Unifying Tool for Bounding the Quality of Non-Cooperative Solutions in Weighted Congestion Games
1318 -- 1346Olivier Bournez, Johanne Cohen, Mikaël Rabie. Homonym Population Protocols

Volume 62, Issue 4

771 -- 0Wim Martens. Foreword: Special Issue on Database Theory
772 -- 809Mark Kaminski, Egor V. Kostylev. Complexity and Expressive Power of Weakly Well-Designed SPARQL
810 -- 853Manas Joglekar, Christopher Ré. It's All a Matter of Degree - Using Degree Information to Optimize Multiway Joins
854 -- 898Dominik D. Freydenberger, Mario Holldack. Document Spanners: From Expressive Power to Decision Problems
899 -- 940Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov. Limits of Schema Mappings
941 -- 976Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys. Reasoning about integrity constraints for tree-structured data

Volume 62, Issue 3

465 -- 466Alexander S. Kulikov, Gerhard J. Woeginger. Preface to the Special Issue on Computer Science in Russia 2016
467 -- 480Manfred Kufleitner, Tobias Walter. Level Two of the Quantifier Alternation Hierarchy Over Infinite Words
481 -- 509Manuel Bodirsky, Marcello Mamino. Tropically Convex Constraint Satisfaction
510 -- 532Zeev Nutov. Improved Approximation Algorithms for Minimum Cost Node-Connectivity Augmentation Problems
533 -- 556Toshihiro Fujito, Tomoaki Shimoda. On Approximating (Connected) 2-Edge Dominating Set by a Tree
557 -- 582Arno Pauly, Florian Steinberg. Comparing Representations for Function Spaces in Computable Analysis
583 -- 599Alexander Kozachinskiy. On Slepian-Wolf Theorem with Interaction
600 -- 621Katerina Böhmová, Luca Häfliger, Matús Mihalák, Tobias Pröger, Gustavo Sacomoto, Marie-France Sagot. Computing and Listing st-Paths in Public Transportation Networks
622 -- 652Meena Mahajan, Nitin Saurabh. Some Complete and Intermediate Polynomials in Algebraic Complexity Theory
653 -- 681Tim Smith. Prediction of Infinite Words with Automata
682 -- 738Manfred Kufleitner, Jan Philipp Wächter. The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
739 -- 770René van Bevern, Vincent Froese, Christian Komusiewicz. Parameterizing Edge Modification Problems Above Lower Bounds

Volume 62, Issue 2

247 -- 248Laura Sanità, Martin Skutella. WAOA 2015 Special Issue on TOCS
249 -- 267Yishay Mansour, Boaz Patt-Shamir, Shai Vardi. Constant-Time Local Computation Algorithms
268 -- 303Sándor P. Fekete, Kan Huang, Joseph S. B. Mitchell, Ojas Parekh, Cynthia A. Phillips. Geometric Hitting Set for Segments of Few Orientations
304 -- 318Roozbeh Ebrahimi, Samuel McCauley, Benjamin Moseley. Scheduling Parallel Jobs Online with Convex and Concave Parallelizability
319 -- 336Katarzyna E. Paluch. Maximum ATSP with Weights Zero and One via Half-Edges
337 -- 348Bartlomiej Bosek, Dariusz Leniowski, Piotr Sankowski, Anna Zych-Pawlewicz. Shortest Augmenting Paths for Online Matchings on Trees
349 -- 365Nikhil Bansal, Marek Eliás 0001, Lukasz Jez, Grigorios Koumoutsos, Kirk Pruhs. Tight Bounds for Double Coverage Against Weak Adversaries
366 -- 418Jan Reineke, Alejandro Salinger. On the Smoothness of Paging Algorithms
419 -- 440Shay Mozes, Eyal E. Skop. Efficient Vertex-Label Distance Oracles for Planar Graphs
441 -- 464Kamiel Cornelissen, Ruben Hoeksma, Bodo Manthey, N. S. Narayanaswamy, C. S. Rahul, Marten Waanders. Approximation Algorithms for Connected Graph Factors of Minimum Weight

Volume 62, Issue 1

1 -- 3Christoph Dürr, Heribert Vollmer. Preface of STACS 2016 Special Issue
4 -- 62Clément L. Canonne, Ilias Diakonikolas, Themis Gouleakis, Ronitt Rubinfeld. Testing Shape Restrictions of Discrete Distributions
63 -- 92Eva-Maria C. Hols, Stefan Kratsch. A Randomized Polynomial Kernel for Subset Feedback Vertex Set
93 -- 115Anup Bhattacharya, Ragesh Jaiswal, Amit Kumar 0001. Faster Algorithms for the Constrained k-means Problem
116 -- 135Harry Buhrman, Michal Koucký, Bruno Loff, Florian Speelman. Catalytic Space: Non-determinism and Hierarchy
136 -- 161Mateus de Oliveira Oliveira. Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function
162 -- 191Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea. Tighter Bounds and Optimal Algorithms for All Maximal α-gapped Repeats and Palindromes - Finding All Maximal α-gapped Repeats and Palindromes in Optimal Worst Case Time on Integer Alphabets
192 -- 246Markus Lohrey, Georg Zetzsche. Knapsack in Graph Groups