公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2020 | Learning to Automate the Design Updates from Observed Engineering Changes in the Chip Development Cycle | Kravets, V.N.; Jiang, J.-H.R.; Riener, H.; JIE-HONG JIANG | Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 | 3 | 0 | |
2009 | Logic Synthesis in a Nutshell | Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG | | | | |
2009 | Logic Synthesis in a Nutshell | Jiang, J.H.; Devadas, S.; JIE-HONG JIANG | Electronic Design Automation | 13 | 0 | |
2021 | Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization | JIE-HONG JIANG | Proceedings -Design, Automation and Test in Europe, DATE | | | |
2021 | Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation | Chi C; Jiang J.R.; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 3 | 1 | |
2018 | Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation | C.-C. Chi; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | 37th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 | 17 | 0 | |
2017 | Logic Synthesis of Recombinase Based Genetic Circuits | Tai-Yin Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Scientific Reports | 8 | 7 | |
2020 | Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning | Lin Y.-C; Jiang J.-H.R.; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 1 | 0 | |
2004 | On Breakable Cyclic Definitions | Jie-Hong R. Jiang; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'04) | 7 | 0 | |
2005 | On Some Transformation Invariants under Retiming and Resynthesis | JIE-HONG JIANG | Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05) | | | |
2013 | On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models | Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong R. Jiang; Sylvain Soliman; JIE-HONG JIANG | International Conference on Computational Methods in Systems Biology (CMSB) | 1 | 0 | |
2003 | On the Verification of Sequential Equivalence | JIE-HONG JIANG ; Robert K. Brayton | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 23 | 22 | |
2002 | Optimization of multi-valued multi-level networks | Gao, M.; Jiang, J.-H.; Jiang, Y.; Li, Y.; Mishchenko, A.; Sinha, S.; Villa, T.; Brayton, R.; JIE-HONG JIANG | Proceedings of The International Symposium on Multiple-Valued Logic | 32 | 0 | |
1999 | Optimum loading dispersion for high-speed tree-type decision circuitry. | Jiang, Jie-Hong Roland; JIE-HONG JIANG ; HUI-RU JIANG | Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999 | 0 | 0 | |
2022 | Partial Equivalence Checking of Quantum Circuits | Chen, Tian Fu; JIE-HONG JIANG ; Hsieh, Min Hsiu | Proceedings - 2022 IEEE International Conference on Quantum Computing and Engineering, QCE 2022 | 3 | 0 | |
2017 | Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation | Chun-Ning Lai; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Design Automation Conference (DAC) | 2 | 0 | |
2015 | Property-directed synthesis of reactive systems from safety specifications | Ting-Wei Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer- Aided Design (ICCAD) | 3 | 0 | |
2019 | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving | Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG | AAAI Conference on Artificial Intelligence (AAAI) | | | |
2019 | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving | Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG ; 江介宏 | AAAI Conference on Artificial Intelligence (AAAI) | | | |
2019 | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. | Scholl, Christoph; Jiang, Jie-Hong Roland; Wimmer, Ralf; Ge-Ernst, Aile; JIE-HONG JIANG | The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. | 0 | 0 | |