| 2017 | KSEM | R-Calculus for the Primitive Statements in Description Logic | Yuhui Wang, Cungen Cao, Yuefei Sui |
| 2017 | SOFSEM | Completeness of Hoare Logic Relative to the Standard Model. | Zhaowei Xu, Wenhui Zhang, Yuefei Sui |
| 2011 | KSEM | On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited. | Yuming Shen, Yuefei Sui, Ju Wang |
| 2009 | KSEM | The Dual Spatial Connectives of Separation Logic. | Yuming Shen, Yuefei Sui, Ju Wang |
| 2008 | GRC | An Ontology-based First-order Intensional Logic. | Feng Jiang, Yuefei Sui, Cungen Cao |
| 2007 | ER | An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries. | Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv |
| 2007 | KSEM | A Chinese Time Ontology. | Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu |
| 2006 | TAMC | A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. | Zaiyue Zhang, Yuefei Sui, Cungen Cao |
| 2005 | IJCAI | The Ontology Revision. | Yu Sun, Yuefei Sui |
| 2005 | SGAI | Building an Ontology and Knowledge Base of the Human Meridian-Collateral System. | Cungen Cao, Yuefei Sui |
| 2004 | FlAIRS | PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. | Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui |
| 2004 | KES | ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. | Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie |
| 2002 | ICLP | The Limits of Horn Logic Programs. | Shilong Ma, Yuefei Sui, Ke Xu |
| 2001 | PAKDD | Concept Approximation in Concept Lattice. | Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi |