Chih-Chun Lee

	2011
4		Ching-Hsien Hsu, Shih-Chang Chen, Chih-Chun Lee, Hsi-Ya Chang, Kuan-Chou Lai, Kuan-Ching Li, Chunming Rong: Energy-Aware Task Consolidation Technique for Cloud Computing. CloudCom 2011: 115-121
	2010
3		Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang: To SAT or Not to SAT: Scalable Exploration of Functional Dependency. IEEE Trans. Computers 59(4): 457-467 (2010)
	2007
2		Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang: QuteSAT: a robust circuit-based SAT solver for complex circuit structure. DATE 2007: 1313-1318
1		Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko: Scalable exploration of functional dependency by interpolation and incremental SAT solving. ICCAD 2007: 227-233

Coauthor Index

1	Hsi-Ya Chang	[4]
2	Shih-Chang Chen	[4]
3	Ching-Hsien Hsu	[4]
4	Chung-Yang Huang (Chung-Yang (Ric) Huang)	[1] [2] [3]
5	Jie-Hong Roland Jiang (Jie-Hong R. Jiang)	[1] [3]
6	Kuan-Chou Lai	[4]
7	Kuan-Ching Li (Li Kuan Ching)	[4]
8	Ting-Hao Lin	[2]
9	Alan Mishchenko	[1] [3]
10	Chunming Rong	[4]
11	Chi-An Wu	[2]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page