Zhanyou Ma

According to our database, Zhanyou Ma authored at least 37 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Performance analysis of a queueing system based on working vacation with repairable fault in the P2P network.

Shunzhi Wang, Zhanyou Ma, Rong Wang, Wenming Fang

J. Supercomput., August, 2023

Performance analysis of a Queueing system based on vacation with fault repairable and spare servers in the MP2P network.

Shunzhi Wang, Zhanyou Ma, Xinying Niu, Yilin Liu

Wirel. Networks, July, 2023

Correction to: Modeling & analysis of block generation process of the mining pool in blockchain system.

Changzhen Zhang, Zhanyou Ma, Lin Liu, Yilin Liu

Peer Peer Netw. Appl., May, 2023

Modeling & analysis of block generation process of the mining pool in blockchain system.

Changzhen Zhang, Zhanyou Ma, Lin Liu, Yilin Liu

Peer Peer Netw. Appl., March, 2023

Quantitative reachability analysis of generalized possibilistic decision processes.

Zhanyou Ma, Yingnan Gao, Zhaokai Li, Xia Li, Ziyuan Liu

J. Intell. Fuzzy Syst., 2023

The virtual machines scheduling strategy based on M/M/c queueing model with vacation.

Zhanyou Ma, Shanshan Guo, Rong Wang

Future Gener. Comput. Syst., 2023

Analysis of P2P network system based on two-stage service and failure repairability.

Yukang Zhang, Zhanyou Ma, Yilin Liu, Shunzhi Wang

Concurr. Comput. Pract. Exp., 2023

2022

A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS.

Zhaokai Li, Zhanyou Ma, Xia Li, Yingnan Gao

Symmetry, 2022

An energy saving strategy based on M/M/<i>c</i> queueing model with preemptive priority and asynchronous working vacation.

Shanshan Guo, Zhanyou Ma, Xiangran Yu, Li Chen

Int. J. Auton. Adapt. Commun. Syst., 2022

Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost.

Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li

Entropy, 2022

Performance analysis of P2P networks with malicious nodes.

Zhanyou Ma, Qiannan Si, Yilin Liu, Shunzhi Wang

Clust. Comput., 2022

2021

Performance analysis of P2P network with dynamic changes of servers based on M/M/c queuing model.

Qiannan Si, Zhanyou Ma, Fengjiao Liu, Rong Wang

Wirel. Networks, 2021

Analysis of wireless sensor networks with sleep mode and threshold activation.

Zhanyou Ma, Xiangran Yu, Shanshan Guo, Yang Zhang

Wirel. Networks, 2021

Analysis of blockchain system based on $\hbox {M}/(\hbox {M}_1, \hbox {M}_2)/1$ vacation queueing model.

Jiaqi Fan, Zhanyou Ma, Yang Zhang, Changzhen Zhang

J. Supercomput., 2021

Energy saving strategy and Nash equilibrium of hybrid P2P networks.

Zhanyou Ma, Changzhen Zhang, Liyuan Zhang, Shunzhi Wang

J. Parallel Distributed Comput., 2021

Analysis of wireless sensor networks based on non-exhaustive M/G/1 queueing model.

Zhanyou Ma, Xiangran Yu, Shanshan Guo, Jiaqi Fan

Int. J. Wirel. Mob. Comput., 2021

Performance analysis of peer-to-peer networks based on two-phase service queuing theory.

Fengjiao Liu, Zhanyou Ma, Qiannan Si, Miao Yan

Int. J. Commun. Networks Distributed Syst., 2021

Performance analysis of batch receiving wireless sensor networks with interference signals.

Jiaqi Fan, Zhanyou Ma, Xiangran Yu, Yang Zhang

Int. J. Commun. Networks Distributed Syst., 2021

2020

Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations.

Zhanyou Ma, Li Chen, Pengcheng Wang

J. Syst. Sci. Complex., 2020

Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency.

Linmin Hu, Dequan Yue, Zhanyou Ma

J. Syst. Sci. Complex., 2020

Performance analysis of wireless communication networks with threshold activation process and interference signals.

Xiangran Yu, Zhanyou Ma, Shanshan Guo, Li Chen

Int. J. Commun. Networks Distributed Syst., 2020

Performance analysis of non-exhaustive wireless sensor networks based on queueing theory.

Jian Cao, Zhanyou Ma, Shanshan Guo, Xiangran Yu

Int. J. Commun. Networks Distributed Syst., 2020

Performance Analysis of Blockchain Consensus System With Interference Factors and Sleep Stage.

Zhanyou Ma, Jiaqi Fan, Yang Zhang, Lin Liu

IEEE Access, 2020

CTL Symbolic Model Checking Based on Fuzzy Logic.

Pengzhan Nie, Jiulei Jiang, Zhanyou Ma

Proceedings of the IEEE Intl Conf on Dependable, 2020

2019

Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures.

Panqing Zhang, Jiulei Jiang, Zhanyou Ma, Heng Zhu

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

2018

Analysis of Half-Asleep and Wakeup Strategy in Wireless Mesh/Relay Networks with Double-State Channel.

Wenbo Wang, Zhanyou Ma, Jian Cao, Zhe Wang

Int. J. Wirel. Inf. Networks, 2018

Model Checking Instance Based on NuSMV.

Ninglin Xu, Zhanyou Ma, Jiulei Jiang, Panqing Zhang

Proceedings of the 2018 IEEE SmartWorld, 2018

Performance Analysis of a Dynamic Channel Vacation Scheme in Cognitive Radio Networks.

Wenbo Wang, Zhanyou Ma, Wuyi Yue, Yutaka Takahashi

Proceedings of the Queueing Theory and Network Applications, 2018

2016

Model checking computation tree logic over finite lattices.

Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma

Theor. Comput. Sci., 2016

2015

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.

Yongming Li, Zhanyou Ma

IEEE Trans. Fuzzy Syst., 2015

A Novel Spectrum Allocation Strategy with Channel Bonding and Channel Reservation.

Shunfu Jin, Xinghua Yao, Zhanyou Ma

KSII Trans. Internet Inf. Syst., 2015

Model checking fuzzy computation tree logic.

Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma

Fuzzy Sets Syst., 2015

Computation tree logic model checking based on possibility measures.

Yongming Li, Yali Li, Zhanyou Ma

Fuzzy Sets Syst., 2015

The Pseudo-fault Geo/Geo/1 Queue with Setup Time and Multiple Working Vacation.

Zhanyou Ma, Pengcheng Wang, Wuyi Yue

Proceedings of the Queueing Theory and Network Applications, 2015

2009

Performance evaluation of wireless communication networks for multi-traffic with multi-channel.

Zhanyou Ma, Wuyi Yue, Naishuo Tian

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

2008

Discrete time Geo/G/1 queue with Bernoulli gated service simulation system.

Qingzhen Xu, Zhanyou Ma

Appl. Math. Comput., 2008

General decrementing service M/G/1 queue with multiple adaptive vacations.

Zhanyou Ma, Qingzhen Xu

Appl. Math. Comput., 2008