Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
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 JIANG | International Conference on Computer- Aided Design (ICCAD) | | | |
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. | | | |
2014 | QBF Resolution Systems and their Proof Complexities | Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Theory and Applications of Satisfiability Testing (SAT) | 72 | 0 | |
2015 | QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving | Kuan-Hua Tu; Tzu-Chen Hsu; JIE-HONG JIANG | International Conference on Theory and Applications of Satisfiability Testing (SAT) | | | |
2022 | Quantifier Elimination in Stochastic Boolean Satisfiability | Wang, Hao Ren; Tu, Kuan Hua; JIE-HONG JIANG ; Scholl, Christoph | Leibniz International Proceedings in Informatics, LIPIcs | 1 | 0 | |
2009 | Quantifier Elimination via Functional Composition | JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'09) | | | |
2023 | Quantized Neural Network Synthesis for Direct Logic Circuit Implementation | Huang, Yu Shan; JIE-HONG JIANG ; Mishchenko, Alan | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 0 | 0 | |
2007 | Quantum Mechanical Search and Harmonic Perturbation | Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG | | 1 | 1 | |
2007 | Quantum Mechanical Search and Harmonic Perturbation | Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG | Quantum Information Processing | 1 | 1 | |
2018 | Recombinase-based genetic circuit optimization | Lai, C.-N.; Jiang, J.-H.R.; Fages, F.; JIE-HONG JIANG | 2017 IEEE Biomedical Circuits and Systems Conference, BioCAS 2017 - Proceedings | | | |
2017 | RecombinaseBased Genetic Circuit Optimization | Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG | IEEE Biomedical Circuits and Systems Conference (BioCAS) | | | |
2017 | RecombinaseBased Genetic Circuit Optimization | Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG ; 江介宏 | IEEE Biomedical Circuits and Systems Conference (BioCAS) | | | |
2022 | Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification | Wang, Chang Jun; JIE-HONG JIANG | BioCAS 2022 - IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Systems for a Better Future, Proceedings | 0 | 0 | |
2015 | Reconfigurable neuromorphic computation in biochemical systems | Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG | Int'l Conf. of the IEEE Engineering in Medicine and Biology Society (EMBC) | | | |
2003 | Reducing multi-valued algebraic operations to binary | Jiang, J.-H.R.; Mischenko, A.; Brayton, R.K.; JIE-HONG JIANG | Proceedings -Design, Automation and Test in Europe, DATE | | | |
2003 | Reducing Multi-Valued Algebraic Operations to Binary. | Jiang, Jie-Hong Roland; Mishchenko, Alan; Brayton, Robert K.; JIE-HONG JIANG | 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany | | | |