Zhanyou Ma

Orcid: 0000-0002-1812-7638

According to our database1, Zhanyou Ma authored at least 40 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Performance analysis of P2P network based on differentiated service Geo/Geo/1 + 1 queue.
Clust. Comput., October, 2024

Performance analysis of P2p network content delivery based on queueing model.
Clust. Comput., June, 2024

Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems.
Fuzzy Sets Syst., 2024

2023
Performance analysis of a queueing system based on working vacation with repairable fault in the P2P network.
J. Supercomput., August, 2023

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

Correction to: Modeling & analysis of block generation process of the mining pool in blockchain system.
Peer Peer Netw. Appl., May, 2023

Modeling & analysis of block generation process of the mining pool in blockchain system.
Peer Peer Netw. Appl., March, 2023

Quantitative reachability analysis of generalized possibilistic decision processes.
J. Intell. Fuzzy Syst., 2023

The virtual machines scheduling strategy based on M/M/c queueing model with vacation.
Future Gener. Comput. Syst., 2023

Analysis of P2P network system based on two-stage service and failure repairability.
Concurr. Comput. Pract. Exp., 2023

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

An energy saving strategy based on M/M/<i>c</i> queueing model with preemptive priority and asynchronous working vacation.
Int. J. Auton. Adapt. Commun. Syst., 2022

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

Performance analysis of P2P networks with malicious nodes.
Clust. Comput., 2022

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

Analysis of wireless sensor networks with sleep mode and threshold activation.
Wirel. Networks, 2021

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

Energy saving strategy and Nash equilibrium of hybrid P2P networks.
J. Parallel Distributed Comput., 2021

Analysis of wireless sensor networks based on non-exhaustive M/G/1 queueing model.
Int. J. Wirel. Mob. Comput., 2021

Performance analysis of peer-to-peer networks based on two-phase service queuing theory.
Int. J. Commun. Networks Distributed Syst., 2021

Performance analysis of batch receiving wireless sensor networks with interference signals.
Int. J. Commun. Networks Distributed Syst., 2021

2020
Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations.
J. Syst. Sci. Complex., 2020

Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency.
J. Syst. Sci. Complex., 2020

Performance analysis of wireless communication networks with threshold activation process and interference signals.
Int. J. Commun. Networks Distributed Syst., 2020

Performance analysis of non-exhaustive wireless sensor networks based on queueing theory.
Int. J. Commun. Networks Distributed Syst., 2020

Performance Analysis of Blockchain Consensus System With Interference Factors and Sleep Stage.
IEEE Access, 2020

CTL Symbolic Model Checking Based on Fuzzy Logic.
Proceedings of the IEEE Intl Conf on Dependable, 2020

2019
Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures.
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.
Int. J. Wirel. Inf. Networks, 2018

Model Checking Instance Based on NuSMV.
Proceedings of the 2018 IEEE SmartWorld, 2018

Performance Analysis of a Dynamic Channel Vacation Scheme in Cognitive Radio Networks.
Proceedings of the Queueing Theory and Network Applications, 2018

2016
Model checking computation tree logic over finite lattices.
Theor. Comput. Sci., 2016

2015
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
IEEE Trans. Fuzzy Syst., 2015

A Novel Spectrum Allocation Strategy with Channel Bonding and Channel Reservation.
KSII Trans. Internet Inf. Syst., 2015

Model checking fuzzy computation tree logic.
Fuzzy Sets Syst., 2015

Computation tree logic model checking based on possibility measures.
Fuzzy Sets Syst., 2015

The Pseudo-fault Geo/Geo/1 Queue with Setup Time and Multiple Working Vacation.
Proceedings of the Queueing Theory and Network Applications, 2015

2009
Performance evaluation of wireless communication networks for multi-traffic with multi-channel.
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

2008
Discrete time Geo/G/1 queue with Bernoulli gated service simulation system.
Appl. Math. Comput., 2008

General decrementing service M/G/1 queue with multiple adaptive vacations.
Appl. Math. Comput., 2008


  Loading...