Theory of Computing Systems

Collapsing and Separating Completeness Notions Under Average-Case and Worst-Case Hypotheses
Dispersion in Disks
Inseparability and Strong Hypotheses for Disjoint NP Pairs
On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography
Representing Hyper-arithmetical Sets by Equations over Sets of Integers
The Complexity of the List Homomorphism Problem for Graphs
Theoretical Aspects of Computer Science