第 1 到 28 筆結果,共 28 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2022 | Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective | De Micheli, Giovanni; JIE-HONG JIANG ; Rand, Robert; Smith, Kaitlin; Soeken, Mathias | IEEE Journal on Emerging and Selected Topics in Circuits and Systems | 4 | 2 | |
2 | 2012 | Automatic Decoder Synthesis: Methods and Case Studies | Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 2 | 2 | |
3 | 2021 | Constraint Solving for Synthesis and Verification of Threshold Logic Circuits | Lee N.-Z; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | |||
4 | 2015 | Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions | Nina Yevtushenko; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang; JIE-HONG JIANG | The Computer Journal | 0 | ||
5 | 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 | |
6 | 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) | |||
7 | 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 | |
8 | 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 | |
9 | 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 | |
10 | 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 | |||
11 | 2015 | Hybrid Simulations of Heterogeneous Biochemical Models in SBML | Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong Roland Jiang; Sylvain Soliman; JIE-HONG JIANG | ACM Transactions on Modeling and Computer Simulation | 1 | ||
12 | 2021 | Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation | Chi C; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | |||
13 | 2017 | Logic Synthesis of Recombinase Based Genetic Circuits | Tai-Yin Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Scientific Reports | 8 | 7 | |
14 | 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 | |||
15 | 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 | |
16 | 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 | |
17 | 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 | |
18 | 2021 | SAT-Based On-Track Bus Routing | Zhang H.-T; Fujita M; Cheng C.-K; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | |||
19 | 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 | |
20 | 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 | |
21 | 2016 | Simultaneous EUV flare variation minimization and CMP control by coupling-aware dummification | Chiang, H.-J.K.; Liu, C.-Y.; Jiang, J.-H.R.; Chang, Y.-W.; YAO-WEN CHANG ; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 5 | 4 | |
22 | 2013 | Software Workarounds for Hardware Errors: Instruction Patch Synthesis | Tsung-Po Liu; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) | 1 | 1 | |
23 | 2015 | Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications | Tai-Yin Chiu; Hui-Ju K. Chiang; Ruei-Yang Huang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG | PLOS ONE | 9 | ||
24 | 2010 | To SAT or Not to SAT: Scalable Exploration of Functional Dependency | Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG | IEEE Transactions on Computers (TCOMP) | |||
25 | 2018 | Towards Formal Evaluation and Verification of Probabilistic Design | Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computers | 9 | 7 | |
26 | 2012 | TRECO: Dynamic technology remapping for timing engineering change orders | Ho, K.-H.; Jiang, J.-H.R.; Chang, Y.-W.; YAO-WEN CHANG ; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 8 | 8 | |
27 | 2001 | Unified functional decomposition via encoding for FPGA technology mapping | Jiang, J.-H.; Jou, J.-Y.; Huang, J.-D.; JIE-HONG JIANG | IEEE Transactions on Very Large Scale Integration (VLSI) Systems | |||
28 | 2012 | Unified QBF Certification and its Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Formal Methods in System Design (FMSD) | 119 | 82 |