1. Testing Reed–;Alon,2003
2. Probabilistic checking of proofs and the hardness of approximation problems, Ph.D. thesis, University of California at Berkeley, Berkeley, CA, 1994.
3. Proof verification and the hardness of approximation problems
4. Probabilistic checking of proofs
5. , Improved low-degree testing and its applications, Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing, El Paso, Texas, 4–6 May 1997, pp. 485–495.