| 2015 | SIGMOD | A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. | Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi |
| 2014 | CIKM | Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. | Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi |
| 2009 | LPNMR | Weight Constraint Programs with Functions. | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2007 | LPNMR | Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
| 2005 | LPNMR | Lookahead in Smodels Compared to Local Consistencies in CSP. | Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko |
| 2004 | ICLP | Adding Domain Dependent Knowledge into Answer Set Programs for Planning. | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
| 2003 | IJCAI | On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. | Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2000 | PADL | Implementation of a Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | ICLP | A Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | LPNMR | Linear Tabulated Resolutions for the Well-Founded Semantics. | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
| 1998 | ICLP | Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
| 1997 | ICLP | Disjunctive Logic Programming as Constrained Inferences. | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
| 1997 | IJCAI | A Default Interpretation of Defeasible Network. | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
| 1996 | ECAI | Circumscription by Inference Rules with Priority. | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
| 1995 | ICLP | On Coherence Approach to Logic Program Revision. | Li-Yan Yuan, Jia-Huai You |
| 1995 | LPNMR | On the Extension of Logic Programming with Negation through Uniform Proofs. | Li-Yan Yuan, Jia-Huai You |
| 1992 | ICCI | Enforce Constraints in Archival Databases. | Ke Wang, Li-Yan Yuan |
| 1991 | ICCI | Incremental Database Design Revisited. | Ke Wang, Li-Yan Yuan |
| 1991 | ICCI | On Semantics, Syntactics and Fixpoints of General Programs. | Li-Yan Yuan |
| 1991 | ICCI | A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. | Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang |
| 1991 | ICDE | First-Order Logic Reducible Programs. | Ke Wang, Li-Yan Yuan |
| 1991 | ICLP | Extended Well-Founded Model Semantics for General Logic Programs. | Yong Hu, Li-Yan Yuan |
| 1990 | ICDT | The Revised Grdenfors Postulates and Update Semantics. | Leigh Willard, Li-Yan Yuan |
| 1990 | PODS | Three-Valued Formalization of Logic Programming: Is It Needed? | Jia-Huai You, Li-Yan Yuan |
| 1989 | PODS | A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. | Li-Yan Yuan, Ding-An Chiang |
| 1988 | AAAI | On Reducing Parallel Circumscription. | Li-Yan Yuan, Cheng Hui Wang |
| 1988 | SIGMOD | A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. | Li-Yan Yuan, Ding-An Chiang |
| 1987 | ICDE | A Design Method for Nested Relational Databases. | Z. Meral zsoyoglu, Li-Yan Yuan |
| 1987 | PODS | Logical Design of Relational Database Systems. | Li-Yan Yuan, Z. Meral zsoyoglu |
| 1986 | PODS | Unifying Functional and Multivalued Dependencies for Relational Database Design. | Li-Yan Yuan, Z. Meral zsoyoglu |
| 1986 | XP | Notions of Dependency Preservation for Nested Relations. | Z. Meral zsoyoglu, Li-Yan Yuan |
| 1985 | PODS | A Normal Form for Nested Relations. | Z. Meral zsoyoglu, Li-Yan Yuan |