Zhanyou Ma

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 36

Top Topics

Decision Process

Computation Tree Logic

Top Venues

Int. J. Commun. Networks Distributed Syst.

Wirel. Networks

Fuzzy Sets Syst.

Publications

Zhanyou Ma, Miao Yan, Rong Wang, Shunzhi Wang
Performance analysis of P2p network content delivery based on queueing model. Clust. Comput. 27 (3) (2024)
Zhanyou Ma, Xia Li, Ziyuan Liu, Ruiqi Huang, Nana He
Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems. Fuzzy Sets Syst. 485 (2024)
Zhanyou Ma, Yingnan Gao, Zhaokai Li, Xia Li, Ziyuan Liu
Quantitative reachability analysis of generalized possibilistic decision processes. J. Intell. Fuzzy Syst. 44 (5) (2023)
Zhanyou Ma, Shanshan Guo, Rong Wang
The virtual machines scheduling strategy based on M/M/c queueing model with vacation. Future Gener. Comput. Syst. 138 (2023)
Shunzhi Wang, Zhanyou Ma, Xinying Niu, Yilin Liu
Performance analysis of a Queueing system based on vacation with fault repairable and spare servers in the MP2P network. Wirel. Networks 29 (5) (2023)
Changzhen Zhang, Zhanyou Ma, Lin Liu, Yilin Liu
Modeling & analysis of block generation process of the mining pool in blockchain system. Peer Peer Netw. Appl. 16 (2) (2023)
Shunzhi Wang, Zhanyou Ma, Rong Wang, Wenming Fang
Performance analysis of a queueing system based on working vacation with repairable fault in the P2P network. J. Supercomput. 79 (12) (2023)
Yukang Zhang, Zhanyou Ma, Yilin Liu, Shunzhi Wang
Analysis of P2P network system based on two-stage service and failure repairability. Concurr. Comput. Pract. Exp. 35 (23) (2023)
Changzhen Zhang, Zhanyou Ma, Lin Liu, Yilin Liu
Correction to: Modeling & analysis of block generation process of the mining pool in blockchain system. Peer Peer Netw. Appl. 16 (3) (2023)
Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. Entropy 24 (9) (2022)
Zhanyou Ma, Qiannan Si, Yilin Liu, Shunzhi Wang
Performance analysis of P2P networks with malicious nodes. Clust. Comput. 25 (6) (2022)
Shanshan Guo, Zhanyou Ma, Xiangran Yu, Li Chen
queueing model with preemptive priority and asynchronous working vacation. Int. J. Auton. Adapt. Commun. Syst. 15 (2) (2022)
Zhaokai Li, Zhanyou Ma, Xia Li, Yingnan Gao
A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS. Symmetry 14 (11) (2022)
Jiaqi Fan, Zhanyou Ma, Xiangran Yu, Yang Zhang
Performance analysis of batch receiving wireless sensor networks with interference signals. Int. J. Commun. Networks Distributed Syst. 27 (1) (2021)
Qiannan Si, Zhanyou Ma, Fengjiao Liu, Rong Wang
Performance analysis of P2P network with dynamic changes of servers based on M/M/c queuing model. Wirel. Networks 27 (5) (2021)
Zhanyou Ma, Xiangran Yu, Shanshan Guo, Yang Zhang
Analysis of wireless sensor networks with sleep mode and threshold activation. Wirel. Networks 27 (2) (2021)
Fengjiao Liu, Zhanyou Ma, Qiannan Si, Miao Yan
Performance analysis of peer-to-peer networks based on two-phase service queuing theory. Int. J. Commun. Networks Distributed Syst. 27 (4) (2021)
Jiaqi Fan, Zhanyou Ma, Yang Zhang, Changzhen Zhang
Analysis of blockchain system based on $\hbox {M}/(\hbox {M}_1, \hbox {M}_2)/1$ vacation queueing model. J. Supercomput. 77 (4) (2021)
Zhanyou Ma, Xiangran Yu, Shanshan Guo, Jiaqi Fan
Analysis of wireless sensor networks based on non-exhaustive M/G/1 queueing model. Int. J. Wirel. Mob. Comput. 21 (3) (2021)
Zhanyou Ma, Changzhen Zhang, Liyuan Zhang, Shunzhi Wang
Energy saving strategy and Nash equilibrium of hybrid P2P networks. J. Parallel Distributed Comput. 157 (2021)
Jian Cao, Zhanyou Ma, Shanshan Guo, Xiangran Yu
Performance analysis of non-exhaustive wireless sensor networks based on queueing theory. Int. J. Commun. Networks Distributed Syst. 24 (2) (2020)
Xiangran Yu, Zhanyou Ma, Shanshan Guo, Li Chen
Performance analysis of wireless communication networks with threshold activation process and interference signals. Int. J. Commun. Networks Distributed Syst. 25 (1) (2020)
Linmin Hu, Dequan Yue, Zhanyou Ma
Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency. J. Syst. Sci. Complex. 33 (2) (2020)
Pengzhan Nie, Jiulei Jiang, Zhanyou Ma
CTL Symbolic Model Checking Based on Fuzzy Logic. DASC/PiCom/CBDCom/CyberSciTech (2020)
Zhanyou Ma, Jiaqi Fan, Yang Zhang, Lin Liu
Performance Analysis of Blockchain Consensus System With Interference Factors and Sleep Stage. IEEE Access 8 (2020)
Zhanyou Ma, Li Chen, Pengcheng Wang
Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations. J. Syst. Sci. Complex. 33 (4) (2020)
Panqing Zhang, Jiulei Jiang, Zhanyou Ma, Heng Zhu
Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures. DASC/PiCom/DataCom/CyberSciTech (2019)
Wenbo Wang, Zhanyou Ma, Jian Cao, Zhe Wang
Analysis of Half-Asleep and Wakeup Strategy in Wireless Mesh/Relay Networks with Double-State Channel. Int. J. Wirel. Inf. Networks 25 (2) (2018)
Wenbo Wang, Zhanyou Ma, Wuyi Yue, Yutaka Takahashi
Performance Analysis of a Dynamic Channel Vacation Scheme in Cognitive Radio Networks. QTNA (2018)
Ninglin Xu, Zhanyou Ma, Jiulei Jiang, Panqing Zhang
Model Checking Instance Based on NuSMV. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking computation tree logic over finite lattices. Theor. Comput. Sci. 612 (2016)
Yongming Li, Zhanyou Ma
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures. IEEE Trans. Fuzzy Syst. 23 (6) (2015)
Shunfu Jin, Xinghua Yao, Zhanyou Ma
A Novel Spectrum Allocation Strategy with Channel Bonding and Channel Reservation. KSII Trans. Internet Inf. Syst. 9 (10) (2015)
Yongming Li, Yali Li, Zhanyou Ma
Computation tree logic model checking based on possibility measures. Fuzzy Sets Syst. 262 (2015)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking fuzzy computation tree logic. Fuzzy Sets Syst. 262 (2015)
Zhanyou Ma, Pengcheng Wang, Wuyi Yue
The Pseudo-fault Geo/Geo/1 Queue with Setup Time and Multiple Working Vacation. QTNA (2015)
Yongming Li, Zhanyou Ma
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures. CoRR (2014)
Yongming Li, Yali Li, Zhanyou Ma
Computation Tree Logic Model Checking Based on Possibility Measures. CoRR (2014)
Zhanyou Ma, Wuyi Yue, Naishuo Tian
Performance evaluation of wireless communication networks for multi-traffic with multi-channel. WCNC (2009)
Zhanyou Ma, Qingzhen Xu
General decrementing service M/G/1 queue with multiple adaptive vacations. Appl. Math. Comput. 204 (1) (2008)
Qingzhen Xu, Zhanyou Ma
Discrete time Geo/G/1 queue with Bernoulli gated service simulation system. Appl. Math. Comput. 204 (1) (2008)