Y. Kawano

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantum fourier transform over symmetric groups Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation	2017-02-10	Paper
Quantum Fourier transform over symmetric groups -- improved result Journal of Symbolic Computation	2016-02-11	Paper
Semi-automated verification of security proofs of quantum cryptographic protocols Journal of Symbolic Computation	2015-08-24	Paper
Nilpotency of a finitely iterated polynomial map International Journal of Algebra	2012-09-12	Paper
A formal approach to unconditional security proofs for quantum key distribution Lecture Notes in Computer Science	2011-06-17	Paper
Synthesis of quantum circuits for \(d\)-level systems by using cosine-sine decomposition	2009-06-23	Paper
Efficient quantum circuits for approximating the Jones polynomial	2008-09-12	Paper
scientific article; zbMATH DE number 988831 (Why is no real title available?)	1997-03-09	Paper
scientific article; zbMATH DE number 862676 (Why is no real title available?)	1996-09-16	Paper
On the structure of complete MV-algebras Journal of Algebra	1994-11-21	Paper

Research outcomes over time

This page was built for person: Y. Kawano