| 2026 | DASFAA | Adaptive Piece-Wise Space-Filling Curves for Dynamic Query Workloads. | Junshen Li, Zhengyu Liao, Wei Liang, Zhonglong Zhang, Shiyou Qian, Guangtao Xue, Jian Cao, Xiaoshan Li |
| 2023 | ICA3PP | Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing. | Haolin Liu, Zehang Tan, Zhetao Li, Saiqin Long, Shujuan Tian, Xiaoshan Li |
| 2019 | ICSE | RM2PT: a tool for automated prototype generation from requirements model. | Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke |
| 2019 | RE | RM2PT: Requirements Validation through Automatic Prototyping. | Yilong Yang, Wei Ke, Xiaoshan Li |
| 2014 | SIGGRAPH | Feature-oriented writing process reproduction of Chinese calligraphic artwork. | Lijie Yang, Tian-Chen Xu, Xiaoshan Li, Enhua Wu |
| 2010 | ISoLA | AutoPA: Automatic Prototyping from Requirements. | Xiaoshan Li, Zhiming Liu, Martin Schf, Ling Yin |
| 2006 | ICECCS | A Characterization of UML Diagrams and their Consistency. | Xiaoshan Li |
| 2005 | ICECCS | Consistency Checking of UML Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2005 | ICTAC | Component-Based Software Engineering. | Jifeng He, Xiaoshan Li, Zhiming Liu |
| 2004 | APLAS | A Relational Model for Object-Oriented Designs. | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
| 2004 | ICDCIT | Generating a Prototype from a UML Model of System Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
| 2004 | ICTAC | A Predicative Semantic Model for Integrating UML Models. | Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li |
| 2003 | ICFEM | A Relational Model for Formal Object-Oriented Requirement Analysis in UML. | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
| 2002 | ICFEM | Using Transition Systems to Unify UML Models. | Zhiming Liu, Xiaoshan Li, Jifeng He |
| 2001 | APSEC | Formal Object-Oriented Analysis and Design of an Online Ticketing System. | Xiaoshan Li, Zhiming Liu, Zhensheng Guo |
| 2001 | COMPSAC | Formal and Use-Case Driven Requirement Analysis in UML. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 1995 | FCT | A Duration Calculus with Infinite Intervals. | Chaochen Zhou, Dang Van Hung, Xiaoshan Li |