Journal: Theory Comput. Syst.

Volume 65, Issue 8

1143 -- 1164Jan-Hendrik Lorenz. Restart Strategies in a Continuous Setting
1165 -- 1192Anup Bhattacharya, Arijit Bishnu, Arijit Ghosh, Gopinath Mishra. On Triangle Estimation Using Tripartite Independent Set Queries
1193 -- 1210Michal Parnas, Dana Ron, Adi Shraibman. Property Testing of the Boolean and Binary Rank
1211 -- 1242Chris Köcher. Reachability Problems on Reliable and Lossy Queue Automata
1243 -- 1282Junjie Luo 0001, Hendrik Molter, Ondrej Suchý. A Parameterized Complexity View on Collapsing k-Cores

Volume 65, Issue 7

1033 -- 1068Friedrich Otto. On the Expressive Power of Stateless Ordered Restart-Delete Automata
1069 -- 1093Xiaohui Bei, Xinhang Lu, Pasin Manurangsi, Warut Suksompong. The Price of Fairness for Indivisible Goods
1094 -- 1109Julian Nickerl. The Minimum Tollbooth Problem in Atomic Network Congestion Games with Unsplittable Flows
1110 -- 1116Matthieu Rosenfeld. Lower-Bounds on the Growth of Power-Free Languages Over Large Alphabets
1117 -- 1140Mikhail Selianinau. Computationally Efficient Approach to Implementation of the Chinese Remainder Theorem Algorithm in Minimally Redundant Residue Number System
1141 -- 1142Matthias Bentert, Roman Haag, Christian Hofer, Tomohiro Koana, André Nichterlein. Correction to: Parameterized Complexity of Min-Power Asymmetric Connectivity

Volume 65, Issue 6

901 -- 902Evripidis Bampis, Nicole Megow. Preface
903 -- 915Marin Bougeret, Klaus Jansen, Michael Poss, Lars Rohwedder. Approximation Results for Makespan Minimization with Budgeted Uncertainty
916 -- 942Graham Cormode, Pavel Veselý. Streaming Algorithms for Bin Packing and Vector Scheduling
943 -- 984Björn Feldkord, Till Knollmann, Manuel Malatyali, Friedhelm Meyer auf der Heide. Managing Multiple Mobile Resources
985 -- 1008Waldo Gálvez, Fabrizio Grandoni 0001, Afrouz Jabal Ameli, Krzysztof Sornat. On the Cycle Augmentation Problem: Hardness and Approximation Algorithms
1009 -- 1032Fu-Hong Liu, Hsiang Hsuan Liu, Prudence W. H. Wong. Greedy is Optimal for Online Restricted Assignment and Smart Grid Scheduling for Unit Size Jobs

Volume 65, Issue 5

777 -- 797Lorraine A. K. Ayad, Golnaz Badkobeh, Gabriele Fici, Alice Héliou, Solon P. Pissis. Constructing Antidictionaries of Long Texts in Output-Sensitive Space
798 -- 814Sounaka Mishra, B. Arjuna Krishna, Shijin Rajakrishnan. Approximability of open k-monopoly problems
815 -- 838Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos. Minimum Reload Cost Graph Factors
839 -- 868Emil Jerábek. On the Complexity of the Clone Membership Problem
869 -- 883Xiao Zeng, Guowu Yang. Computing the Number of Affine Equivalent Classes on ℛ(s, n)/ℛ(k, n)
884 -- 900Astrid Pieterse, Gerhard J. Woeginger. The subset sum game revisited

Volume 65, Issue 4

635 -- 637Rolf Niedermeier, Christophe Paul. Preface of STACS 2019 Special Issue
638 -- 661Shaull Almagor, Joël Ouaknine, James Worrell 0001. First-Order Orbit Queries
662 -- 686Rémy Belmonte, Eun Jung Kim 0002, Michael Lampis, Valia Mitsou, Yota Otachi, Florian Sikora. Token Sliding on Split Graphs
687 -- 705Faith Ellen, Rati Gelashvili, Philipp Woelfel, Leqi Zhu. Space Lower Bounds for the Signal Detection Problem
706 -- 735Antoine Mottet, Karin Quaas. The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata
736 -- 776Erik Paul. Finite Sequentiality of Unambiguous Max-Plus Tree Automata

Volume 65, Issue 3

1 -- 18Moses Ganardi, Danny Hucke, Markus Lohrey.
441 -- 443René van Bevern, Gregory Kucherov. Special Issue on Computer Science Symposium in Russia (2019)
462 -- 478Sergey M. Dudakov, Boris Karlov. On Decidability of Theories of Regular Languages
479 -- 496Elena A. Petrova, Arseny M. Shur. Transition Property for Cube-Free Words
497 -- 514Bireswar Das, Shivdutt Sharma. Nearly Linear Time Isomorphism Algorithms for Some Nonabelian Group Classes
515 -- 540Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001. Parameterized Complexity of Conflict-Free Set Cover
541 -- 558Erik D. Demaine, John Iacono, Grigorios Koumoutsos, Stefan Langerman. Belga B-Trees
559 -- 578Eric Allender, Rahul Ilango, Neekon Vafa. The Non-hardness of Approximating Circuit Size
579 -- 592Suthee Ruangwises, Toshiya Itoh. Unpopularity Factor in the Marriage and Roommates Problems
593 -- 612Shmuel T. Klein, Shoham Saadia, Dana Shapira. Forward Looking Huffman Coding
613 -- 633Ludmila Glinskih, Dmitry Itsykson. On Tseitin Formulas, Read-Once Branching Programs and Treewidth

Volume 65, Issue 2

241 -- 256Olivier Carton, Joseph Vandehey. Preservation of Normality by Non-Oblivious Group Selection
257 -- 273David Ilcinkas, Ahmed Mouhamadou Wade. Exploration of Dynamic Cactuses with Sub-logarithmic Overhead
274 -- 295Beate Bollig, Martin Farenholtz. On the Relation Between Structured d-DNNFs and SDDs
296 -- 322Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma. Fast Scheduling in Distributed Transactional Memory
323 -- 343Dekel Tsur. Faster Parameterized Algorithm for Cluster Vertex Deletion
344 -- 409Katrin Casel, Henning Fernau, Serge Gaspers, Benjamin Gras 0002, Markus L. Schmid. On the Complexity of the Smallest Grammar Problem over Fixed Alphabets
410 -- 427Matea Celar, Zvonko Iljazovic. Computability of Products of Chainable Continua
428 -- 440Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden. Stable Divisorial Gonality is in NP

Volume 65, Issue 1

1 -- 2Pablo Barceló, Marco Calautti. Special Issue on Database Theory
3 -- 41Stefan Mengel, Sebastian Skritek. Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection
42 -- 83Yuliang Li, Jianguo Wang 0001, Benjamin Pullman, Nuno Bandeira, Yannis Papakonstantinou. Index-based, High-dimensional, Cosine Threshold Querying with Optimality Guarantees
84 -- 121Marco Calautti, Andreas Pieris. Semi-Oblivious Chase Termination: The Sticky Case
122 -- 178Paraschos Koutris, Jef Wijsen. Consistent Query Answering for Primary Keys in Datalog
179 -- 239Floris Geerts. On the Expressive Power of Linear Algebra on Graphs
240 -- 0Floris Geerts. Correction to: On the Expressive Power of Linear Algebra on Graphs