Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase multi-prover interactive proof systems (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2009 (9)
Publication types (Num. hits)
article(3) inproceedings(6)
Venues (Conferences, Journals, ...)
IEEE Conference on Computation...(3) Computational Complexity(1) CoRR(1) CSL(1) ISAAC(1) J. Comput. Syst. Sci.(1) Structure in Complexity Theory...(1)
Authors
Hirotada Kobayashi(6) Keiji Matsumoto(5) Julia Kempe(2) Thomas Vidick(2) Andrew C. Doherty(1) Andrew Chi-Chih Yao(1) Anne Condon(1) Ben Toner(1) Daniel Preda(1) Jin-yi Cai(1) Klaus W. Wagner(1) Richard J. Lipton(1) Stephanie Wehner(1) Tsuyoshi Ito(1) Ulrich Hertrampf(1) Xiaoming Sun(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 4 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun, Andrew Chi-Chih Yao Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement
2Hirotada Kobayashi, Keiji Matsumoto Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement. Search on Bibsonomy ISAAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick Using Entanglement in Quantum Multi-Prover Interactive Proofs. Search on Bibsonomy Computational Complexity The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Subject classification. 03D15, 81P68, 68Q15, 68Q10
1Andrew C. Doherty, Yeong-Cherng Liang, Ben Toner, Stephanie Wehner The Quantum Moment Problem and Bounds on Entangled Multi-prover Games. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quantum entanglement, nonlocal games, multi-prover interactive proof systems
1Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick Using Entanglement in Quantum Multi-prover Interactive Proofs. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quantum interactive proofs, public-coin, parallelization, entanglement
1Hirotada Kobayashi, Keiji Matsumoto Quantum multi-prover interactive proof systems with limited prior entanglement. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hirotada Kobayashi, Keiji Matsumoto Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Jin-yi Cai, Anne Condon, Richard J. Lipton On Bounded Round Multi-Prover Interactive Proof Systems. Search on Bibsonomy Structure in Complexity Theory Conference The full citation details ... 1990 DBLP  BibTeX  RDF
1Ulrich Hertrampf, Klaus W. Wagner Interactive Proof Systems: Provers, Rounds, and Error Bounds. Search on Bibsonomy CSL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.