1. and Efficient testing of large graphs, Proc Fortieth Annual Symposium on Foundations of Computer Science, 1999, pp. 656-666.
2. and Regular languages are testable with a constant number of queries, Proc Fortieth Annual Symposium on Foundations of Computer Science, 1999, pp. 645-655.
3. and A new rounding procedure for the assignment problem with applications to dense graph arrangement problems, Proc. Thirty-Seventh Annual Symposium on Foundations of Computer Science, 1996, pp. 21-30.
4. Proof verification and the hardness of approximation problems
5. Probabilistic checking of proofs