


default search action
Theory of Computing Systems, Volume 68
Volume 68, Number 1, February 2024
- Andreas Maletti, Andreea-Teodora Nász:
Weighted Tree Automata with Constraints. 1-28 - Qisheng Wang
, Mingsheng Ying
:
Quantum Algorithm for Lexicographically Minimal String Rotation. 29-74 - Frank Gurski, Jörg Rothe, Robin Weishaupt:
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes. 75-102 - Vincent Froese, Pascal Kunz, Philipp Zschoche:
Disentangling the Computational Complexity of Network Untangling. 103-121 - Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr Wojciechowski:
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective. 122-143 - Pierre Bergé, Guillaume Ducoffe, Michel Habib:
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs. 144-193
Volume 68, Number 2, April 2024
- Marcus Schaefer, Daniel Stefankovic:
Beyond the Existential Theory of the Reals. 195-226 - K. Subramani, Piotr Wojciechowski, Alvaro Velasquez:
Farkas Bounds on Horn Constraint Systems. 227-249 - Hoàng-Oanh Le
, Van Bang Le:
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs. 250-270 - Marat Kh. Faizrahmanov
:
On Non-principal Arithmetical Numberings and Families. 271-282 - Yijie Chen
, Kewei Lv
:
New Results on the Remote Set Problem and Its Applications in Complexity Study. 283-298
Volume 68, Number 3, June 2024
- Volker Diekert
, Mikhail Volkov
:
Preface of the Special Issue Dedicated to Selected Papers from DLT 2022. 299-300 - Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han:
On the Decidability of Infix Inclusion Problem. 301-321 - Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea:
A Closer Look at the Expressive Power of Logics Based on Word Equations. 322-379 - Ondrej Klíma, Jonatan Kolegar:
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words. 380-402 - Markus Lohrey, Florian Stober
, Armin Weiß:
The Power Word Problem in Graph Products. 403-464 - Giovanni Pighizzini, Luca Prigioniero, Simon Sádovský:
Performing Regular Operations with 1-Limited Automata. 465-486 - Ekaterina N. Shemetova
, Alexander Okhotin
, Semyon V. Grigorev
:
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees. 487-511
- Pankaj Kumar Das, Subodh Kumar:
Linear Codes Correcting Repeated Bursts Equipped with Homogeneous Distance. 512-528 - Cornelis A. Middelburg
:
Imperative Process Algebra and Models of Parallel Computation. 529-570 - Lehilton L. C. Pedrosa
, Mauro Roberto Costa da Silva
, Rafael C. S. Schouery
:
Approximation Algorithms for the MAXSPACE Advertisement Problem. 571-590
Volume 68, Number 4, August 2024
- Anuj Dawar:
International Colloquium on Automata, Languages and Programming (ICALP 2020). 591-592 - Michaël Cadilhac
, Filip Mazowiecki
, Charles Paperman
, Michal Pilipczuk
, Géraud Sénizergues
:
On Polynomial Recursive Sequences. 593-614 - Erik Paul
:
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata. 615-661 - Joel D. Day
, Florin Manea:
On the structure of solution-sets to regular word equations. 662-739 - Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
, Armin Weiß
:
Equation Satisfiability in Solvable Groups. 740-757 - Aaron Bernstein:
Improved Bounds for Matching in Random-Order Streams. 758-772 - Uriel Feige
, Vadim Grinberg
:
How to Hide a Clique? 773-813 - Pawel Gawrychowski, Shay Mozes, Oren Weimann
:
Minimum Cut in O(mlog 2 n) Time. 814-834
- Markus Bläser, Benjamin Monmege:
Preface of STACS 2021 Special Issue. 835-837 - Silvia Butti
, Víctor Dalmau:
The Complexity of the Distributed Constraint Satisfaction Problem. 838-867 - Mahdi Cheraghchi, Shuichi Hirahara, Dimitrios Myrisiotis
, Yuichi Yoshida:
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP. 868-899 - Stefan Göller
, Mathieu Hilaire:
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete. 900-985 - Ararat Harutyunyan, Michael Lampis
, Nikolaos Melissinos
:
Digraph Coloring and Distance to Acyclicity. 986-1013 - Jacob Holm
, Eva Rotenberg
:
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity. 1014-1048 - Lars Jaffke
, Paloma T. Lima, Daniel Lokshtanov:
b-Coloring Parameterized by Clique-Width. 1049-1081 - Markus Lohrey
:
Subgroup Membership in GL(2,Z). 1082-1107
Volume 68, Number 5, October 2024
- Anna Gál
, Ridwan Syed:
Upper Bounds on Communication in Terms of Approximate Rank. 1109-1123 - Alexey Milovanov
:
Prediction and MDL for infinite sequences. 1124-1137 - Aris Filos-Ratsikas, Alexandros A. Voudouris:
Revisiting the Distortion of Distributed Voting. 1138-1159 - Sabrina C. L. Ammann, Sebastian Stiller:
Near-Optimal Auctions on Independence Systems. 1160-1179 - Ioannis Caragiannis, Nidhi Rathi:
Optimizing Over Serial Dictatorships. 1180-1206 - Sándor P. Fekete, Dominik Krupke:
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs. 1207-1238 - Jiehua Chen
, Hendrik Molter
, Manuel Sorge
, Ondrej Suchý
:
Cluster Editing for Multi-Layer and Temporal Graphs. 1239-1290 - Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin:
CNF Encodings of Symmetric Functions. 1291-1311 - Till Fluschnik, Leon Kellerhals:
Placing Green Bridges Optimally, with a Multivariate Analysis. 1312-1338 - Jingnan Xie
, Harry B. Hunt III, Richard Edwin Stearns:
Pumping Lemmas Can be "Harmful". 1339-1352 - Fei Gao, Cui Yu, Yawen Chen, Boyong Gao:
Routing and Wavelength Assignment Algorithm for Mesh-based Multiple Multicasts in Optical Network-on-chip. 1353-1371 - Hagit Attiya, Arie Fouren, Jeremy Ko:
Lower Bounds on the Amortized Time Complexity of Shared Objects. 1372-1426 - Kensuke Kitai, Yuki Nishida, Yoshihide Watanabe:
Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs. 1427-1441 - Giulia Bernardini, Estéban Gabory, Solon P. Pissis, Leen Stougie, Michelle Sweering, Wiktor Zuba:
Elastic-Degenerate String Matching with 1 Error or Mismatch. 1442-1467 - Zeev Nutov
:
Approximation algorithms for node and element connectivity augmentation problems. 1468-1485
Volume 68, Number 6, December 2024
- Arseny M. Shur
:
Non-Constructive Upper Bounds for Repetition Thresholds. 1487-1511 - Valérie Berthé, Herman Goulet-Ouellet:
Obstructions to Return Preservation for Episturmian Morphisms. 1512-1536 - L'ubomíra Dvoráková, Zuzana Masáková, Edita Pelantová:
2-Balanced Sequences Coding Rectangle Exchange Transformation. 1537-1555 - Aleksi Saarela:
On the Solution Sets of Three-Variable Word Equations. 1556-1571 - Shaull Almagor, Omer Yizhaq:
Jumping Automata over Infinite Words. 1572-1600 - France Gheeraert
, Giuseppe Romana
, Manon Stipulanti
:
String Attractors of Some Simple-Parry Automatic Sequences. 1601-1621 - Michel Rigo
, Manon Stipulanti
, Markus A. Whiteland
:
Automatic Abelian Complexities of Parikh-Collinear Fixed Points. 1622-1639 - Sam M. Thompson, Dominik D. Freydenberger:
Languages Generated by Conjunctive Query Fragments of FC[REG]. 1640-1682 - Philip Janicki:
Reordered Computable Numbers. 1683-1708

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.