Tao Zheng
Loading Google Thumbnails...
| 2011 |
|---|
| 5 | Integrating preference based weighted sum into evolutionary multi-objective optimization. Guanghong Liu, Gang Wu, Tao Zheng, Qing Ling. ICNC 2011, 1251-1255. Web SearchBibTeXDownload |
| 4 | Tracking adaptive performance models using dynamic clustering of user classes. Hamoun Ghanbari, Cornel Barna, Marin Litoiu, C. Murray Woodside, Tao Zheng, Johnny Wong, Gabriel Iszlai. ICPE 2011, 179-188. Web SearchBibTeXDownload |
| 2004 |
|---|
| 3 | Duration-constrained regular expressions. Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng. Formal Asp. Comput. (16): 155-163 (2004). Web SearchBibTeXDownload |
| 2002 |
|---|
| 2 | Positive loop-closed automata: a decidable class of hybrid systems. Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng. J. Log. Algebr. Program. (52-53): 79-108 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 1 | Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng. CHARME 2001, 465-480. Web SearchBibTeXDownload |
from DBLP and Google Scholar
