A scheme to enhance the error-correcting capability of encoded quantum information. - Han-Wei Wang; I-Ming Tsai; Chih-Neng Chung; Sy-Yen Kuo (ECCTD, 2005)

Formal reset recovery slack calculation at the register transfer level. - Chih-Neng Chung; Chia-Wei Chang; Kai-Hui Chang; Sy-Yen Kuo (DATE, 2011)

Applying verification intention for design customization via property mining under constrained testbenches. - Chih-Neng Chung; Chia-Wei Chang; Kai-Hui Chang; Sy-Yen Kuo (ICCD, 2011)