公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2012 | Improving Design Verifiability by Early RTL Coverability Analysis | Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG | ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'12) | 0 | 0 | |
2007 | Inductive Equivalence Checking under Retiming and Resynthesis | Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07) | 11 | 0 | |
2009 | Interpolating Functions from Large Boolean Relations | Jie-Hong R. Jiang; Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG | Int'l Conf. on Computer-Aided Design (ICCAD'09) | 38 | 0 | |
2009 | Logic Synthesis in a Nutshell | Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG | ||||
2017 | Logic Synthesis of Recombinase Based Genetic Circuits | Tai-Yin Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Scientific Reports | 8 | 7 | |
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 | |
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 | |
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 | |
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) | |||
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 | |
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 | |
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) | |||
2011 | Resolution Proofs and Skolem Functions in QBF Evaluation and Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'11) | 25 | 0 | |
2006 | Retiming and Resynthesis: A Complexity Perspective | Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 24 | 13 | |
2009 | Scalable Don't Care Based Logic Optimization and Resynthesis | Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG | ACM International Symposium on Field-Programmable Gate Arrays (FPGA'09) | 23 | 0 | |
2011 | Scalable Don't-Care-Based Logic Optimization and Resynthesis | Alan Mishchenko; Robert Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG | ACM Transactions on Reconfigurable Technology and Systems (TRETS) | 50 | 47 | |
2007 | Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving | Chih-Chun Lee; Jie-Hong R. Jiang; Chung-Yang Huang; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07) | |||
2016 | Scalable Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits | Yi-Hsiang Lai; Chi-Chuan Chuang; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 4 | 3 |