公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2021 | SAT-Based On-Track Bus Routing | Zhang H.-T; Fujita M; Cheng C.-K; Jiang J.-H.R.; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 1 | 0 | |
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) | | | |
2015 | Scalable Sequence-Constrained Retention Register Minimization in Power Gating Design | Ting-Wei Chiang; Kai-Hui Chang; Yen-Ting Liu; Jie-Hong R. Jiang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC) | 6 | 0 | |
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 | |
2019 | Searching parallel separating hyperplanes for effective compression of threshold logic networks | Lee, S.-Y.; Lee, N.-Z.; Jiang, J.-H.R.; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 5 | 0 | |
2017 | Sequential Engineering Change Order under Retiming and Resynthesis | Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | International Conference on Computer-Aided Design (ICCAD) | 5 | 0 | |
2020 | SFO: A scalable approach to fanout-bounded logic synthesis for emerging technologies | Zhang H.-T; Jiang J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 1 | 0 | |
2021 | A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving | Chen P.-W; Huang Y.-C; JIE-HONG JIANG | 35th AAAI Conference on Artificial Intelligence, AAAI 2021 | 8 | | |
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 | |
2014 | Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification | Chi-Yuan Liu; Hui-Ju K. Chiang; Yao-Wen Chang; Jie-Hong R. Jiang; YAO-WEN CHANG ; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC) | 4 | 0 | |
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 | |
2018 | Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection | N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | International Joint Conference on Artificial Intelligence (IJCAI) | 7 | 0 | |
2017 | Solving Stochastic Boolean Satisfiability under Random-Exist Quantification | Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | International Joint Conference on Artificial Intelligence (IJCAI) | 11 | 0 | |
2013 | Species Minimization in Computation with Biochemical Reactions | Ruei-Yang Huang; De-An Huang; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG | International Workshop on Bio-Design Automation (IWBDA) | | | |
2015 | SPOCK: Static performance analysis and deadlock verification for efficient asynchronous circuit synthesis | Chun-Hong Shih; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer- Aided Design (ICCAD) | 8 | 0 | |
2018 | Static Detection of API Call Vulnerabilities in iOS Executables | C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG ; 江介宏 | International Conference on Software Engineering (ICSE) | 0 | 0 | |
2016 | String Analysis via Automata Manipulation with Logic Circuit Representation | Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV) | 26 | 0 | |
2020 | Symbolic gas vulnerability detection and attack synthesis | Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG | Proceedings of the 24th Pacific Asia Conference on Information Systems: Information Systems (IS) for the Future, PACIS 2020 | | | |