Hui-Ju Katherine Chiang

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Parametric Models

Boolean Formulae

Experimental Data

Top Venues

ACM Trans. Model. Comput. Simul.

National Taiwan University, Taipei, Taiwan (PHD)

Education History

National Taiwan University, Taipei, Taiwan

PHD

Publications

Hui-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. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (4) (2016)
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)
Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
Reconfigurable neuromorphic computation in biochemical systems. EMBC (2015)
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF. Theor. Comput. Sci. 523 (2014)
Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
Building reconfigurable circuitry in a biochemical world. BioCAS (2014)
Chi-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. DAC (2014)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. CMSB (2013)
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang
Henkin Quantifiers and Boolean Formulae. SAT (2012)