10 papers:
ICALP-v1-2011-Drucker- A PCP Characterization of AM (AD), pp. 581–592.
ICALP-C-2008-KalaiR #interactive- Interactive PCP (YTK, RR), pp. 536–547.
STOC-2007-GuruswamiR #integer- A 3-query PCP over integers (VG, PR), pp. 198–206.
STOC-2006-Dinur #theorem- The PCP theorem by gap amplification (ID), pp. 241–250.
STOC-2004-HolmerinK #equation #linear #verification- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
ICALP-2004-Meer #proving #theorem- Transparent Long Proofs: A First PCP Theorem for NPR (KM), pp. 959–970.
STOC-2003-DinurGKR #multi- A new multilayered PCP and the hardness of hypergraph vertex cover (ID, VG, SK, OR), pp. 595–601.
STOC-2000-SamorodnitskyT #complexity #query- A PCP characterization of NP with optimal amortized query complexity (AS, LT), pp. 191–199.
STOC-1999-DinurFKRS #towards- PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
STOC-1997-RazS- A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP (RR, SS), pp. 475–484.