Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
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 | | | |