教員情報 - 河野　泰人 | 中部大学

カワノ　ヤスヒト KAWANO Yasuhito
河野　泰人

所属理工学部数理・物理サイエンス学科

ＡＩ数理データサイエンスセンター

理工系教育圏共通理工系基礎教育室

職名教授

著書・論文歴
論文	A reduction from an LWE problem to maximum independent set problems Scientific Reports 13 (1) (単著) 2023/05/02
論文	Quantum Fourier transform over symmetric groups - improved result. Journal of Symbolic Computation 75,219-243頁 (共著) 2016
論文	Semi-automated verification of security proofs of quantum cryptographic protocols. Journal of Symbolic Computation 73,192-220頁 (共著) 2016
論文	Quantum Fourier Transform over Symmetric Groups: Improved Result. ACM Communications in Computer Algebra 48 (3/4),127-129頁 (共著) 2014
論文	Automated Verification of Equivalence on Quantum Cryptographic Protocols. 5th International Symposium on Symbolic Computation in Software Science(SCSS),64-69頁 (共著) 2013
論文	Quantum fourier transform over symmetric groups. International Symposium on Symbolic and Algebraic Computation(ISSAC),227-234頁 (共著) 2013
論文	Theory of Quantum Computation, Communication, and Cryptography, 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers TQC 7582 (共著) 2013
論文	A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. Unconventional Computation - 10th International Conference(UC),125-137頁 (共著) 2011
論文	Synthesis of quantum circuits for d-level systems by using cosine-sine decomposition. Quantum Information & Computation 9 (5&6),423-443頁 (共著) 2009
論文	Efficient quantum circuits for approximating the Jones polynomial. Quantum Information & Computation 8 (5),489-500頁 (共著) 2008
論文	Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, TQC 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers TQC 5106 (共著) 2008
論文	Key rate of quantum key distribution with hashed two-way classical communication. IEEE International Symposium on Information Theory(ISIT),2601-2605頁 (共著) 2007
論文	A new algorithm for producing quantum circuits using KAK decompositions. Quantum Information & Computation 6 (1),67-80頁 (共著) 2006
論文	Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction. Quantum Information Processing 4 (2),65-85頁 (共著) 2005
論文	On the computational power of constant-depth quantum circuits with gates for addition. Proceedings of the IEEE Congress on Evolutionary Computation,154-161頁 (共著) 2003