Design and Implementation of Java Just-in-Time Compiler. - Yuxin Ding; Jia Mei; Hu Cheng (J. Comput. Sci. Technol., 2000)

A New Approach to Automated Redundancy Reduction for Test Sequences. - Huaikou Miao; Pan Liu; Jia Mei; Hongwei Zeng (PRDC, 2009)

A Novel Approach for On-the-Fly Test Cases Synthesis. - Jia Mei; Huaikou Miao; Pan Liu (SNPD, 2009)

Modeling and Verifying Web Service Applications with Time Constraints. - Jia Mei; Huaikou Miao; Qingguo Xu; Pan Liu (ACIS-ICIS, 2010)

An Improved Algorithm for Building the Characterizing Set. - Huaikou Miao; Pan Liu; Jia Mei (TASE, 2010)

Verifying Web Services Composition Based on Interface Automata Using SPIN. - Jia Mei; Huaikou Miao; Yihai Chen; Honghao Gao (J. Digit. Content Technol. its Appl., 2010)

Probabilistic Timed Model Checking for Atomic Web Service. - Honghao Gao; Huaikou Miao; Shengbo Chen; Jia Mei (SERVICES, 2011)

An algorithm on fairness verification of mobile sink routing in wireless sensor network. - Guangquan Xu; Weisheng Li 001; Rui Xu; Yingyuan Xiao; Honghao Gao; Xiaohong Li 001; Zhiyong Feng 002; Jia Mei (Pers. Ubiquitous Comput., 2013)

SAMRec: Self-Attention Based Multimodal Recommendation. - Yiming Zhao; Jia Mei; Mingjie Wang; Chuanzhi Zhang; Yajie Gu; Jun Wang (ICVISP, 2024)