α-group resolution method based on lattice-valued propositional logic LP(X). - Xiaomei Zhong; Yang Xu 001 (FSKD, 2011)

Lattice-valued matrix game with mixed strategies for intelligent decision support. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (Knowl. Based Syst., 2012)

General form of α-resolution principle for linguistic truth-valued lattice-valued logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2012)

Multiary α-Resolution Principle for a Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (IEEE Trans. Fuzzy Syst., 2013)

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2014)

alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). - Xiaomei Zhong; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2014)

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (ISKE, 2015)

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X). - Yi Liu 005; Yang Xu 001; Xiaomei Zhong (J. Intell. Fuzzy Syst., 2015)

Parallel hybrid genetic algorithm for sat problems based on OpenMP. - Guanfeng Wu; Qingshan Chen; Feng Cao; Yang Xu 001; Xiaomei Zhong (ISKE, 2017)

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID. - Wei Li 093; Meihua Xiao; Yanan Li; Yingtian Mei; Xiaomei Zhong; Jimin Tu (NCTCS, 2017)

Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. - Jia Chen 027; Meihua Xiao; Ke Yang 007; Wei Li 093; Xiaomei Zhong (NCTCS, 2018)

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events. - Ke Yang 007; Meihua Xiao; Jiawen Song; Jia Chen 027; Xiaomei Zhong; Xizhong Wang (IEEE Access, 2018)

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2018)

Contradiction separation based dynamic multi-clause synergized automated deduction. - Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xiaomei Zhong; Xingxing He (Inf. Sci., 2018)

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols. - Jiawen Song; Meihua Xiao; Ke Yang 007; Xizhong Wang; Xiaomei Zhong (IEEE Access, 2019)

Local Re-encoding for Coded Matrix Multiplication. - Xian Su; Xiaomei Zhong; Xiaodi Fan; Jun Li 017 (ISIT, 2020)

Leveraging Stragglers in Coded Computing with Heterogeneous Servers. - Xiaodi Fan; Pedro Soto 001; Xiaomei Zhong; Dan Xi; Yan Wang; Jun Li 017 (IWQoS, 2020)

Local Re-Encoding for Coded Matrix Multiplication. - Xian Su; Jared Parker; Xiaomei Zhong; Xiaodi Fan; Jun Li 017 (IEEE Open J. Commun. Soc., 2022)

A novel formal logic for formal analysis of timeliness in non-repudiation protocols. - Ke Yang 007; Meihua Xiao; Xiaomei Zhong; Yingqiang Zhong (J. King Saud Univ. Comput. Inf. Sci., 2023)

Advancing congenital heart defects screening from chest X-ray with multi-organ feature consistency and fusion learning. - Chengjin Yu; Rui Chen; Xinyi Wu; Zekun Tan; Tingyu Li; Hongyu Wu; Weidong Qiao; Xiaomei Zhong; Longwei Sun; Zhifan Gao; Weiyuan Lin; Yicong Wu; et al. (Expert Syst. Appl., 2025)

Contradictions. - Yang Xu 001; Shuwei Chen 001; Xiaomei Zhong; Jun Liu 001; Xingxing He (CoRR, 2025)