An implementation of software tools for replay and partial replay of Concurrent-C programs. - Jason Lee; Kuo-Hua Wang; Ching-Roung Chou (COMPSAC, 1990)

State Assignment for Power and Area Minimization. - Kuo-Hua Wang; Wen-Sing Wang; TingTing Hwang; Allen C.-H. Wu; Youn-Long Lin (ICCD, 1994)

Logic synthesis for field-programmable gate arrays. - TingTing Hwang; Robert Michael Owens; Mary Jane Irwin; Kuo-Hua Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Technology Mapping for FPGA Using Generalized Functional Decomposition. - Kuo-Hua Wang; Cheng Chen; Ting Ting Hwang (VLSI Design, 1994)

Exploiting communication complexity for Boolean matching. - Kuo-Hua Wang; TingTing Hwang; Cheng Chen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Boolean matching for incompletely specified functions. - Kuo-Hua Wang; TingTing Hwang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

3D arm movement recognition using syntactic pattern recognition. - Mu-Chun Su; Yi-Yuan Chen; Kuo-Hua Wang; Chee-Yuen Tew; Hai Huang (Artif. Intell. Eng., 2000)

Binary decision diagram with minimum expected path length. - Yi-Yu Liu; Kuo-Hua Wang; TingTing Hwang; C. L. Liu 001 (DATE, 2001)

Symmetry detection for incompletely specified functions. - Kuo-Hua Wang; Jia-Hung Chen (DAC, 2004)

Crosstalk Minimization in Logic Synthesis for PLA. - Yi-Yu Liu; Kuo-Hua Wang; TingTing Hwang (DATE, 2004)

Web-based Assessment and Test Analyses (WATA) system: development and evaluation. - Tzu-Hua Wang; Kuo-Hua Wang; Wei-Lung Wang; Shih-Chieh Huang; Sherry Y. Chen (J. Comput. Assist. Learn., 2004)

K-disjointness paradigm with application to symmetry detection for incompletely specified functions. - Kuo-Hua Wang; Jia-Hung Chen (ASP-DAC, 2005)

Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection. - Kuo-Hua Wang (DAC, 2006)

Crosstalk minimization in logic synthesis for PLAs. - Yi-Yu Liu; Kuo-Hua Wang; TingTing Hwang (ACM Trans. Design Autom. Electr. Syst., 2006)

Efficient built-in redundancy analysis for embedded memories with 2-D redundancy. - Shyue-Kung Lu; Yu-Chen Tsai; Chih-Hsien Hsu; Kuo-Hua Wang; Cheng-Wen Wu (IEEE Trans. Very Large Scale Integr. Syst., 2006)

Incremental learning approach and SAT model for Boolean matching with don't cares. - Kuo-Hua Wang; Chung-Ming Chan (ICCAD, 2007)

Hiding Data in VQ-Compressed Images Using Pairwise Nearest Codewords Based on Minimum Spanning Tree. - Chin-Feng Lee; Chin-Chen Chang 001; Kuo-Hua Wang (IIH-MSP, 2008)

Designing a Web-based assessment environment for improving pre-service teacher assessment literacy. - Tzu-Hua Wang; Kuo-Hua Wang; Shih-Chieh Huang (Comput. Educ., 2008)

An improvement of EMD embedding method for large payloads by pixel segmentation strategy. - Chin-Feng Lee; Chin-Chen Chang 001; Kuo-Hua Wang (Image Vis. Comput., 2008)

Simulation and SAT-based Boolean matching for large Boolean networks. - Kuo-Hua Wang; Chung-Ming Chan; Jung-Chang Liu (DAC, 2009)

A reversible data hiding scheme based on dual steganographic images. - Chin-Feng Lee; Kuo-Hua Wang; Chin-Chen Chang 001; Yu-Lin Huang (ICUIMC, 2009)

BooM: a decision procedure for boolean matching with abstraction and dynamic learning. - Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang (DAC, 2010)

Boolean matching of function vectors with strengthened learning. - Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang (ICCAD, 2010)

A Web-based model for developing assessment literacy of secondary in-service teachers. - Ya-Ching Fan; Tzu-Hua Wang; Kuo-Hua Wang (Comput. Educ., 2011)

A Comparison of Learning Effectiveness Among Serious Games with Varying Degrees of Playability. - Ching-Sheng Yang; Shu-Hua Lin; Kuo-Hua Wang (ICCE, 2012)

Studying the effectiveness of an online argumentation model for improving undergraduate students' argumentation ability. - Ya-Ching Fan; Tzu-Hua Wang; Kuo-Hua Wang (J. Comput. Assist. Learn., 2020)