An XQDD-Based Verification Method for Quantum Circuits. - Shiou-An Wang; Chin-Yung Lu; I-Ming Tsai; Sy-Yen Kuo (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

An Extended XQDD Representation for Multiple-Valued Quantum Logic. - Chin-Yung Lu; Shiou-An Wang; Sy-Yen Kuo (IEEE Trans. Computers, 2011)