Henkin Quantifiers and Boolean Formulae. - Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong Roland Jiang (SAT, 2012)

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. - Hui-Ju Katherine Chiang; François Fages; Jie-Hong R. Jiang; Sylvain Soliman (CMSB, 2013)

Building reconfigurable circuitry in a biochemical world. - Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; François Fages (BioCAS, 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 (DAC, 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)

Reconfigurable neuromorphic computation in biochemical systems. - Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; François Fages (EMBC, 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)

Biomolecular System Design: Architecture, Synthesis, and Simulation. - Hui-Ju Katherine Chiang (2015)

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)