Xiaomei Zhong

According to our database, Xiaomei Zhong authored at least 19 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

A novel formal logic for formal analysis of timeliness in non-repudiation protocols.

Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong

J. King Saud Univ. Comput. Inf. Sci., September, 2023

2022

Local Re-Encoding for Coded Matrix Multiplication.

Xian Su, Jared Parker, Xiaomei Zhong, Xiaodi Fan, Jun Li

IEEE Open J. Commun. Soc., 2022

2020

Leveraging Stragglers in Coded Computing with Heterogeneous Servers.

Xiaodi Fan, Pedro Soto, Xiaomei Zhong, Dan Xi, Yan Wang, Jun Li

Proceedings of the 28th IEEE/ACM International Symposium on Quality of Service, 2020

Local Re-encoding for Coded Matrix Multiplication.

Xian Su, Xiaomei Zhong, Xiaodi Fan, Jun Li

Proceedings of the IEEE International Symposium on Information Theory, 2020

2019

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols.

Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong

IEEE Access, 2019

2018

Contradiction separation based dynamic multi-clause synergized automated deduction.

Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He

Inf. Sci., 2018

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events.

Ke Yang, Meihua Xiao, Jiawen Song, Jia Chen, Xiaomei Zhong, Xizhong Wang

IEEE Access, 2018

Formal Analysis and Verification for Three-Party Authentication Protocol of RFID.

Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong

Proceedings of the Theoretical Computer Science - 36th National Conference, 2018

2017

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID.

Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu

Proceedings of the Theoretical Computer Science - 35th National Conference, 2017

Parallel hybrid genetic algorithm for sat problems based on OpenMP.

Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2015

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).

Yi Liu, Yang Xu, Xiaomei Zhong

J. Intell. Fuzzy Syst., 2015

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

2014

alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X).

Xiaomei Zhong, Yang Xu

J. Multiple Valued Log. Soft Comput., 2014

<i>α</i>-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2014

2013

Multiary α-Resolution Principle for a Lattice-Valued Logic.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

IEEE Trans. Fuzzy Syst., 2013

2012

General form of α-resolution principle for linguistic truth-valued lattice-valued logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

Lattice-valued matrix game with mixed strategies for intelligent decision support.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

Knowl. Based Syst., 2012

2011

α-group resolution method based on lattice-valued propositional logic LP(X).

Xiaomei Zhong, Yang Xu

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011