On the computational power of constant-depth quantum circuits with gates for addition. - Yasuhiro Takahashi; Yasuhito Kawano; Masahiro Kitagawa (IEEE Congress on Evolutionary Computation, 2003)

Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction. - Yasuhito Kawano; Kinji Kimura; Hiroshi Sekigawa; Masayuki Noro; Kiyoshi Shirayanagi; Masahiro Kitagawa; Masanao Ozawa (Quantum Inf. Process., 2005)

A new algorithm for producing quantum circuits using KAK decompositions. - Yumi Nakajima; Yasuhito Kawano; Hiroshi Sekigawa (Quantum Inf. Comput., 2006)

Key rate of quantum key distribution with hashed two-way classical communication. - Shun Watanabe; Ryutaroh Matsumoto; Tomohiko Uyematsu; Yasuhito Kawano (ISIT, 2007)

Efficient quantum circuits for approximating the Jones polynomial. - Yumi Nakajima; Yasuhito Kawano; Hiroshi Sekigawa (Quantum Inf. Comput., 2008)

Synthesis of quantum circuits for d-level systems by using cosine-sine decomposition. - Yumi Nakajima; Yasuhito Kawano; Hiroshi Sekigawa; Masaki Nakanishi; Shigeru Yamashita; Yasuhiko Nakashima (Quantum Inf. Comput., 2009)

A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano (UC, 2011)

Quantum fourier transform over symmetric groups. - Yasuhito Kawano; Hiroshi Sekigawa (ISSAC, 2013)

Automated Verification of Equivalence on Quantum Cryptographic Protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (SCSS, 2013)

Quantum Fourier transform over symmetric groups - improved result. - Yasuhito Kawano; Hiroshi Sekigawa (J. Symb. Comput., 2016)

Semi-automated verification of security proofs of quantum cryptographic protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (J. Symb. Comput., 2016)