Quantum Multi Prover Interactive Proofs with Communicating Provers. - Michael Ben-Or; Avinatan Hassidim; Haran Pilpel (FOCS, 2008)

Linear transformations of monotone functions on the discrete cube. - Nathan Keller; Haran Pilpel (Discret. Math., 2009)

Quantum Multiprover Interactive Proofs with Communicating Provers. - Michael Ben-Or; Avinatan Hassidim; Haran Pilpel (SIAM J. Comput., 2014)