Tsuyoshi Ito

1. A multi-prover interactive proof for NEXP sound against entangled provers
   2012/07/02 by Tsuyoshi Ito, Ito, Tsuyoshi, Thomas Vidick +1 · 10 citations
   Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Physical sciences #Logic, programming, and type systems #Quantum Physics (quant-ph)
2. Deriving Tight Bell Inequalities for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes
   2004/04/02 by David Avis, Avis, David, Hiroshi Imai +5 · 1 citation
   Computer Science · Physics and Astronomy · Psychology · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Philosophy and Theoretical Science #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #quant-ph