The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Jie-Hong R. Jiang Jie-Hong Roland Jiang ( http://dblp.L3S.de/Authors/Jie-Hong_R._Jiang )

URL (Homepage):  http://cc.ee.ntu.edu.tw/~jhjiang/  Author page on DBLP  Author page in RDF  Community of Jie-Hong R. Jiang in ASPL-2

Publication years (Num. hits)
1997-2007 (19) 2008-2011 (16) 2012-2013 (17) 2014-2015 (16) 2016-2017 (16) 2018-2019 (16)
Publication types (Num. hits)
article(21) incollection(1) inproceedings(78)
Venues (Conferences, Journals, ...)
ICCAD(21) DAC(16) IEEE Trans. on CAD of Integrat...(10) ASP-DAC(4) CAV(4) SAT(4) AAAI(2) ASYNC(2) BioCAS(2) CoRR(2) DATE(2) IEEE Trans. Computers(2) IJCAI(2) ISMVL(2) IWLS(2) AAAI Workshop: Beyond NP(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 16 keywords

Results
Found 101 publication records. Showing 100 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yi-Fan Evan Chang, Ruei-Yang Huang, Jie-Hong R. Jiang Effective FPGA Resource Utilization for Quasi Delay Insensitive Implementation of Asynchronous Circuits. Search on Bibsonomy ASYNC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shih-Yu Chen, Jie-Hong R. Jiang, Shou-Hung Welkin Ling, Shih-Hao Liang, Mao-Cheng Huang An approximation algorithm to the optimal switch control of reconfigurable battery packs. Search on Bibsonomy ASP-DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li-Cheng Chen, Jie-Hong R. Jiang A Cube Distribution Approach to QBF Solving and Certificate Minimization. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang Comprehensive Search for ECO Rectification Using Symbolic Sampling. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hao Chen, Shao-Chun Hung, Jie-Hong R. Jiang Disjoint-Support Decomposition and Extraction for Interconnect-Driven Threshold Logic Synthesis. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zi-Jun Lin, Wei-Chih Huang, Jie-Hong Roland Jiang Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Jie-Hong R. Jiang Towards Formal Evaluation and Verification of Probabilistic Design. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang Canonicalization of threshold logic representation and its applications. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chia-Chih Chi, Jie-Hong R. Jiang Logic synthesis of binarized neural networks for efficient circuit implementation. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang A symbolic model checking approach to the analysis of string and length constraints. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1He-Teng Zhang, Jie-Hong R. Jiang Cost-aware patch generation for multi-target function rectification of engineering change orders. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, Robert K. Brayton Efficient computation of ECO patch functions. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chun-Han Lin, Fang Yu, Jie-Hong Roland Jiang, Tevfik Bultan Static detection of API call vulnerabilities in iOS executables. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Run-Yi Wang, Chia-Cheng Pai, Jun-Jie Wang, Hsiang-Ting Wen, Yu-Cheng Pai, Yao-Wen Chang, James Chien-Mo Li, Jie-Hong Roland Jiang Efficient multi-layer obstacle-avoiding region-to-region rectilinear steiner tree construction. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hsiao-Lei Chien, Mei-Yen Chiu, Jie-Hong R. Jiang A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik Homing Sequence Derivation with Quantified Boolean Satisfiability. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chun-Hong Shih, Jie-Hong R. Jiang Criticality and Sensitivity Analysis for Incremental Performance Optimization of Asynchronous Pipelines. Search on Bibsonomy ASYNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang Sequential engineering change order under retiming and resynthesis. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chun-Ning Lai, Jie-Hong R. Jiang, François Fages Recombinase-based genetic circuit optimization. Search on Bibsonomy BioCAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cheng-Yu Shih, Chun-Hong Shih, Jie-Hong R. Jiang Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chun-Ning Lai, Jie-Hong R. Jiang Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hui-Ju Katherine Chiang, Chi-Yuan Liu, Jie-Hong R. Jiang, Yao-Wen Chang Simultaneous EUV Flare Variation Minimization and CMP Control by Coupling-Aware Dummification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang Flexibility and Optimization of QBF Skolem-Herbrand Certificates. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yi-Hsiang Lai, Chi-Chuan Chuang, Jie-Hong R. Jiang Scalable Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang String Analysis via Automata Manipulation with Logic Circuit Representation. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, Jie-Hong R. Jiang Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits. Search on Bibsonomy ICCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Grace Wu, Yi-Tin Sun, Jie-Hong R. Jiang Design partitioning for large-scale equivalence checking and functional correction. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl Clauses Versus Gates in CEGAR-Based 2QBF Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton 2QBF: Challenges and Solutions. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Search on Bibsonomy Comput. J. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages Reconfigurable neuromorphic computation in biochemical systems. Search on Bibsonomy EMBC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yi-Hsiang Lai, Chi-Chuan Chuang, Jie-Hong R. Jiang A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines. Search on Bibsonomy ICCAD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ting-Wei Chiang, Jie-Hong R. Jiang Property-Directed Synthesis of Reactive Systems from Safety Specifications. Search on Bibsonomy ICCAD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ting-Wei Chiang, Kai-Hui Chang, Yen-Ting Liu, Jie-Hong R. Jiang Scalable sequence-constrained retention register minimization in power gating design. Search on Bibsonomy DAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman Hybrid Simulations of Heterogeneous Biochemical Models in SBML. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Chun-Hong Shih, Yi-Hsiang Lai, Jie-Hong Roland Jiang SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis. Search on Bibsonomy ICCAD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang Asynchronous QDI Circuit Synthesis from Signal Transition Protocols. Search on Bibsonomy ICCAD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang Henkin quantifiers and Boolean formulae: A certification perspective of DQBF. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang QBF Resolution Systems and Their Proof Complexities. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nian-Ze Lee, Jie-Hong R. Jiang Towards formal evaluation and verification of probabilistic design. Search on Bibsonomy ICCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages Building reconfigurable circuitry in a biochemical world. Search on Bibsonomy BioCAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chi-Chuan Chuang, Yi-Hsiang Lai, Jie-Hong R. Jiang Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits. Search on Bibsonomy DAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chi-Yuan Liu, Hui-Ju Katherine Chiang, Yao-Wen Chang, Jie-Hong R. Jiang Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification. Search on Bibsonomy DAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tsung-Po Liu, Shuo-Ren Lin, Jie-Hong R. Jiang Software Workarounds for Hardware Errors: Instruction Patch Synthesis. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shin-Yann Ho, Shuo-Ren Lin, Ko-Lung Yuan, Chien-Yen Kuo, Kuan-Yu Liao, Jie-Hong R. Jiang, Chien-Mo James Li Automatic test pattern generation for delay defects using timed characteristic functions. Search on Bibsonomy ICCAD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ko-Lung Yuan, Chien-Yen Kuo, Jie-Hong R. Jiang, Meng-Yen Li Encoding multi-valued functions for symmetry. Search on Bibsonomy ICCAD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. Search on Bibsonomy CMSB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kuan-Hua Tu, Jie-Hong R. Jiang Synthesis of feedback decoders for initialized encoders. Search on Bibsonomy DAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yi-Ting Chung, Jie-Hong Roland Jiang Functional Timing Analysis Made Fast and General. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem Synthesizing multiple boolean functions using interpolation on a single proof. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong R. Jiang Unified QBF certification and its applications. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hsiou-Yuan Liu, Yen-Cheng Chou, Chen-Hsuan Lin, Jie-Hong R. Jiang Automatic Decoder Synthesis: Methods and Case Studies. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kuan-Hsien Ho, Xin-Wei Shih, Jie-Hong R. Jiang Clock rescheduling for timing engineering change orders. Search on Bibsonomy ASP-DAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1De-An Huang, Jie-Hong R. Jiang, Ruei-Yang Huang, Chi-Yun Cheng Compiling program control flows into biochemical reactions. Search on Bibsonomy ICCAD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kuan-Hsien Ho, Jie-Hong Roland Jiang, Yao-Wen Chang TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu Improving design verifiability by early RTL coverability analysis. Search on Bibsonomy MEMOCODE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cheng-Shen Han, Jie-Hong Roland Jiang When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang Henkin Quantifiers and Boolean Formulae. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yi-Ting Chung, Jie-Hong Roland Jiang Functional timing analysis made fast and general. Search on Bibsonomy DAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Robert K. Brayton, Jie-Hong R. Jiang, Stephen Jang Scalable don't-care-based logic optimization and resynthesis. Search on Bibsonomy TRETS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong R. Jiang Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hsiou-Yuan Liu, Yen-Cheng Chou, Chen-Hsuan Lin, Jie-Hong R. Jiang Towards completely automatic decoder synthesis. Search on Bibsonomy ICCAD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chia-Wei Chang, Hong-Zu Chou, Kai-Hui Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu, Chiu-Han Hsiao, Sy-Yen Kuo Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization. Search on Bibsonomy ISQED The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kuan-Hsien Ho, Jie-Hong R. Jiang, Yao-Wen Chang TRECO: dynamic technology remapping for timing engineering change orders. Search on Bibsonomy ASP-DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang Boolean matching of function vectors with strengthened learning. Search on Bibsonomy ICCAD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang BooM: a decision procedure for boolean matching with abstraction and dynamic learning. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF satisfiability solving, learning, abstraction, Boolean matching
1Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang To SAT or Not to SAT: Scalable Exploration of Functional Dependency. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF optimization, logic design, Automatic synthesis, design aids
1Jie-Hong Roland Jiang, Tiziano Villa, Yves Crama, Peter L. Hammer Hardware Equivalence and Property Verification. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang A robust functional ECO engine by SAT proof minimization and interpolation techniques. Search on Bibsonomy ICCAD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jie-Hong R. Jiang Quantifier Elimination via Functional Composition. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Stephen Jang Scalable don't-care-based logic optimization and resynthesis. Search on Bibsonomy FPGA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fpga, interpolation, windowing, technology mapping, boolean satisfiability, logic optimization
1Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung Interpolating functions from large Boolean relations. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee To SAT or not to SAT: Ashenhurst decomposition in a large scale. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sz-Cheng Huang, Jie-Hong Roland Jiang A dynamic accuracy-refinement approach to timing-driven technology mapping. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung Bi-decomposing large Boolean functions via interpolation and satisfiability solving. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bi-decomposition, satisfiability, logic synthesis, Craig interpolation
1Jie-Hong R. Jiang, Dah-Wei Chiou, Cheng-En Wu Quantum Mechanical Search and Harmonic Perturbation. Search on Bibsonomy Quantum Information Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko Efficient Solution of Language Equations Using Partitioned Representations Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Chin-Hsiung Hsu, Szu-Jui Chou, Jie-Hong Roland Jiang, Yao-Wen Chang A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits. Search on Bibsonomy PATMOS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Wei-Lun Hung Inductive equivalence checking under retiming and resynthesis. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko Scalable exploration of functional dependency by interpolation and incremental SAT solving. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Robert K. Brayton Retiming and Resynthesis: A Complexity Perspective. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko Efficient Solution of Language Equations Using Partitioned Representations. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang On Some Transformation Invariants Under Retiming and Resynthesis. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Robert K. Brayton Functional Dependency for Verification Reduction. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton On breakable cyclic definitions. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Robert K. Brayton On the verification of sequential equivalence. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton Reducing Multi-Valued Algebraic Operations to Binary. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa Optimization of Multi-Valued Multi-Level Networks. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton Reducing Multi-Valued Algebraic Operations to Binary. Search on Bibsonomy IWLS The full citation details ... 2002 DBLP  BibTeX  RDF
1Jie-Hong Roland Jiang, Robert K. Brayton On the Verification of Sequential Equivalence. Search on Bibsonomy IWLS The full citation details ... 2002 DBLP  BibTeX  RDF
1Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang Unified functional decomposition via encoding for FPGA technology mapping. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Iris Hui-Ru Jiang Optimum loading dispersion for high-speed tree-type decision circuitry. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis. Search on Bibsonomy DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jie-Hong R. Jiang, Jing-Yang Jou, Juinn-Dar Huang, Jung-Shian Wei BDD based lambda set selection in Roth-Karp decomposition for LUT architecture. Search on Bibsonomy ASP-DAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 100 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license