| 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) |