Product theorems via semidefinite programming
Program Size and Temperature in Self-Assembly
Program-Size Versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing Machines
Properties of Pseudo-Primitive Words and their Applications
Proving that P is not equal to NP and that P is not equal to the intersection of NP and co-NP
Proving the power of postselection
Pseudorandom generators and the BQP vs. PH problem
Pseudorandom Generators for Polynomial Threshold Functions
Pseudorandomness and Combinatorial Constructions
PSPACE has 2-round quantum interactive proof systems
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation