Theory of Computing Systems

Papers
(The median citation count of Theory of Computing Systems is 0. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-05-01 to 2026-05-01.)
ArticleCitations
The Parameterized Complexity of s-Club with Triangle and Seed Constraints9
Linear Codes Correcting Repeated Bursts Equipped with Homogeneous Distance7
Strategic Candidacy Equilibria for Common Voting Rules6
Complexity Limitations on One-turn Quantum Refereed Games4
Beyond the Existential Theory of the Reals3
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete3
New Results on the Remote Set Problem and Its Applications in Complexity Study3
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings3
An Lp-rounding Based Algorithm for Soft Capacitated Facility Location Problem with Submodular Penalties3
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs3
On the Transformation of LL(k)-linear to LL(1)-linear Grammars3
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees2
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is)2
Label Ranking Through Nonparametric Regression2
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes2
Space-Efficient SLP Encoding for $$O(\log N)$$-Time Random Access2
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams2
Rudin-Shapiro Sums Via Automata Theory and Logic2
Preface of the Special Issue Dedicated to Selected Papers from CSR 20202
Algebraically Enhanced 3D Chaotic Map with Hash-Based Initialization for Secure Image Encryption2
A Local Search Algorithm for the Radius-Constrained k-Median Problem2
Non-Existence of Stable Social Groups in Information-Driven Networks2
Cluster Editing for Multi-Layer and Temporal Graphs1
On the Solution Sets of Three-Variable Word Equations1
Computing String Covers in Sublinear Time1
Degree 2 Lower Bound for Permanent in Arbitrary Characteristic1
Maximum Stable Matching with One-Sided Ties of Bounded Length1
Submodular Functions and Rooted Trees1
International Colloquium on Automata, Languages and Programming (ICALP 2020)1
Gathering on Rings for Myopic Asynchronous Robots with Lights1
The Complexity of the Distributed Constraint Satisfaction Problem1
The Power Word Problem in Graph Products1
Sampling and Optimal Preference Elicitation in Simple Mechanisms1
Generalization of Repetitiveness Measures for Two-Dimensional Strings1
Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs1
Online Matching with Delays and Stochastic Arrival Times1
Preface of STACS 2020 Special Issue1
The Complexity of Unavoidable Word Patterns1
Jumping Automata over Infinite Words1
Space-Efficient B Trees via Load-Balancing1
Minimum-Cost Mixed Graph Covers with Targeted Weight Constraints1
Testing Intersectingness of Uniform Families1
Control Structures in Computable Numberings and the Completion Operator1
String Attractors of Some Simple-Parry Automatic Sequences1
One-Sided Markets with Externalities1
Improved Methods to Solve Nonlinear Invariants with Low Algebraic Degree for Linear Transformation1
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus1
Approximation algorithms for node and element connectivity augmentation problems1
Longest Common Subsequence with Gap Constraints1
b-Coloring Parameterized by Clique-Width1
(In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions1
Preface of STACS 2021 Special Issue1
Ergodic Theorems and Converses for PSPACE Functions1
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms1
Preface of the Special Issue Dedicated to Selected Papers from DLT 20221
Faster Algorithms for Ranking/Unranking Bordered and Unbordered Words1
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity1
How to Play Old Maid with Virtual Players1
Decision Problems Concerning L Systems1
Placing Green Bridges Optimally, with a Multivariate Analysis1
Symmetric Linear Arc Monadic Datalog and Gadget Reductions1
Subsequence Matching and LCS under Cartesian-Tree Equivalence1
Greedy Minimum-Energy Scheduling1
Correction to: How to Play Old Maid with Virtual Players1
Correction to: Farkas Bounds on Horn Constraint Systems1
A Geometric Programming Approach to Solve the Restricted Assignment Case of the Santa Claus Problem0
On Random Perfect Matchings in Metric Spaces with Not-too-large Diameters0
CNF Encodings of Symmetric Functions0
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs0
Correction to: Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model0
The ceBWT Index: An Index for Circular Cartesian Tree Matching on Multiple Texts0
On learning down-sets in quasi-orders, and ideals in Boolean algebras0
On the Decision Tree Complexity of Threshold Functions0
A Unifying Approximate Potential for Weighted Congestion Games0
A Practical Extension of Computational Complexity Theory for Applications in Mathematics and Sciences0
Kleene Theorems for Lasso Languages and $$\omega $$-Languages0
Optimizing Over Serial Dictatorships0
Improved Bounds for Matching in Random-Order Streams0
Toward Online Mobile Facility Location on General Metrics0
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring0
Online Unbounded Knapsack0
Correction to: Submodular Functions and Rooted Trees0
Unit Read-once Refutations for Systems of Difference Constraints0
On Forced Periodicity of Perfect Colorings0
Well-Covered Graphs With Constraints On $$\Delta $$ And $$\delta $$0
Automatic Abelian Complexities of Parikh-Collinear Fixed Points0
The Complexity of Pre-assignment Problem for Unique Minimum Vertex Cover on Bipartite Graphs0
Revisiting the Distortion of Distributed Voting0
Completely Distinguishable Automata and the Set of Synchronizing Words0
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective0
Can Local Optimality Be Used for Efficient Data Reduction?0
Lower Bounds on the Amortized Time Complexity of Shared Objects0
2-Balanced Sequences Coding Rectangle Exchange Transformation0
On the Hierarchy of Swarm-automaton for the Number of Agents0
Target Set Selection Parameterized by Vertex Cover and More0
Total Completion Time Scheduling Under Scenarios0
On the Decidability of Infix Inclusion Problem0
On the Potential and Limitations of Proxy Voting: Delegation with Incomplete Votes0
Fast Approximation Algorithms for Euclidean Minimum Weight Perfect Matching0
Unveiling Order in Chaos: A Systematic Approach Based on Graph Theory in Enumerating Sudoku Grids of Rank n0
LZ78 Substring Compression in Compressed Space0
Bit Catastrophes for the Burrows-Wheeler Transform0
Dichotomy for Non-negative Valued Holant Problems on 3-Regular Bipartite Graphs0
Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model0
Approximation Algorithms for the MAXSPACE Advertisement Problem0
Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection0
Dimension and the Structure of Complexity Classes0
Reordered Computable Numbers0
The Complexity of Grid Coloring0
Nonuniform Reductions and NP-Completeness0
The Reflection Complexity of Sequences Over Finite Alphabets0
Non-Constructive Upper Bounds for Repetition Thresholds0
A One Pass Streaming Algorithm for Finding Euler Tours0
Elastic-Degenerate String Matching with 1 Error or Mismatch0
Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths0
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs0
Holographic Algorithms on Domains of General Size0
Frequency-Competitive Query Strategies to Maintain Low Congestion Potential Among Moving Entities0
Disentangling the Computational Complexity of Network Untangling0
The Ground-Set-Cost Budgeted Maximum Coverage Problem0
Pumping Lemmas Can be “Harmful”0
Effective Guessing Has Unlikely Consequences0
Lossy Kernelization of Same-Size Clustering0
Some Symmetrical Planar Structures with their Fault-Tolerant Metric Dimension0
On Strings Having the Same Length-k Substrings0
Correction to: On the Transformation of LL(k)-linear to LL(1)-linear Grammars0
Algorithms for the Online Power Cover Problem on a Line0
On Non-principal Arithmetical Numberings and Families0
Note on Constrained Long Choice with Multiple Beginning Elements0
A Framework for Memory Efficient Context-Sensitive Program Analysis0
FullSynesth: Syntenic Reconciliation of a Set of Consistent Gene Trees0
Subclasses of Ptime Interpreted by Programming Languages0
Implicit Representation of Relations0
Improved Parameterized Algorithms for Cluster Vertex Deletion0
Second-Order Finite Automata0
Characterizations and Directed Path-Width of Sequence Digraphs0
Imperative Process Algebra and Models of Parallel Computation0
Routing and Wavelength Assignment Algorithm for Mesh-based Multiple Multicasts in Optical Network-on-chip0
Local Deal-Agreement Algorithms for Load Balancing in Dynamic General Graphs0
Obstructions to Return Preservation for Episturmian Morphisms0
Individual Preference Facility Location: A Dual-Fitting Framework and Its Extensions0
Maximizing Rides Served for Dial-a-Ride on the Uniform Metric0
Special issue on algorithmic game theory (SAGT 2019)0
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words0
Expansivity and Periodicity in Algebraic Subshifts0
Random Access in Persistent Strings and Segment Selection0
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP0
Quantum Algorithm for Lexicographically Minimal String Rotation0
Subgroup Membership in GL(2,Z)0
Near-Optimal Auctions on Independence Systems0
Minimum Cut in $$O(m\log ^2 n)$$ Time0
Non-Linear Ski Rental0
NP-Completeness on the Length of Double-Arrays and the Sparse Matrix Problem with at Least Logarithmic Alphabets/Widths0
Improved Bounds for Twin-Width Parameter Variants with Algorithmic Applications to Counting Graph Colorings0
Microbribery in Group Identification0
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs0
On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria0
Improved Online Scheduling with Restarts on a Single Machine0
Upper Bounds on Communication in Terms of Approximate Rank0
Digraph Coloring and Distance to Acyclicity0
Scheduling with Speed Predictions0
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs0
Foreword: a Commemorative Issue for Alan L. Selman0
High Multiplicity Strip Packing with Three Rectangle Types0
2-Colorable Perfect Matching is NP-complete in 2-Connected 3-Regular Planar Graphs0
Visit-Bounded Stack Automata0
Weighted Tree Automata with Constraints0
Stability and Welfare in (Dichotomous) Hedonic Diversity Games0
A Closer Look at the Expressive Power of Logics Based on Word Equations0
Farkas Bounds on Horn Constraint Systems0
The Space Complexity of Sum Labelling0
(Worst-case) Optimal Adaptive Dynamic Bitvectors0
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality0
Languages Generated by Conjunctive Query Fragments of FC[REG]0
Performing Regular Operations with 1-Limited Automata0
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams0
On Embeddability of Unit Disk Graphs Onto Straight Lines0
Logarithmic-Time Internal Pattern Matching Queries in Compressed and Dynamic Texts0
An Optimal and Practical Algorithm for the Planar 2-center Problem0
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions0
Online Deterministic Minimum Cost Bipartite Matching with Delays on a Line0
Normality, Relativization, and Randomness0
Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D0
Polynomially Ambiguous Unary Weighted Automata over Fields0
Arithmetic Circuits, Structured Matrices and (not so) Deep Learning0
Prediction and MDL for infinite sequences0
Exact and Approximate Digraph Bandwidth0
Equation Satisfiability in Solvable Groups0
Mechanism Design for Perturbation Stable Combinatorial Auctions0
How to Hide a Clique?0
On the Rejection Rate of Exact Sampling Algorithm for Discrete Gaussian Distributions over the Integers0
0.089262962341309