Probabilistic Checking of Proofs: A New Characterization of NP.
Explicit OR-Dispersers with Polylogarithmic Degree.
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.
A New General Derandomization Method.
Theory of Neuromata.
Relational Expressive Power of Constraint Query Languages.