| 2019 | ASPDAC | Path controllability analysis for high quality designs. | Li-Jie Chen, Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo, Chi-Lai Huang |
| 2012 | DATE | RTL analysis and modifications for improving at-speed test. | Kai-Hui Chang, Hong-Zu Chou, Igor L. Markov |
| 2011 | ASPDAC | Facilitating unreachable code diagnosis and debugging. | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
| 2010 | ASPDAC | Optimizing blocks in an SoC using symbolic code-statement reachability analysis. | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
| 2010 | DATE | Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study. | Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dobbyn, Sy-Yen Kuo |
| 2009 | DAC | Handling don't-care conditions in high-level synthesis and application for reducing initialized registers. | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
| 2007 | PRDC | A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks. | Hong-Zu Chou, Szu-Chi Wang, Sy-Yen Kuo |
| 2004 | ICCD | An Efficient Algorithm for Reconfiguring Shared Spare RRAM. | Hung-Yau Lin, Hong-Zu Chou, Fu-Min Yeh, Ing-Yi Chen, Sy-Yen Kuo |