Theory of Computing Systems

Article	Citations
Improved Methods to Solve Nonlinear Invariants with Low Algebraic Degree for Linear Transformation	9
On Triangle Estimation Using Tripartite Independent Set Queries	8
On the Hierarchy of Swarm-automaton for the Number of Agents	7
Revisiting the Distortion of Distributed Voting	6
Obstructions to Return Preservation for Episturmian Morphisms	6
Foreword: a Commemorative Issue for Alan L. Selman	6
One-Sided Markets with Externalities	6
Linear Codes Correcting Repeated Bursts Equipped with Homogeneous Distance	5
Factorizing Strings into Repetitions	4
Preface of the Special Issue Dedicated to Selected Papers from DLT 2022	4
Observation and Distinction: Representing Information in Infinite Games	4
Impartial Selection with Additive Approximation Guarantees	4
Restart Strategies in a Continuous Setting	3
The Parameterized Complexity of s-Club with Triangle and Seed Constraints	3
Maximum Stable Matching with One-Sided Ties of Bounded Length	2
Placing Green Bridges Optimally, with a Multivariate Analysis	2
Correction to: Parameterized Complexity of Min-Power Asymmetric Connectivity	2
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus	2
A One Pass Streaming Algorithm for Finding Euler Tours	2
Polynomially Ambiguous Unary Weighted Automata over Fields	2
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions	2
The Power Word Problem in Graph Products	2
On Forced Periodicity of Perfect Colorings	1
Stable Multi-Level Monotonic Eroders	1
On the Decidability of Infix Inclusion Problem	1

Equation Satisfiability in Solvable Groups	1
Decidability and Periodicity of Low Complexity Tilings	1
Arithmetic Circuits, Structured Matrices and (not so) Deep Learning	1
Maximizing Rides Served for Dial-a-Ride on the Uniform Metric	1
Mechanism Design for Perturbation Stable Combinatorial Auctions	1
Exact Multi-Covering Problems with Geometric Sets	1
Expansivity and Periodicity in Algebraic Subshifts	1
Reachability Problems on Reliable and Lossy Queue Automata	1
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words	1
Ergodic Theorems and Converses for PSPACE Functions	1
Subgroup Membership in GL(2,Z)	1
The Complexity of Counting CSPd	1
Dichotomy for Non-negative Valued Holant Problems on 3-Regular Bipartite Graphs	1
Fixed-Parameter Algorithms for Unsplittable Flow Cover	1
Risk-Free Bidding in Complement-Free Combinatorial Auctions	1
How to Play Old Maid with Virtual Players	1
Random Access in Persistent Strings and Segment Selection	1
The Complexity of Unavoidable Word Patterns	1
Quantum Algorithm for Lexicographically Minimal String Rotation	1
How to Hide a Clique?	1
Dimension and the Structure of Complexity Classes	1
Approximation Algorithms for the MAXSPACE Advertisement Problem	1
Exact and Approximate Digraph Bandwidth	1
Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection	1
Complexity Limitations on One-turn Quantum Refereed Games	1
An Alternating Algorithm for Finding Linear Arrow-Debreu Market Equilibria	1
Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model	1
Implicit Representation of Relations	0
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata	0
On the Existence of Three-Dimensional Stable Matchings with Cyclic Preferences	0
Reordered Computable Numbers	0
A Framework for Memory Efficient Context-Sensitive Program Analysis	0
Approximation Results for Makespan Minimization with Budgeted Uncertainty	0
Radio k-chromatic Number of Full m-ary Trees	0
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes	0
Pumping Lemmas Can be “Harmful”	0
Correction to: Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model	0
Performing Regular Operations with 1-Limited Automata	0
The Complexity of the Distributed Constraint Satisfaction Problem	0
Rudin-Shapiro Sums Via Automata Theory and Logic	0
Disentangling the Computational Complexity of Network Untangling	0
Graph Square Roots of Small Distance from Degree One Graphs	0
Unit Read-once Refutations for Systems of Difference Constraints	0
On the structure of solution-sets to regular word equations	0
Correction to: On the Transformation of LL(k)-linear to LL(1)-linear Grammars	0
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators	0
A Local Search Algorithm for the Radius-Constrained k-Median Problem	0
Elastic-Degenerate String Matching with 1 Error or Mismatch	0
Well-Covered Graphs With Constraints On $$\Delta $$ And $$\delta $$	0
Generating Visual Invariants −a New Approach to Invariant Recognition	0

Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs	0
Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs	0
An Automaton Group with PSPACE-Complete Word Problem	0
Online Matching with Delays and Stochastic Arrival Times	0
An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion	0
International Colloquium on Automata, Languages and Programming (ICALP 2020)	0
On the Solution Sets of Three-Variable Word Equations	0
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees	0
On the Transformation of LL(k)-linear to LL(1)-linear Grammars	0
2-Balanced Sequences Coding Rectangle Exchange Transformation	0
A Unifying Approximate Potential for Weighted Congestion Games	0
On Embeddability of Unit Disk Graphs Onto Straight Lines	0
On learning down-sets in quasi-orders, and ideals in Boolean algebras	0
Digraph Coloring and Distance to Acyclicity	0
Lower Bounds on the Amortized Time Complexity of Shared Objects	0
New Results on the Remote Set Problem and Its Applications in Complexity Study	0
Minimum Cut in $$O(m\log ^2 n)$$ Time	0
Local Deal-Agreement Algorithms for Load Balancing in Dynamic General Graphs	0
Routing and Wavelength Assignment Algorithm for Mesh-based Multiple Multicasts in Optical Network-on-chip	0
(In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions	0
Obvious Strategyproofness, Bounded Rationality and Approximation	0
Farkas Bounds on Horn Constraint Systems	0
Target Set Selection Parameterized by Vertex Cover and More	0
Scheduling with Speed Predictions	0
Near-Optimal Auctions on Independence Systems	0
b-Coloring Parameterized by Clique-Width	0
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is)	0
FKT is Not Universal — A Planar Holant Dichotomy for Symmetric Constraints	0
On the Parameterized Complexity of the Expected Coverage Problem	0
Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D	0
Upper Bounds on Communication in Terms of Approximate Rank	0
Special issue on algorithmic game theory (SAGT 2019)	0
Gathering on Rings for Myopic Asynchronous Robots with Lights	0
Non-Linear Ski Rental	0
Imperative Process Algebra and Models of Parallel Computation	0
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring	0
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms	0
Risk-Robust Mechanism Design for a Prospect-Theoretic Buyer	0
On Non-principal Arithmetical Numberings and Families	0
Preface	0
Automatic Abelian Complexities of Parikh-Collinear Fixed Points	0
Jumping Automata over Infinite Words	0
Correction to: Submodular Functions and Rooted Trees	0
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs	0
Beyond the Existential Theory of the Reals	0
Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization	0
Submodular Functions and Rooted Trees	0
A Parameterized Complexity View on Collapsing k-Cores	0
The Complexity of Grid Coloring	0
Property Testing of the Boolean and Binary Rank	0
Approximation algorithms for node and element connectivity augmentation problems	0
Weighted Tree Automata with Constraints	0
Improved Bounds for Matching in Random-Order Streams	0
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams	0
On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria	0
Cluster Editing for Multi-Layer and Temporal Graphs	0
A Closer Look at the Expressive Power of Logics Based on Word Equations	0
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity	0
Lossy Kernelization of Same-Size Clustering	0
Online Unbounded Knapsack	0
Holographic Algorithms on Domains of General Size	0
Note on Constrained Long Choice with Multiple Beginning Elements	0
Optimizing Over Serial Dictatorships	0
Non-Constructive Upper Bounds for Repetition Thresholds	0
Second-Order Finite Automata	0
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams	0
Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs	0
String Attractors of Some Simple-Parry Automatic Sequences	0
Preface of STACS 2021 Special Issue	0
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020	0
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete	0
On Polynomial Recursive Sequences	0
Visit-Bounded Stack Automata	0
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP	0
Non-Existence of Stable Social Groups in Information-Driven Networks	0
Characterizations and Directed Path-Width of Sequence Digraphs	0
On the Rejection Rate of Exact Sampling Algorithm for Discrete Gaussian Distributions over the Integers	0
Preface of STACS 2020 Special Issue	0
CNF Encodings of Symmetric Functions	0
Can Local Optimality Be Used for Efficient Data Reduction?	0

Stability and Welfare in (Dichotomous) Hedonic Diversity Games	0
Effective Guessing Has Unlikely Consequences	0
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings	0
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality	0
Computationally Efficient Approach to Implementation of the Chinese Remainder Theorem Algorithm in Minimally Redundant Residue Number System	0
Multistage Vertex Cover	0
Nonuniform Reductions and NP-Completeness	0
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective	0
The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems	0
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs	0
Computing Colourful Simplicial Depth and Median in ℝ2	0
Lower-Bounds on the Growth of Power-Free Languages Over Large Alphabets	0
Subclasses of Ptime Interpreted by Programming Languages	0
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs	0
Toward Online Mobile Facility Location on General Metrics	0
Prediction and MDL for infinite sequences	0
The Space Complexity of Sum Labelling	0
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs	0
Greedy is Optimal for Online Restricted Assignment and Smart Grid Scheduling for Unit Size Jobs	0
Languages Generated by Conjunctive Query Fragments of FC[REG]	0
On the Decision Tree Complexity of Threshold Functions	0
On Random Perfect Matchings in Metric Spaces with Not-too-large Diameters	0