Jie-Hong Roland Jiang

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 16

Top Topics

Quantifier Elimination

Malicious Executables

Quantum Computing

Tree Construction

Top Venues

Publications

Wei-Hsiang Tseng, Yao-Wen Chang, Jie-Hong Roland Jiang
Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems. ISPD (2024)
Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl
Quantifier Elimination in Stochastic Boolean Satisfiability. SAT (2022)
Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang (Ric) Huang
Compatible Equivalence Checking of X-Valued Circuits. ICCAD (2021)
Min Hao Peng, Fang Yu, Jie-Hong Roland Jiang
Symbolic Gas Vulnerability Detection and Attack Synthesis. PACIS (2020)
Pei-Wei Chen, Yu-Ching Huang, Cheng-Lin Lee, Jie-Hong Roland Jiang
Circuit Learning for Logic Regression on High Dimensional Boolean Space. DAC (2020)
Zi-Jun Lin, Wei-Chih Huang, Jie-Hong Roland Jiang
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits. ISMVL (2019)
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI (2019)
Wei-Chih Huang, Jie-Hong Roland Jiang, François Fages, Franck Molina
Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity. BioCAS (2019)
Run-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. DAC (2018)
Chun-Han Lin, Fang Yu, Jie-Hong Roland Jiang, Tevfik Bultan
Static detection of API call vulnerabilities in iOS executables. ICSE (Companion Volume) (2018)
Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
2QBF: Challenges and Solutions. SAT (2016)
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
Clauses Versus Gates in CEGAR-Based 2QBF Solving. AAAI Workshop: Beyond NP (2016)
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. AAAI (2015)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman
Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Chun-Hong Shih, Yi-Hsiang Lai, Jie-Hong Roland Jiang
SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis. ICCAD (2015)
Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang
Asynchronous QDI Circuit Synthesis from Signal Transition Protocols. ICCAD (2015)
Yi-Ting Chung, Jie-Hong Roland Jiang
Functional Timing Analysis Made Fast and General. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (9) (2013)
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
Synthesizing multiple boolean functions using interpolation on a single proof. FMCAD (2013)
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. CoRR (2013)
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang
Henkin Quantifiers and Boolean Formulae. SAT (2012)
Kuan-Hsien Ho, Jie-Hong Roland Jiang, Yao-Wen Chang
TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (11) (2012)
Yi-Ting Chung, Jie-Hong Roland Jiang
Functional timing analysis made fast and general. DAC (2012)
Cheng-Shen Han, Jie-Hong Roland Jiang
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way. CAV (2012)
Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu
Reducing test point overhead with don't-cares. MWSCAS (2012)
Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu
Improving design verifiability by early RTL coverability analysis. MEMOCODE (2012)
Chia-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. ISQED (2011)
Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang
To SAT or Not to SAT: Scalable Exploration of Functional Dependency. IEEE Trans. Computers 59 (4) (2010)
Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang
A robust functional ECO engine by SAT proof minimization and interpolation techniques. ICCAD (2010)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Stephen Jang
Scalable don't-care-based logic optimization and resynthesis. FPGA (2009)
Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung
Interpolating functions from large Boolean relations. ICCAD (2009)
Sz-Cheng Huang, Jie-Hong Roland Jiang
A dynamic accuracy-refinement approach to timing-driven technology mapping. ICCD (2008)
Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee
To SAT or not to SAT: Ashenhurst decomposition in a large scale. ICCAD (2008)
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
Bi-decomposing large Boolean functions via interpolation and satisfiability solving. DAC (2008)
Jie-Hong Roland Jiang, Wei-Lun Hung
Inductive equivalence checking under retiming and resynthesis. ICCAD (2007)
Chin-Hsiung Hsu, Szu-Jui Chou, Jie-Hong Roland Jiang, Yao-Wen Chang
A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits. PATMOS (2007)
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko
Scalable exploration of functional dependency by interpolation and incremental SAT solving. ICCAD (2007)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations CoRR (2007)
Jie-Hong Roland Jiang, Robert K. Brayton
Retiming and Resynthesis: A Complexity Perspective. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (12) (2006)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations. DATE (2005)
Jie-Hong Roland Jiang
On Some Transformation Invariants Under Retiming and Resynthesis. TACAS (2005)
Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton
On breakable cyclic definitions. ICCAD (2004)
Jie-Hong Roland Jiang, Robert K. Brayton
Functional Dependency for Verification Reduction. CAV (2004)
Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton
Reducing Multi-Valued Algebraic Operations to Binary. DATE (2003)
Jie-Hong Roland Jiang, Robert K. Brayton
On the verification of sequential equivalence. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (6) (2003)
Jie-Hong Roland Jiang, Robert K. Brayton
On the Verification of Sequential Equivalence. IWLS (2002)
Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton
Reducing Multi-Valued Algebraic Operations to Binary. IWLS (2002)
Robert 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. ISMVL (2002)
Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang
Unified functional decomposition via encoding for FPGA technology mapping. IEEE Trans. Very Large Scale Integr. Syst. 9 (2) (2001)
Jie-Hong Roland Jiang, Iris Hui-Ru Jiang
Optimum loading dispersion for high-speed tree-type decision circuitry. ICCAD (1999)
Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang
Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis. DAC (1998)