Login / Signup
Haran Pilpel
Publication Activity (10 Years)
Years Active: 2008-2014
Publications (10 Years): 0
Top Topics
Theorem Prover
Mathematical Knowledge
Interactive Video
Graphical Interface
Top Venues
SIAM J. Comput.
</>
Publications
</>
Michael Ben-Or
,
Avinatan Hassidim
,
Haran Pilpel
Quantum Multiprover Interactive Proofs with Communicating Provers.
SIAM J. Comput.
43 (3) (2014)
Nathan Keller
,
Haran Pilpel
Linear transformations of monotone functions on the discrete cube.
Discret. Math.
309 (12) (2009)
Michael Ben-Or
,
Avinatan Hassidim
,
Haran Pilpel
Quantum Multi Prover Interactive Proofs with Communicating Provers.
FOCS
(2008)