Theory of Computing Systems

Title Publication Date Language Citations
Topological Dynamics of Cellular Automata: Dimension Matters2010/04/10English
TCP is Competitive with Resource Augmentation2010/03/02English
Dimension, Halfspaces, and the Density of Hard Sets2010/09/17English
Truthful Mechanisms for Selfish Routing and Two-Parameter Agents2010/07/27English
Preface: Special Issue on Theoretical Aspects of Computer Science (STACS)2010/09/22English
Foreword2010/08/05English
Foreword2008/11/06English
Preface2008/12/02English
Foreword2008/06/19English
The Worst Page-Replacement Policy2008/05/13English
Fixpoint Logics over Hierarchical Structures2009/08/01English
Parallelizing Time with Polynomial Circuits2009/09/17English
Finding Most Likely Solutions2009/07/25English
Facets of the Fully Mixed Nash Equilibrium Conjecture2009/03/13English
Query Evaluation on a Database Given by a Random Graph2008/12/17English
Connecting Polygonizations via Stretches and Twangs2009/02/12English
Structure-Preserving Hierarchical Decompositions2004/12/20English
Simultaneous Embedding of a Planar Graph and Its Dual on the Grid2005/03/30English
Hierarchy Among Automata on Linear Orderings2005/04/05English
Team Learning of Computable Languages2000/01/02
Average-Case Analysis of Greedy Packet Scheduling2002/06/18English
On Random Perfect Matchings in Metric Spaces with Not-too-large Diameters2022/06/17English
Holographic Algorithms on Domains of General Size2022/07/01English
Special issue on algorithmic game theory (SAGT 2019)2022/06/01English
Equation Satisfiability in Solvable Groups2022/07/04English
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms2022/11/04English
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs2022/09/22English
Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D2023/08/23English
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams2023/09/20English
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams2023/10/19English