| 2012 | ICCE | A Comparison of Learning Effectiveness Among Serious Games with Varying Degrees of Playability. | Ching-Sheng Yang, Shu-Hua Lin, Kuo-Hua Wang |
| 2010 | DAC | BooM: a decision procedure for boolean matching with abstraction and dynamic learning. | Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang |
| 2010 | ICCAD | Boolean matching of function vectors with strengthened learning. | Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang |
| 2009 | DAC | Simulation and SAT-based Boolean matching for large Boolean networks. | Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu |
| 2007 | ICCAD | Incremental learning approach and SAT model for Boolean matching with don't cares. | Kuo-Hua Wang, Chung-Ming Chan |
| 2006 | DAC | Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection. | Kuo-Hua Wang |
| 2005 | ASPDAC | K-disjointness paradigm with application to symmetry detection for incompletely specified functions. | Kuo-Hua Wang, Jia-Hung Chen |
| 2004 | DAC | Symmetry detection for incompletely specified functions. | Kuo-Hua Wang, Jia-Hung Chen |
| 2004 | DATE | Crosstalk Minimization in Logic Synthesis for PLA. | Yi-Yu Liu, Kuo-Hua Wang, TingTing Hwang |
| 2001 | DATE | Binary decision diagram with minimum expected path length. | Yi-Yu Liu, Kuo-Hua Wang, TingTing Hwang, C. L. Liu |
| 1995 | DAC | Boolean Matching for Incompletely Specified Functions. | Kuo-Hua Wang, TingTing Hwang |
| 1994 | ICCD | State Assignment for Power and Area Minimization. | Kuo-Hua Wang, Wen-Sing Wang, TingTing Hwang, Allen C.-H. Wu, Youn-Long Lin |
| 1990 | COMPSAC | An implementation of software tools for replay and partial replay of Concurrent-C programs. | Jason Lee, Kuo-Hua Wang, Ching-Roung Chou |