Xiaomei Zhong

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Topics

Authentication Protocol

Automated Reasoning

Top Venues

Int. J. Comput. Intell. Syst.

Publications

Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong
A novel formal logic for formal analysis of timeliness in non-repudiation protocols. J. King Saud Univ. Comput. Inf. Sci. 35 (8) (2023)
Xian Su, Jared Parker, Xiaomei Zhong, Xiaodi Fan, Jun Li
Local Re-Encoding for Coded Matrix Multiplication. IEEE Open J. Commun. Soc. 3 (2022)
Xian Su, Xiaomei Zhong, Xiaodi Fan, Jun Li
Local Re-encoding for Coded Matrix Multiplication. ISIT (2020)
Xiaodi Fan, Pedro Soto, Xiaomei Zhong, Dan Xi, Yan Wang, Jun Li
Leveraging Stragglers in Coded Computing with Heterogeneous Servers. IWQoS (2020)
Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols. IEEE Access 7 (2019)
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11 (1) (2018)
Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong
Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. NCTCS (2018)
Ke Yang, Meihua Xiao, Jiawen Song, Jia Chen, Xiaomei Zhong, Xizhong Wang
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events. IEEE Access 6 (2018)
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462 (2018)
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE (2017)
Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu
Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID. NCTCS (2017)
Yi Liu, Yang Xu, Xiaomei Zhong
Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X). J. Intell. Fuzzy Syst. 29 (4) (2015)
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. ISKE (2015)
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 7 (3) (2014)
Xiaomei Zhong, Yang Xu
alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). J. Multiple Valued Log. Soft Comput. 22 (4-6) (2014)
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
Multiary α-Resolution Principle for a Lattice-Valued Logic. IEEE Trans. Fuzzy Syst. 21 (5) (2013)
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
Lattice-valued matrix game with mixed strategies for intelligent decision support. Knowl. Based Syst. 32 (2012)
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
General form of α-resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput. 16 (10) (2012)
Xiaomei Zhong, Yang Xu
α-group resolution method based on lattice-valued propositional logic LP(X). FSKD (2011)