Hui-Ju Katherine Chiang

According to our database, Hui-Ju Katherine Chiang authored at least 9 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Simultaneous EUV Flare Variation Minimization and CMP Control by Coupling-Aware Dummification.

Hui-Ju Katherine Chiang, Chi-Yuan Liu, Jie-Hong R. Jiang, Yao-Wen Chang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

2015

Biomolecular System Design: Architecture, Synthesis, and Simulation.

Hui-Ju Katherine Chiang

PhD thesis, 2015

Hybrid Simulations of Heterogeneous Biochemical Models in SBML.

Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman

ACM Trans. Model. Comput. Simul., 2015

Reconfigurable neuromorphic computation in biochemical systems.

Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF.

Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang

Theor. Comput. Sci., 2014

Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification.

Chi-Yuan Liu, Hui-Ju Katherine Chiang, Yao-Wen Chang, Jie-Hong R. Jiang

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Building reconfigurable circuitry in a biochemical world.

Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages

Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2014

2013

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models.

Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Henkin Quantifiers and Boolean Formulae.

Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012