Superiority of one-way and realtime quantum machines and new directions
Survey propagation: an algorithm for satisfiability
Swapping Lemmas for Regular and Context-Free Languages
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits
Symmetry and Uncountability of Computation
Symmetry of information and bounds on nonuniform randomness extraction via Kolmogorov extractors
Syntactic Characterisations of Polynomial-Time Optimisation Classes (Syntactic Characterizations of Polynomial-Time Optimization Classes)
Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules
Temperature 1 Self-Assembly: Deterministic Assembly in 3D and Probabilistic Assembly in 2D
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication
Testing Graph Isomorphism in Parallel by Playing a Game
Tetravex is NP-complete
Tetris is Hard, Even to Approximate
The 3-satisfiability problem
The approximability of MAX CSP with fixed-value constraints
The approximability of three-valued MAX CSP
The Baire partial quasi-metric space: A mathematical tool for asymptotic complexity analysis in Computer Science
The Boolean Hierarchy over Level 1/2 of the Straubing-Therien Hierarchy
The central nature of the Hidden Subgroup problem