公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | | | |