Xiaomei Zhong

23 papers B 2Misc 2Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Navigating the blue frontier: A review of machine learning approaches for sustainable marine bioresource utilization.
Ecol. Informatics
Oraléou Sangué Djandja, Xiaomei Zhong, Jie Yang, Hugh McIntyre, Quan Sophia He, Usman Ali
2026 J jnl
Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictions.
Knowl. Based Syst.
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
Advancing congenital heart defects screening from chest X-ray with multi-organ feature consistency and fusion learning.
Expert Syst. Appl.
Chengjin Yu, Rui Chen, Xinyi Wu, Zekun Tan, Tingyu Li, Hongyu Wu, Weidong Qiao, Xiaomei Zhong, Longwei Sun, Zhifan Gao, Weiyuan Lin, Yicong Wu, Hui Liu, Huafeng Liu
2025 J jnl
Contradictions.
CoRR
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm.
CoRR
Yang Xu, Xingxing He, Shuwei Chen, Jun Liu, Xiaomei Zhong
2023 J jnl
A novel formal logic for formal analysis of timeliness in non-repudiation protocols.
J. King Saud Univ. Comput. Inf. Sci.
Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong
2022 J jnl
Local Re-Encoding for Coded Matrix Multiplication.
IEEE Open J. Commun. Soc.
Xian Su, Jared Parker, Xiaomei Zhong, Xiaodi Fan, Jun Li
2020 B conf
Leveraging Stragglers in Coded Computing with Heterogeneous Servers.
IWQoS
Xiaodi Fan, Pedro Soto, Xiaomei Zhong, Dan Xi, Yan Wang, Jun Li
2020 B conf
Local Re-encoding for Coded Matrix Multiplication.
ISIT
Xian Su, Xiaomei Zhong, Xiaodi Fan, Jun Li
2019 J jnl
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols.
IEEE Access
Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong
2018 J jnl
Contradiction separation based dynamic multi-clause synergized automated deduction.
Inf. Sci.
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
2018 — conf
Formal Analysis and Verification for Three-Party Authentication Protocol of RFID.
NCTCS
Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong
2018 J jnl
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
Int. J. Comput. Intell. Syst.
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2018 J jnl
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events.
IEEE Access
Ke Yang, Meihua Xiao, Jiawen Song, Jia Chen, Xiaomei Zhong, Xizhong Wang
2017 — conf
Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID.
NCTCS
Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu
2017 Misc conf
Parallel hybrid genetic algorithm for sat problems based on OpenMP.
ISKE
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
2015 J jnl
Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).
J. Intell. Fuzzy Syst.
Yi Liu, Yang Xu, Xiaomei Zhong
2015 Misc conf
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.
ISKE
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2014 J jnl
alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X).
J. Multiple Valued Log. Soft Comput.
Xiaomei Zhong, Yang Xu
2013 J jnl
Multiary α-Resolution Principle for a Lattice-Valued Logic.
IEEE Trans. Fuzzy Syst.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2012 J jnl
General form of α-resolution principle for linguistic truth-valued lattice-valued logic.
Soft Comput.
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
2012 J jnl
Lattice-valued matrix game with mixed strategies for intelligent decision support.
Knowl. Based Syst.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2011 — conf
α-group resolution method based on lattice-valued propositional logic LP(X).
FSKD
Xiaomei Zhong, Yang Xu