公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2016 | Flexibility and Optimization of QBF Skolem-Herbrand Certificates | Valeriy Balabanov; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 0 | 0 | |
2004 | Functional dependency for verification reduction | Jiang, J.-H.R.; Brayton, R.K.; JIE-HONG JIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 18 | | |
2004 | Functional Dependency for Verification Reduction | Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'04) | 18 | | |
2004 | Functional Dependency for Verification Reduction. | Jiang, Jie-Hong Roland; Brayton, Robert K.; JIE-HONG JIANG | Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | 18 | 0 | |
2013 | Functional Timing Analysis Made Fast and General | Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 9 | 7 | |
2012 | Functional Timing Analysis Made Fast and General | Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'12) | 4 | 7 | |
2017 | A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning | Hsiao-Lei Chien; Mei-Yen Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transaction on CAD of Integrated Circuits and Systems | 0 | 0 | |
2010 | Hardware Equivalence and Property Verification | Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG | | | | |
2010 | Hardware Equivalence and Property Verification. | Jiang, Jie-Hong Roland; Villa, Tiziano; Crama, Yves; Hammer, Peter L.; JIE-HONG JIANG | Boolean Models and Methods in Mathematics, Computer Science, and Engineering | | | |
2012 | Henkin Quantifiers and Boolean Formulae | Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conference on the Theory and Applications of Satisfiability Test (SAT'12) | 3 | 0 | |
2014 | Henkin quantifiers and Boolean formulae: A certification perspective of DQBF | Valeriy Balabanov; Hui-Ju K. Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG | Theoretical Computer Science (TCS) | 32 | 27 | |
2021 | Homing Sequence Derivation with Quantified Boolean Satisfiability | Tu K; Wang H; Jiang J.R; Kushik N; Yevtushenko N.; JIE-HONG JIANG | IEEE Transactions on Computers | 1 | 0 | |
2017 | Homing Sequence Derivation with Quantified Boolean Satisfiability | Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG ; 江介宏 | IFIP International Conference on Testing of Software and Systems (ICTSS) | 7 | 0 | |
2015 | Hybrid Simulations of Heterogeneous Biochemical Models in SBML | Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong Rol; Jiang; Sylvain Soliman; JIE-HONG JIANG | ACM Transactions on Modeling and Computer Simulation | 3 | 1 | |
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 | |
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 | |