Chun-Nan Chou

Cucumber mosaic virus-induced gene silencing in banana

H. Yeh, Ho-Ming Chen, Yuh Tzean, 2019, Scientific Reports.

Biological and Molecular Characterization of Taiwanese Isolates of Cucumber mosaic virus Associated with Banana Mosaic Disease

Cheng-En Chen, H. Yeh, H. Su, 2009 .

Symbolic model checking on SystemC designs

Chun-Nan Chou, Chiao Hsieh, Chung-Yang Huang, 2012, DAC Design Automation Conference 2012.

Conquering the scheduling alternative explosion problem of SystemC symbolic simulation

Chun-Nan Chou, Chung-Yang Huang, Chen-Kai Chu, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Formal deadlock checking on high-level SystemC designs

Chun-Nan Chou, Chang-Hong Hsu, Chung-Yang Huang, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).