Compiling Dataflow Analysis of Logic Programs. - Jichang Tan; I-Peng Lin (PLDI, 1992)

Type Synthesis for Logic Programs. - Jichang Tan; I-Peng Lin (JICSLP, 1996)

Recursive Modes for Precise Analysis of Logic Programs. - Jichang Tan; I-Peng Lin (ILPS, 1997)

Thermal aware clock synthesis considering stochastic variation and correlations. - Chunchen Liu; Ruei-Xi Chen; Jichang Tan; Sharon Fan; Jeffrey Fan; Kia Makki (ISCAS, 2008)