| 2011 |
|---|
| 17 | Similarity Matching over Uncertain Time Series. Yanfei Zuo, Guohua Liu, Xiaoli Yue, Wei Wang, Honghua Wu. CIS 2011, 1357-1361. Web SearchBibTeXDownload |
| 16 | Relating Weight Constraint and Aggregate Programs: Semantics and Representation. Guohua Liu, Jia-Huai You. CoRR (abs/1105.3414) (2011). Web SearchBibTeXDownload |
| 15 | Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Guohua Liu, Jia-Huai You. Fundam. Inform. (106): 25-43 (2011). Web SearchBibTeXDownload |
| 14 | Strong Equivalence of Logic Programs with Abstract Constraint Atoms. Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You. LPNMR 2011, 161-173. Web SearchBibTeXDownload |
| 2010 |
|---|
| 13 | Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Guohua Liu, Jia-Huai You. Fundam. Inform. (101): 237-255 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 12 | Character Mapping Cipher Index Scheme for Character Data in Outsourced Databases. Ning Wang, Wei Zhao, Ying Wang, Qi He, Guohua Liu. CIS (2) 2009, 488-492. Web SearchBibTeXDownload |
| 11 | Creating the Cryptograph Index by Query Frequencies in DAS Models. Danfeng Zhao, Wei Zhao, Ying Wang, Feng Gao, Qi He, Guohua Liu. CIS (2) 2009, 483-487. Web SearchBibTeXDownload |
| 10 | Automated Realization of Business Workflow Specification. Guohua Liu, Xi Liu, Haihuan Qin, Jianwen Su, Zhimin Yan, Liang Zhang. ICSOC/ServiceWave Workshops 2009, 96-108. Web SearchBibTeXDownload |
| 2008 |
|---|
| 9 | Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. Jia-Huai You, Guohua Liu. AAAI 2008, 584-589. Web SearchBibTeX |
| 8 | Lparse Programs Revisited: Semantics and Representation of Aggregates. Guohua Liu, Jia-Huai You. ICLP 2008, 347-361. Web SearchBibTeXDownload |
| 7 | The Study of Enhancing Authenticity of Cloth Surface Intersection Processing. Dong Wen, Guohua Liu, Yanhong Zhou, Shunfu Jin. PACIIA (1) 2008, 977-981. Web SearchBibTeXDownload |
| 2007 |
|---|
| 6 | Adaptive Lookahead for Answer Set Computation. Guohua Liu, Jia-Huai You. ICTAI (2) 2007, 230-237. Web SearchBibTeXDownload |
| 5 | Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen. LPNMR 2007, 228-240. Web SearchBibTeXDownload |
| 4 | On the Effectiveness of Looking Ahead in Search for Answer Sets. Guohua Liu, Jia-Huai You. LPNMR 2007, 303-308. Web SearchBibTeXDownload |
| 2005 |
|---|
| 3 | Lookahead in Smodels Compared to Local Consistencies in CSP. Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko. LPNMR 2005, 266-278. Web SearchBibTeXDownload |
| 2003 |
|---|
| 2 | A Novel System for Publishing Relational Data in XML Based on ER-DTD Method. Guohua Liu, Qi He, Ziyang Chen, Ying Wang. CAINE 2003, 7-10. Web SearchBibTeX |
| 2000 |
|---|
| 1 | A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts. Guohua Liu, Wenyun Ji, Zijun Chen. TOOLS (36) 2000, 291-298. Web SearchBibTeXDownload |
