公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2005 | Applied Logic & Computation for System Design- An introductory invitation | Jiang, Jie-Hong R.; 江介宏 | | | | |
2013 | Automatic test pattern generation for delay defects using timed characteristic functions. | Ho, Shin-Yann; Lin, Shuo-Ren; Yuan, Ko-Lung; Kuo, Chien-Yen; Liao, Kuan-Yu; Jiang, Jie-Hong R.; CHIEN-MO LI ; JIE-HONG JIANG | The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 | 2 | 0 | |
1997 | BDD based lambda set selection in Roth-Karp decomposition for LUT architecture. | Jiang, Jie-Hong R.; Jou, Jing-Yang; Huang, Juinn-Dar; Wei, Jung-Shian; JIE-HONG JIANG | Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997 | | | |
2013 | Encoding multi-valued functions for symmetry. | Yuan, Ko-Lung; Kuo, Chien-Yen; Jiang, Jie-Hong R.; Li, Meng-Yen; JIE-HONG JIANG | The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 | | | |
2010 | Hardware Equivalence and Property Verification | Jiang, Jie-Hong R.; Villa, Tiziano | in: Boolean Methods and Models in Mathematics, Computer Science and Engineering | | | |
2009 | Logic Synthesis in a Nutshell | Jiang, Jie-Hong R.; Devadas, Srinivas | in: Electronic Deisng Automation: Synthesis | | | |
2007 | Quantum Mechanical Search and Harmonic Perturbation | Jiang, Jie-Hong R.; Chiou, Dah-Wei; Wu, Cheng-En | Quantum Information Processing | | | |