B.  Fefferman, Kobayashi, H., Lin, C. Yen- Yu, Morimae, T., and Nishimura, H., ?Space-Efficient Error Reduction for Unitary Quantum Computations?, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), vol. 55, p. 14:1--14:14, 2016.

S. P.  Jordan, Kobayashi, H., Nagaj, D., and Nishimura, H., ?Achieving perfect completeness in classical-witness quantum  Merlin-Arthur proof systems?, Quantum Information and Computation, vol. 12, no. 5-6, pp. 461-471, 2012.