QuteSAT: a robust circuit-based SAT solver for complex circuit structure. - Chi-An Wu; Ting-Hao Lin; Chih-Chun Lee; Chung-Yang Huang (DATE, 2007)

QuteIP: An IP qualification framework for System on Chip. - Hsing-Chih Hung; Ting-Hao Lin; Chung-Yang Huang (SoCC, 2007)

SAT-controlled redundancy addition and removal: a novel circuit restructuring technique. - Chi-An Wu; Ting-Hao Lin; Shao-Lun Huang; Chung-Yang Huang (ASP-DAC, 2009)

Using SAT-based Craig interpolation to enlarge clock gating functions. - Ting-Hao Lin; Chung-Yang (Ric) Huang (DAC, 2011)

An Efficient Structure-Aware Bilateral Texture Filtering for Image Smoothing. - Ting-Hao Lin; Der-Lor Way; Zen-Chung Shih; Wen-Kai Tai; Chin-Chen Chang 002 (Comput. Graph. Forum, 2016)

A cuffless wearable system for real-time cutaneous pressure monitoring with cloud computing assistance. - Kun-Ying Yeh; Ting-Hao Lin; Yi-Yen Hsieh; Chia-Ming Chang; Yao-Joe Yang; Shey-Shi Lu (VLSI-DAT, 2018)