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)

Scalable exploration of functional dependency by interpolation and incremental SAT solving. - Chih-Chun Lee; Jie-Hong Roland Jiang; Chung-Yang Huang; Alan Mishchenko (ICCAD, 2007)

To SAT or Not to SAT: Scalable Exploration of Functional Dependency. - Jie-Hong Roland Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang Huang (IEEE Trans. Computers, 2010)

Energy-Aware Task Consolidation Technique for Cloud Computing. - Ching-Hsien Hsu; Shih-Chang Chen; Chih-Chun Lee; Hsi-Ya Chang; Kuan-Chou Lai; Kuan-Ching Li; Chunming Rong (CloudCom, 2011)

Design and implementation of an on-chip polymer micro ball bearing. - Chih-Chun Lee; Yu-Che Huang; Wen-Hsiung Hsiao; Weileun Fang (NEMS, 2013)