| 2026 | LREC | TCMPHal: A Large-scale Dataset for Hallucination Detection in Traditional Chinese Medicine Pharmacy. | Nijia Han, Zimu Wang, Ziwen Xie, Wei Wang, Jia Meng, John Moraros, Shuihua Wang |
| 2023 | ICASSP | Self-Paced Partial Domain-Aware Learning for Face Anti-Spoofing. | Zhiyi Chen, Yao Lu, Xinzhe Deng, Jia Meng, Shengchuan Zhang, Liujuan Cao |
| 2022 | MICCAI | Stepwise Feature Fusion: Local Guides Global. | Jinfeng Wang, Qiming Huang, Feilong Tang, Jia Meng, Jionglong Su, Sifan Song |
| 2017 | ICA3PP | A Topology-Aware Framework for Graph Traversals. | Jia Meng, Liang Cao, Huashan Yu |
| 2017 | IDEAL | Linguistic Truth-Valued Multi-Attribute Decision Making Approach Based on TOPSIS. | Yuanyuan Shi, Li Zou, Yingying Xu, Siyuan Luo, Jia Meng |
| 2017 | ISKE | Linguistic-valued lattice implication algebra TOPSIS method based on entropy weight method. | Hongdong Wang, Jia Meng, Li Zou, Siyuan Luo, Yuanyuan Shi |
| 2013 | ICASSP | A bag-of-words model for task-load prediction from EEG in complex environments. | Lenis Mauricio Merino, Jia Meng, Stephen M. Gordon, Brent J. Lance, Tony Johnson, Victor Paul, Kay Robbins, Jean M. Vettel, Yufei Huang |
| 2011 | ICASSP | Uncover cooperative gene regulations by microRNAs and transcription factors in glioblastoma using a nonnegative hybrid factor model. | Jia Meng, Hung-I Chen, Jianqiu Zhang, Yidong Chen, Yufei Huang |
| 2007 | CADE | A Termination Checker for Isabelle Hoare Logic. | Jia Meng, Lawrence C. Paulson, Gerwin Klein |
| 2006 | CADE | Geometric Resolution: A Proof Procedure Based on Finite Model Search. | Hans de Nivelle, Jia Meng |
| 2004 | CADE | Experiments on Supporting Interactive Proof Using Resolution. | Jia Meng, Lawrence C. Paulson |