| 2008 |
|---|
| 11 | EE | Julia Kempe,
Hirotada Kobayashi,
Keiji Matsumoto,
Ben Toner,
Thomas Vidick:
Entangled Games are Hard to Approximate.
FOCS 2008: 447-456 |
| 10 | EE | Julia Kempe,
Hirotada Kobayashi,
Keiji Matsumoto,
Thomas Vidick:
Using Entanglement in Quantum Multi-prover Interactive Proofs.
IEEE Conference on Computational Complexity 2008: 211-222 |
| 9 | EE | Tsuyoshi Ito,
Hirotada Kobayashi,
Keiji Matsumoto:
Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies
CoRR abs/0810.0693: (2008) |
| 2005 |
|---|
| 8 | EE | Seiichiro Tani,
Hirotada Kobayashi,
Keiji Matsumoto:
Exact Quantum Algorithms for the Leader Election Problem.
STACS 2005: 581-592 |
| 2003 |
|---|
| 7 | EE | Hirotada Kobayashi,
Keiji Matsumoto,
Tomoyuki Yamakami:
Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?
ISAAC 2003: 189-198 |
| 6 | EE | Hirotada Kobayashi,
Keiji Matsumoto:
Quantum multi-prover interactive proof systems with limited prior entanglement.
J. Comput. Syst. Sci. 66(3): 429-450 (2003) |
| 2002 |
|---|
| 5 | | Jozef Gruska,
Hiroshi Imai,
Keiji Matsumoto:
Power of Quantum Entanglement.
IFIP TCS 2002: 3-22 |
| 4 | EE | Hirotada Kobayashi,
Keiji Matsumoto:
Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement.
ISAAC 2002: 115-127 |
| 3 | EE | Jumpei Niwa,
Keiji Matsumoto,
Hiroshi Imai:
General-Purpose Parallel Simulator for Quantum Computing.
UMC 2002: 230-251 |
| 2001 |
|---|
| 2 | EE | Hirotada Kobayashi,
Keiji Matsumoto:
Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
CoRR cs.CC/0102013: (2001) |
| 1 | EE | Hirotada Kobayashi,
Keiji Matsumoto,
Tomoyuki Yamakami:
Quantum Certificate Verification: Single versus Multiple Quantum Certificates
CoRR quant-ph/0110006: (2001) |
