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 2020-10-01 to 2024-10-01.)
ArticleCitations
Faster Parameterized Algorithm for Cluster Vertex Deletion12
The Price of Fairness for Indivisible Goods11
On the Existence of Three-Dimensional Stable Matchings with Cyclic Preferences7
The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems7
Approximation Results for Makespan Minimization with Budgeted Uncertainty6
Multistage Vertex Cover6
Computability of Products of Chainable Continua6
FKT is Not Universal — A Planar Holant Dichotomy for Symmetric Constraints6
Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization6
On the Complexity of the Smallest Grammar Problem over Fixed Alphabets6
A Parameterized Complexity View on Collapsing k-Cores5
On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria5
On the Cycle Augmentation Problem: Hardness and Approximation Algorithms4
Parameterized Complexity of Conflict-Free Set Cover4
Impartial Selection with Additive Approximation Guarantees4
Computationally Efficient Approach to Implementation of the Chinese Remainder Theorem Algorithm in Minimally Redundant Residue Number System4
On the Expressive Power of Linear Algebra on Graphs4
Restart Strategies in a Continuous Setting4
Finite Sequentiality of Unambiguous Max-Plus Tree Automata4
Fast Scheduling in Distributed Transactional Memory3
An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion3
On Triangle Estimation Using Tripartite Independent Set Queries3
Target Set Selection Parameterized by Vertex Cover and More3
Typical Sequences Revisited — Computing Width Parameters of Graphs3
Streaming Algorithms for Bin Packing and Vector Scheduling3
Constructing Antidictionaries of Long Texts in Output-Sensitive Space3
An Automaton Group with PSPACE-Complete Word Problem2
On Polynomial Recursive Sequences2
Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs2
Index-based, High-dimensional, Cosine Threshold Querying with Optimality Guarantees2
A Framework for Memory Efficient Context-Sensitive Program Analysis2
Managing Multiple Mobile Resources2
Computing the Number of Affine Equivalent Classes on $\mathcal {R}(s,n)/\mathcal {R}(k,n)$2
Factorizing Strings into Repetitions2
Subclasses of Ptime Interpreted by Programming Languages2
The Minimum Tollbooth Problem in Atomic Network Congestion Games with Unsplittable Flows2
Weighted Tree Automata with Constraints2
Fixed-Parameter Tractability of (n − k) List Coloring2
Stable Divisorial Gonality is in NP2
Expansivity and Periodicity in Algebraic Subshifts1
A One Pass Streaming Algorithm for Finding Euler Tours1
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions1
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata1
Improved Bounds for Matching in Random-Order Streams1
On the Decision Tree Complexity of Threshold Functions1
On Tseitin Formulas, Read-Once Branching Programs and Treewidth1
Disentangling the Computational Complexity of Network Untangling1
Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model1
Quantum Algorithm for Lexicographically Minimal String Rotation1
Decidability and Periodicity of Low Complexity Tilings1
The Power Word Problem in Graph Products1
Polynomially Ambiguous Unary Weighted Automata over Fields1
Performing Regular Operations with 1-Limited Automata1
On the structure of solution-sets to regular word equations1
Greedy is Optimal for Online Restricted Assignment and Smart Grid Scheduling for Unit Size Jobs1
Nearly Linear Time Isomorphism Algorithms for Some Nonabelian Group Classes1
Nonuniform Reductions and NP-Completeness1
Beyond the Existential Theory of the Reals1
Stable Multi-Level Monotonic Eroders1
Fixed-Parameter Algorithms for Unsplittable Flow Cover1
Reachability Problems on Reliable and Lossy Queue Automata1
Maximum Stable Matching with One-Sided Ties of Bounded Length1
Second-Order Finite Automata1
Well-Covered Graphs With Constraints On $$\Delta $$ And $$\delta $$1
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is)1
The Space Complexity of Sum Labelling1
On the Rejection Rate of Exact Sampling Algorithm for Discrete Gaussian Distributions over the Integers1
The Complexity of Counting CSPd1
Subgroup Membership in GL(2,Z)1
On the Solution Sets of Three-Variable Word Equations0
Toward Online Mobile Facility Location on General Metrics0
Preface of the Special Issue Dedicated to Selected Papers from DLT 20220
Minimum Cut in $$O(m\log ^2 n)$$ Time0
Preface of STACS 2021 Special Issue0
On Non-principal Arithmetical Numberings and Families0
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus0
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs0
Lower-Bounds on the Growth of Power-Free Languages Over Large Alphabets0
Obstructions to Return Preservation for Episturmian Morphisms0
Near-Optimal Auctions on Independence Systems0
Property Testing of the Boolean and Binary Rank0
Foreword: a Commemorative Issue for Alan L. Selman0
Correction to: Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model0
Prediction and MDL for infinite sequences0
On the Expressive Power of Stateless Ordered Restart-Delete Automata0
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings0
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams0
Effective Guessing Has Unlikely Consequences0
Editorial: Special Issue on International Workshop on Combinatorial Algorithms (IWOCA 2019)0
Preface of STACS 2020 Special Issue0
Approximability of open k-monopoly problems0
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs0
Non-Existence of Stable Social Groups in Information-Driven Networks0
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs0
On Random Perfect Matchings in Metric Spaces with Not-too-large Diameters0
Imperative Process Algebra and Models of Parallel Computation0
How to Hide a Clique?0
Local Deal-Agreement Algorithms for Load Balancing in Dynamic General Graphs0
Risk-Free Bidding in Complement-Free Combinatorial Auctions0
Risk-Robust Mechanism Design for a Prospect-Theoretic Buyer0
Ergodic Theorems and Converses for PSPACE Functions0
Elastic-Degenerate String Matching with 1 Error or Mismatch0
String Attractors of Some Simple-Parry Automatic Sequences0
On the Decidability of Infix Inclusion Problem0
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs0
Random Access in Persistent Strings and Segment Selection0
2-Balanced Sequences Coding Rectangle Exchange Transformation0
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams0
Exact Multi-Covering Problems with Geometric Sets0
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring0
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity0
Stability and Welfare in (Dichotomous) Hedonic Diversity Games0
Linear Codes Correcting Repeated Bursts Equipped with Homogeneous Distance0
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete0
International Colloquium on Automata, Languages and Programming (ICALP 2020)0
Farkas Bounds on Horn Constraint Systems0
Revisiting the Distortion of Distributed Voting0
Cluster Editing for Multi-Layer and Temporal Graphs0
Minimum Reload Cost Graph Factors0
Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D0
Placing Green Bridges Optimally, with a Multivariate Analysis0
Non-Constructive Upper Bounds for Repetition Thresholds0
Preface of the Special Issue Dedicated to Selected Papers from CSR 20200
On the Complexity of the Clone Membership Problem0
Lower Bounds on the Amortized Time Complexity of Shared Objects0
A Closer Look at the Expressive Power of Logics Based on Word Equations0
Non-Linear Ski Rental0
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality0
Unit Read-once Refutations for Systems of Difference Constraints0
Preface0
Submodular Functions and Rooted Trees0
(In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions0
Obvious Strategyproofness, Bounded Rationality and Approximation0
Graph Square Roots of Small Distance from Degree One Graphs0
The Complexity of Unavoidable Word Patterns0
Preface of STACS 2019 Special Issue0
Characterizations and Directed Path-Width of Sequence Digraphs0
Dimension and the Structure of Complexity Classes0
Correction to: On the Transformation of LL(k)-linear to LL(1)-linear Grammars0
Approximation Algorithms for the MAXSPACE Advertisement Problem0
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees0
Arithmetic Circuits, Structured Matrices and (not so) Deep Learning0
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms0
Digraph Coloring and Distance to Acyclicity0
Mechanism Design for Perturbation Stable Combinatorial Auctions0
New Results on the Remote Set Problem and Its Applications in Complexity Study0
Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs0
Implicit Representation of Relations0
Correction to: Parameterized Complexity of Min-Power Asymmetric Connectivity0
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP0
b-Coloring Parameterized by Clique-Width0
Pumping Lemmas Can be “Harmful”0
The Parameterized Complexity of s-Club with Triangle and Seed Constraints0
CNF Encodings of Symmetric Functions0
Visit-Bounded Stack Automata0
Observation and Distinction: Representing Information in Infinite Games0
Upper Bounds on Communication in Terms of Approximate Rank0
Routing and Wavelength Assignment Algorithm for Mesh-based Multiple Multicasts in Optical Network-on-chip0
On the Parameterized Complexity of the Expected Coverage Problem0
On the Hierarchy of Swarm-automaton for the Number of Agents0
On the Transformation of LL(k)-linear to LL(1)-linear Grammars0
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes0
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators0
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective0
Holographic Algorithms on Domains of General Size0
The Complexity of Grid Coloring0
Special Issue on Computer Science Symposium in Russia (2019)0
A Unifying Approximate Potential for Weighted Congestion Games0
Computing Colourful Simplicial Depth and Median in ℝ20
Special issue on algorithmic game theory (SAGT 2019)0
Correction to: On the Expressive Power of Linear Algebra on Graphs0
Radio k-chromatic Number of Full m-ary Trees0
On Embeddability of Unit Disk Graphs Onto Straight Lines0
Complexity Limitations on One-turn Quantum Refereed Games0
The subset sum game revisited0
On Forced Periodicity of Perfect Colorings0
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs0
Equation Satisfiability in Solvable Groups0
Correction to: Submodular Functions and Rooted Trees0
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words0
Generating Visual Invariants −a New Approach to Invariant Recognition0
In Memoriam - Alan Selman (1941 - 2021)0
Jumping Automata over Infinite Words0
The Complexity of the Distributed Constraint Satisfaction Problem0
An Alternating Algorithm for Finding Linear Arrow-Debreu Market Equilibria0
Lossy Kernelization of Same-Size Clustering0
0.057931184768677