General decrementing service M/G/1 queue with multiple adaptive vacations. - Zhanyou Ma; Qingzhen Xu (Appl. Math. Comput., 2008)

Discrete time Geo/G/1 queue with Bernoulli gated service simulation system. - Qingzhen Xu; Zhanyou Ma (Appl. Math. Comput., 2008)

Performance evaluation of wireless communication networks for multi-traffic with multi-channel. - Zhanyou Ma; Wuyi Yue; Naishuo Tian (WCNC, 2009)

The Pseudo-fault Geo/Geo/1 Queue with Setup Time and Multiple Working Vacation. - Zhanyou Ma; Pengcheng Wang; Wuyi Yue (QTNA, 2015)

Computation tree logic model checking based on possibility measures. - Yongming Li 001; Yali Li; Zhanyou Ma (Fuzzy Sets Syst., 2015)

Model checking fuzzy computation tree logic. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Fuzzy Sets 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)

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures. - Yongming Li 001; Zhanyou Ma (IEEE Trans. Fuzzy Syst., 2015)

Model checking computation tree logic over finite lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Theor. Comput. Sci., 2016)

Performance Analysis of a Dynamic Channel Vacation Scheme in Cognitive Radio Networks. - Wenbo Wang; Zhanyou Ma; Wuyi Yue; Yutaka Takahashi 001 (QTNA, 2018)

Model Checking Instance Based on NuSMV. - Ninglin Xu; Zhanyou Ma; Jiulei Jiang; Panqing Zhang (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 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)

Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures. - Panqing Zhang; Jiulei Jiang; Zhanyou Ma; Heng Zhu (DASC/PiCom/DataCom/CyberSciTech, 2019)

CTL Symbolic Model Checking Based on Fuzzy Logic. - Pengzhan Nie; Jiulei Jiang; Zhanyou Ma (DASC/PiCom/CBDCom/CyberSciTech, 2020)

Performance Analysis of Blockchain Consensus System With Interference Factors and Sleep Stage. - Zhanyou Ma; Jiaqi Fan; Yang Zhang; Lin Liu (IEEE Access, 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 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)

Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency. - Linmin Hu; Dequan Yue; Zhanyou Ma (J. Syst. Sci. Complex., 2020)

Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations. - Zhanyou Ma; Li Chen; Pengcheng Wang (J. Syst. Sci. Complex., 2020)

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)

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)

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)

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 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)

Analysis of wireless sensor networks with sleep mode and threshold activation. - Zhanyou Ma; Xiangran Yu; Shanshan Guo; Yang Zhang (Wirel. Networks, 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)

Performance analysis of P2P networks with malicious nodes. - Zhanyou Ma; Qiannan Si; Yilin Liu; Shunzhi Wang (Clust. Comput., 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)

An energy saving strategy based on M/M/c queueing model with preemptive priority and asynchronous working vacation. - Shanshan Guo; Zhanyou Ma; Xiangran Yu; Li Chen (Int. J. Auton. Adapt. Commun. Syst., 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)

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)

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)

Quantitative reachability analysis of generalized possibilistic decision processes. - Zhanyou Ma; Yingnan Gao; Zhaokai Li; Xia Li; Ziyuan Liu (J. Intell. Fuzzy Syst., 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., 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., 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, 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., 2023)

Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems. - Zhanyou Ma; Xia Li; Ziyuan Liu; Ruiqi Huang; Nana He (Fuzzy Sets Syst., 2024)

Performance analysis of P2p network content delivery based on queueing model. - Zhanyou Ma; Miao Yan; Rong Wang; Shunzhi Wang (Clust. Comput., 2024)

Performance analysis of P2P network based on differentiated service Geo/Geo/1 + 1 queue. - Ying Shen; Zhanyou Ma; Zishu Jiang; Yahui Li; Guoli Qin (Clust. Comput., 2024)

The analysis of P2P networks with malicious peers and repairable breakdown based on Geo/Geo/1+1 queue. - Ying Shen; Zhanyou Ma (J. Parallel Distributed Comput., 2025)