Login / Signup
Chun-Ning Lai
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Higher Level
Optimization Problems
Asynchronous Circuits
Model Checking
Top Venues
DAC
BioCAS
</>
Publications
</>
Chun-Ning Lai
,
Jie-Hong R. Jiang
Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation.
DAC
(2017)
Chun-Ning Lai
,
Jie-Hong R. Jiang
,
François Fages
Recombinase-based genetic circuit optimization.
BioCAS
(2017)