Theory of Computing Systems

Title Publication Date Language Citations
Weighted Tree Automata with Constraints2023/10/03English
Toward Online Mobile Facility Location on General Metrics2023/10/06English
A Unifying Approximate Potential for Weighted Congestion Games2023/07/10English
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring2023/07/10English
Lossy Kernelization of Same-Size Clustering2023/07/10English
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus2023/07/17English
Observation and Distinction: Representing Information in Infinite Games2022/03/21English
Graph Square Roots of Small Distance from Degree One Graphs2022/04/30English
Mechanism Design for Perturbation Stable Combinatorial Auctions2022/05/05English
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP2022/12/27English
Characterizations and Directed Path-Width of Sequence Digraphs2022/11/23English
On the Decision Tree Complexity of Threshold Functions2022/08/23English
Optimal High-Performance Parallel Text Retrieval via Fat-Trees1999/11/12
The Universality of Higher-Order Attributed Tree Transducers2000/02/01English
Computing functions on asynchronous anonymous networks1998/02/01English
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs2023/12/04English
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective2023/12/01English
Expressing Uniformity via Oracles1997/07/01
On Sets Turing Reducible to p-Selective Sets1997/03/01
The Use of a Synchronizer Yields the Maximum Computation Rate in Distributed Networks1997/09/01
Approximation Algorithms for the Bandwidth Minimization Problem for a Large Class of Trees1997/01/01
Blocking in Parallel Multisearch Problems2001/01/01
Diagonal Polynomials and Diagonal Orders on Multidimensional Lattices1997/07/01
Wang Tilings and Distributed Verification on Anonymous Torus Networks1997/03/01
Helping by Unambiguous Computation and Probabilistic Computation1997/03/01
Polynomial Closure and Unambiguous Product1997/07/01
Preface of STACS 2020 Special Issue2023/01/07English
On the Decidability of Infix Inclusion Problem2024/01/13English
On the Parameterized Complexity of the Expected Coverage Problem2022/03/10English
Transition Property for Cube-Free Words2020/04/21English