| 臺大學術典藏 |
2018-09-10T15:36:37Z |
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 |
| 臺大學術典藏 |
2018-09-10T15:33:10Z |
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.; Chiang, H.-J.K.; Liu, C.-Y.; Jiang, J.-H.R.; Chang, Y.-W.; YAO-WEN CHANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
|
Valeriy Balabanov;Jie-Hong R. Jiang;Mikolas Janota;Magdalena Widl; Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Scalable Sequence-Constrained Retention Register Minimization in Power Gating Design
|
JIE-HONG JIANG; Ting-Wei Chiang;Kai-Hui Chang;Yen-Ting Liu;Jie-Hong R. Jiang; Ting-Wei Chiang; Kai-Hui Chang; Yen-Ting Liu; Jie-Hong R. Jiang |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Reconfigurable neuromorphic computation in biochemical systems
|
Hui-Ju Katherine Chiang;Jie-Hong R. Jiang;Francois Fages; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
|
Kuan-Hua Tu;Tzu-Chen Hsu;Jie-Hong R. Jiang; Kuan-Hua Tu; Tzu-Chen Hsu; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines
|
Yi-Hsiang Lai;Chi-Chuan Chuang;Jie-Hong R. Jiang; Yi-Hsiang Lai; Chi-Chuan Chuang; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
SPOCK: Static performance analysis and deadlock verification for efficient asynchronous circuit synthesis
|
Chun-Hong Shih;Yi-Hsiang Lai;Jie-Hong R. Jiang; Chun-Hong Shih; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Asynchronous QDI Circuit Synthesis from Signal Transition Protocols
|
Bo-Yuan Huang;Yi-Hsiang Lai;Jie-Hong R. Jiang; Bo-Yuan Huang; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions
|
Nina Yevtushenko;Khaled El-Fakih;Tiziano Villa;Jie-Hong R. Jiang; Nina Yevtushenko; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:16Z |
Hybrid Simulations of Heterogeneous Biochemical Models in SBML
|
Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong Rol;Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong Rol; Jiang; Sylvain Soliman; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:16Z |
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;François Fages; Tai-Yin Chiu; Hui-Ju K. Chiang; Ruei-Yang Huang; Jie-Hong R. Jiang; Franç; ois Fages; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
|
Valeriy Balabanov;Hui-Ju K. Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju K. Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Configurable Linear Control of Biochemical Systems
|
JIE-HONG JIANG; JIE-HONG JIANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Configurable Linear Control of Biochemical Systems
|
JIE-HONG JIANG; JIE-HONG JIANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Configurable Linear Control of Biochemical Systems
|
JIE-HONG JIANG; JIE-HONG JIANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
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; Chi-Yuan Liu; Hui-Ju K. Chiang; Yao-Wen Chang; Jie-Hong R. Jiang; YAO-WEN CHANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits
|
Chi-Chuan Chuang;Yi-Hsiang Lai;Jie-Hong R. Jiang; Chi-Chuan Chuang; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
QBF Resolution Systems and their Proof Complexities
|
Valeriy Balabanov;Magdalena Widl;Jie-Hong R. Jiang; Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Building Reconfigurable Circuitry in a Biochemical World
|
Hui-Ju Katherine Chiang;Jie-Hong Rol;Jiang;François Fages; Hui-Ju Katherine Chiang; Jie-Hong Rol; Jiang; Franç; ois Fages; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:00:43Z |
Towards Formal Evaluation and Verification of Probabilistic Design
|
Nian-Ze Lee;Jie-Hong R. Jiang; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T09:50:56Z |
Synthesis of feedback decoders for initialized encoders
|
Kuan-Hua Tu;Jie-Hong R. Jiang; Kuan-Hua Tu; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T09:50:56Z |
Species Minimization in Computation with Biochemical Reactions
|
Ruei-Yang Huang;De-An Huang;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang;Francois Fages; Ruei-Yang Huang; De-An Huang; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T09:50:56Z |
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models
|
Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong R. Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong R. Jiang; Sylvain Soliman; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T09:50:56Z |
Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof
|
Georg Hofferek;Ashutosh Gupta;Bettina Konighofer;Jie-Hong Rol;Jiang, Roderick Bloem; Georg Hofferek; Ashutosh Gupta; Bettina Konighofer; Jie-Hong Rol; Jiang, Roderick Bloem; JIE-HONG JIANG |
