Concepedia

Chih-Chun Lee

CL

9

Publications

231

Citations

9

H-Index

2007

Active since

Affiliations

National Taiwan University(Current)

National Tsing Hua University

University of California, Berkeley

Chih-Chun Lee is an author at National Taiwan University specializing in engineering, satisfiability, and formal methods.

Top concepts

EngineeringFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationComputer EngineeringComputational ComplexityMicrofluidicsApplied Physics

Publications per year

2007–2011

9

Publications

9

Energy-Aware Task Consolidation Technique for Cloud Computing

Ching‐Hsien Hsu, Shih-Chang Chen, Chih-Chun Lee et al. · 2011 · 65 citations

Cluster Computing, Provisioning (Technology), Engineering +17

Scalable exploration of functional dependency by interpolation and incremental SAT solving

Chih-Chun Lee, Jie-Hong R. Jiang, Chung-Yang Huang et al. · International Conference on Computer Aided Design · 2007 · 46 citations

Mathematical Programming, Artificial Intelligence, Engineering +24

Scalable exploration of functional dependency by interpolation and incremental SAT solving

Chih-Chun Lee, J.-H.R. Jiang, Chung-Yang Huang et al. · 2007 · 31 citations

Mathematical Programming, Artificial Intelligence, Computational Science +15

To SAT or Not to SAT: Scalable Exploration of Functional Dependency

J.-H.R. Jiang, Chih-Chun Lee, A. Mishchenko et al. · IEEE Transactions on Computers · 2010 · 28 citations

Dependency Analysis, Engineering, Data Science +13

Formation and Integration of a Ball Lens Utilizing Two Phase Liquid Technology

Chih-Chun Lee, Sheng-Yi Hsiao, Weileun Fang · 2009 · 14 citations

Optical Design, Engineering, Microscopy +18

Rows per page

1–5 of 9