 | 2009 |
| 13 |  | Hirotada Kobayashi,
Keiji Matsumoto,
Seiichiro Tani:
Brief announcement: exactly electing a unique leader is not harder than computing symmetric functions on anonymous quantum networks.
PODC 2009: 334-335 |
| 12 |  | Julia Kempe,
Hirotada Kobayashi,
Keiji Matsumoto,
Thomas Vidick:
Using Entanglement in Quantum Multi-Prover Interactive Proofs.
Computational Complexity 18(2): 273-307 (2009) |
| 2008 |
| 11 |  | Julia Kempe,
Hirotada Kobayashi,
Keiji Matsumoto,
Ben Toner,
Thomas Vidick:
Entangled Games are Hard to Approximate.
FOCS 2008: 447-456 |
| 10 |  | 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 |  | Tsuyoshi Ito,
Hirotada Kobayashi,
Keiji Matsumoto:
Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies
CoRR abs/0810.0693: (2008) |
| 2005 |
| 8 |  | Seiichiro Tani,
Hirotada Kobayashi,
Keiji Matsumoto:
Exact Quantum Algorithms for the Leader Election Problem.
STACS 2005: 581-592 |
| 2003 |
| 7 |  | Hirotada Kobayashi,
Keiji Matsumoto,
Tomoyuki Yamakami:
Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?
ISAAC 2003: 189-198 |
| 6 |  | 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 |  | Hirotada Kobayashi,
Keiji Matsumoto:
Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement.
ISAAC 2002: 115-127 |
| 3 |  | Jumpei Niwa,
Keiji Matsumoto,
Hiroshi Imai:
General-Purpose Parallel Simulator for Quantum Computing.
UMC 2002: 230-251 |
| 2001 |
| 2 |  | Hirotada Kobayashi,
Keiji Matsumoto:
Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
CoRR cs.CC/0102013: (2001) |
| 1 |  | Hirotada Kobayashi,
Keiji Matsumoto,
Tomoyuki Yamakami:
Quantum Certificate Verification: Single versus Multiple Quantum Certificates
CoRR quant-ph/0110006: (2001) |