Recombinase-based genetic circuit optimization. - Chun-Ning Lai; Jie-Hong R. Jiang; François Fages (BioCAS, 2017)

Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation. - Chun-Ning Lai; Jie-Hong R. Jiang (DAC, 2017)