BibTeX records: Zhanyou Ma

download as .bib file

@article{DBLP:journals/concurrency/ZhangMLW23,
  author       = {Yukang Zhang and
                  Zhanyou Ma and
                  Yilin Liu and
                  Shunzhi Wang},
  title        = {Analysis of {P2P} network system based on two-stage service and failure
                  repairability},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {35},
  number       = {23},
  year         = {2023},
  url          = {https://doi.org/10.1002/cpe.7765},
  doi          = {10.1002/CPE.7765},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ZhangMLW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fgcs/MaGW23,
  author       = {Zhanyou Ma and
                  Shanshan Guo and
                  Rong Wang},
  title        = {The virtual machines scheduling strategy based on M/M/c queueing model
                  with vacation},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {138},
  pages        = {43--51},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.future.2022.08.001},
  doi          = {10.1016/J.FUTURE.2022.08.001},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/MaGW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jifs/MaGLLL23,
  author       = {Zhanyou Ma and
                  Yingnan Gao and
                  Zhaokai Li and
                  Xia Li and
                  Ziyuan Liu},
  title        = {Quantitative reachability analysis of generalized possibilistic decision
                  processes},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {44},
  number       = {5},
  pages        = {8357--8373},
  year         = {2023},
  url          = {https://doi.org/10.3233/JIFS-222803},
  doi          = {10.3233/JIFS-222803},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jifs/MaGLLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ppna/ZhangMLL23,
  author       = {Changzhen Zhang and
                  Zhanyou Ma and
                  Lin Liu and
                  Yilin Liu},
  title        = {Modeling {\&} analysis of block generation process of the mining
                  pool in blockchain system},
  journal      = {Peer Peer Netw. Appl.},
  volume       = {16},
  number       = {2},
  pages        = {475--487},
  year         = {2023},
  url          = {https://doi.org/10.1007/s12083-022-01359-8},
  doi          = {10.1007/S12083-022-01359-8},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ppna/ZhangMLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ppna/ZhangMLL23a,
  author       = {Changzhen Zhang and
                  Zhanyou Ma and
                  Lin Liu and
                  Yilin Liu},
  title        = {Correction to: Modeling {\&} analysis of block generation process
                  of the mining pool in blockchain system},
  journal      = {Peer Peer Netw. Appl.},
  volume       = {16},
  number       = {3},
  pages        = {1570},
  year         = {2023},
  url          = {https://doi.org/10.1007/s12083-023-01483-z},
  doi          = {10.1007/S12083-023-01483-Z},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ppna/ZhangMLL23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tjs/WangMWF23,
  author       = {Shunzhi Wang and
                  Zhanyou Ma and
                  Rong Wang and
                  Wenming Fang},
  title        = {Performance analysis of a queueing system based on working vacation
                  with repairable fault in the {P2P} network},
  journal      = {J. Supercomput.},
  volume       = {79},
  number       = {12},
  pages        = {12902--12923},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11227-023-05154-x},
  doi          = {10.1007/S11227-023-05154-X},
  timestamp    = {Fri, 30 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/WangMWF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/winet/WangMNL23,
  author       = {Shunzhi Wang and
                  Zhanyou Ma and
                  Xinying Niu and
                  Yilin Liu},
  title        = {Performance analysis of a Queueing system based on vacation with fault
                  repairable and spare servers in the {MP2P} network},
  journal      = {Wirel. Networks},
  volume       = {29},
  number       = {5},
  pages        = {2321--2336},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11276-023-03310-y},
  doi          = {10.1007/S11276-023-03310-Y},
  timestamp    = {Wed, 12 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/winet/WangMNL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cluster/MaSLW22,
  author       = {Zhanyou Ma and
                  Qiannan Si and
                  Yilin Liu and
                  Shunzhi Wang},
  title        = {Performance analysis of {P2P} networks with malicious nodes},
  journal      = {Clust. Comput.},
  volume       = {25},
  number       = {6},
  pages        = {4325--4337},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10586-022-03683-3},
  doi          = {10.1007/S10586-022-03683-3},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cluster/MaSLW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/entropy/MaLLGL22,
  author       = {Zhanyou Ma and
                  Zhaokai Li and
                  Weijun Li and
                  Yingnan Gao and
                  Xia Li},
  title        = {Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision
                  Processes with Cost},
  journal      = {Entropy},
  volume       = {24},
  number       = {9},
  pages        = {1183},
  year         = {2022},
  url          = {https://doi.org/10.3390/e24091183},
  doi          = {10.3390/E24091183},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/MaLLGL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijaacs/GuoMYC22,
  author       = {Shanshan Guo and
                  Zhanyou Ma and
                  Xiangran Yu and
                  Li Chen},
  title        = {An energy saving strategy based on M/M/\emph{c} queueing model with
                  preemptive priority and asynchronous working vacation},
  journal      = {Int. J. Auton. Adapt. Commun. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {106--125},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJAACS.2022.123462},
  doi          = {10.1504/IJAACS.2022.123462},
  timestamp    = {Tue, 12 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaacs/GuoMYC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/symmetry/LiMLG22,
  author       = {Zhaokai Li and
                  Zhanyou Ma and
                  Xia Li and
                  Yingnan Gao},
  title        = {A Method Converting Multi-Properties Objective Reachability Problems
                  to Multi-Objective Sets Reachability Problems over {FKS}},
  journal      = {Symmetry},
  volume       = {14},
  number       = {11},
  pages        = {2278},
  year         = {2022},
  url          = {https://doi.org/10.3390/sym14112278},
  doi          = {10.3390/SYM14112278},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/symmetry/LiMLG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcnds/FanMYZ21,
  author       = {Jiaqi Fan and
                  Zhanyou Ma and
                  Xiangran Yu and
                  Yang Zhang},
  title        = {Performance analysis of batch receiving wireless sensor networks with
                  interference signals},
  journal      = {Int. J. Commun. Networks Distributed Syst.},
  volume       = {27},
  number       = {1},
  pages        = {51--76},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCNDS.2021.116467},
  doi          = {10.1504/IJCNDS.2021.116467},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcnds/FanMYZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcnds/LiuMSY21,
  author       = {Fengjiao Liu and
                  Zhanyou Ma and
                  Qiannan Si and
                  Miao Yan},
  title        = {Performance analysis of peer-to-peer networks based on two-phase service
                  queuing theory},
  journal      = {Int. J. Commun. Networks Distributed Syst.},
  volume       = {27},
  number       = {4},
  pages        = {349--365},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCNDS.2021.119215},
  doi          = {10.1504/IJCNDS.2021.119215},
  timestamp    = {Wed, 12 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcnds/LiuMSY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwmc/MaYGF21,
  author       = {Zhanyou Ma and
                  Xiangran Yu and
                  Shanshan Guo and
                  Jiaqi Fan},
  title        = {Analysis of wireless sensor networks based on non-exhaustive {M/G/1}
                  queueing model},
  journal      = {Int. J. Wirel. Mob. Comput.},
  volume       = {21},
  number       = {3},
  pages        = {214--229},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJWMC.2021.120899},
  doi          = {10.1504/IJWMC.2021.120899},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijwmc/MaYGF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jpdc/MaZZW21,
  author       = {Zhanyou Ma and
                  Changzhen Zhang and
                  Liyuan Zhang and
                  Shunzhi Wang},
  title        = {Energy saving strategy and Nash equilibrium of hybrid {P2P} networks},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {157},
  pages        = {145--156},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jpdc.2021.06.009},
  doi          = {10.1016/J.JPDC.2021.06.009},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/MaZZW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tjs/FanMZZ21,
  author       = {Jiaqi Fan and
                  Zhanyou Ma and
                  Yang Zhang and
                  Changzhen Zhang},
  title        = {Analysis of blockchain system based on {\textdollar}{\textbackslash}hbox
                  \{M\}/({\textbackslash}hbox \{M\}{\_}1, {\textbackslash}hbox \{M\}{\_}2)/1{\textdollar}
                  vacation queueing model},
  journal      = {J. Supercomput.},
  volume       = {77},
  number       = {4},
  pages        = {3673--3694},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11227-020-03408-6},
  doi          = {10.1007/S11227-020-03408-6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/FanMZZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/winet/MaYGZ21,
  author       = {Zhanyou Ma and
                  Xiangran Yu and
                  Shanshan Guo and
                  Yang Zhang},
  title        = {Analysis of wireless sensor networks with sleep mode and threshold
                  activation},
  journal      = {Wirel. Networks},
  volume       = {27},
  number       = {2},
  pages        = {1431--1443},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11276-020-02512-y},
  doi          = {10.1007/S11276-020-02512-Y},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/winet/MaYGZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/winet/SiMLW21,
  author       = {Qiannan Si and
                  Zhanyou Ma and
                  Fengjiao Liu and
                  Rong Wang},
  title        = {Performance analysis of {P2P} network with dynamic changes of servers
                  based on M/M/c queuing model},
  journal      = {Wirel. Networks},
  volume       = {27},
  number       = {5},
  pages        = {3287--3297},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11276-021-02659-2},
  doi          = {10.1007/S11276-021-02659-2},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/winet/SiMLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/MaFZL20,
  author       = {Zhanyou Ma and
                  Jiaqi Fan and
                  Yang Zhang and
                  Lin Liu},
  title        = {Performance Analysis of Blockchain Consensus System With Interference
                  Factors and Sleep Stage},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {119010--119019},
  year         = {2020},
  url          = {https://doi.org/10.1109/ACCESS.2020.3005919},
  doi          = {10.1109/ACCESS.2020.3005919},
  timestamp    = {Fri, 31 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/MaFZL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcnds/CaoMGY20,
  author       = {Jian Cao and
                  Zhanyou Ma and
                  Shanshan Guo and
                  Xiangran Yu},
  title        = {Performance analysis of non-exhaustive wireless sensor networks based
                  on queueing theory},
  journal      = {Int. J. Commun. Networks Distributed Syst.},
  volume       = {24},
  number       = {2},
  pages        = {186--213},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCNDS.2020.104748},
  doi          = {10.1504/IJCNDS.2020.104748},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcnds/CaoMGY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcnds/YuMGC20,
  author       = {Xiangran Yu and
                  Zhanyou Ma and
                  Shanshan Guo and
                  Li Chen},
  title        = {Performance analysis of wireless communication networks with threshold
                  activation process and interference signals},
  journal      = {Int. J. Commun. Networks Distributed Syst.},
  volume       = {25},
  number       = {1},
  pages        = {78--94},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCNDS.2020.108157},
  doi          = {10.1504/IJCNDS.2020.108157},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcnds/YuMGC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jossac/HuYM20,
  author       = {Linmin Hu and
                  Dequan Yue and
                  Zhanyou Ma},
  title        = {Availability Analysis of a Repairable Series-Parallel System with
                  Redundant Dependency},
  journal      = {J. Syst. Sci. Complex.},
  volume       = {33},
  number       = {2},
  pages        = {446--460},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11424-019-8039-x},
  doi          = {10.1007/S11424-019-8039-X},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jossac/HuYM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jossac/MaCW20,
  author       = {Zhanyou Ma and
                  Li Chen and
                  Pengcheng Wang},
  title        = {Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations},
  journal      = {J. Syst. Sci. Complex.},
  volume       = {33},
  number       = {4},
  pages        = {1144--1162},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11424-020-8117-0},
  doi          = {10.1007/S11424-020-8117-0},
  timestamp    = {Tue, 18 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jossac/MaCW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dasc/NieJM20,
  author       = {Pengzhan Nie and
                  Jiulei Jiang and
                  Zhanyou Ma},
  title        = {{CTL} Symbolic Model Checking Based on Fuzzy Logic},
  booktitle    = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
                  Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
                  Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
                  DASC/PiCom/CBDCom/CyberSciTech 2020, Calgary, AB, Canada, August 17-22,
                  2020},
  pages        = {380--385},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DASC-PICom-CBDCom-CyberSciTech49142.2020.00074},
  doi          = {10.1109/DASC-PICOM-CBDCOM-CYBERSCITECH49142.2020.00074},
  timestamp    = {Fri, 20 Nov 2020 11:30:51 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/NieJM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dasc/ZhangJMZ19,
  author       = {Panqing Zhang and
                  Jiulei Jiang and
                  Zhanyou Ma and
                  Heng Zhu},
  title        = {Quantitative {\(\mathrm{\mu}\)}-Calculus Model Checking Algorithm
                  Based on Generalized Possibility Measures},
  booktitle    = {2019 {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing,
                  Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
                  and Big Data Computing, Intl Conf on Cyber Science and Technology
                  Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August
                  5-8, 2019},
  pages        = {449--453},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00091},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CYBERSCITECH.2019.00091},
  timestamp    = {Sun, 10 Nov 2019 16:47:28 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/ZhangJMZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwin/WangMCW18,
  author       = {Wenbo Wang and
                  Zhanyou Ma and
                  Jian Cao and
                  Zhe Wang},
  title        = {Analysis of Half-Asleep and Wakeup Strategy in Wireless Mesh/Relay
                  Networks with Double-State Channel},
  journal      = {Int. J. Wirel. Inf. Networks},
  volume       = {25},
  number       = {2},
  pages        = {173--185},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10776-018-0390-7},
  doi          = {10.1007/S10776-018-0390-7},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwin/WangMCW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qtna/WangMYT18,
  author       = {Wenbo Wang and
                  Zhanyou Ma and
                  Wuyi Yue and
                  Yutaka Takahashi},
  editor       = {Yutaka Takahashi and
                  Tuan Phung{-}Duc and
                  Sabine Wittevrongel and
                  Wuyi Yue},
  title        = {Performance Analysis of a Dynamic Channel Vacation Scheme in Cognitive
                  Radio Networks},
  booktitle    = {Queueing Theory and Network Applications - 13th International Conference,
                  {QTNA} 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10932},
  pages        = {182--190},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93736-6\_14},
  doi          = {10.1007/978-3-319-93736-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/qtna/WangMYT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uic/XuMJZ18,
  author       = {Ninglin Xu and
                  Zhanyou Ma and
                  Jiulei Jiang and
                  Panqing Zhang},
  editor       = {Guojun Wang and
                  Qi Han and
                  Md. Zakirul Alam Bhuiyan and
                  Xiaoxing Ma and
                  Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Peng Li and
                  Manuel Roveri and
                  Lei Chen},
  title        = {Model Checking Instance Based on NuSMV},
  booktitle    = {2018 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computing, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou,
                  China, October 8-12, 2018},
  pages        = {2052--2056},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SmartWorld.2018.00344},
  doi          = {10.1109/SMARTWORLD.2018.00344},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/uic/XuMJZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qtna/2017,
  editor       = {Wuyi Yue and
                  Quan{-}Lin Li and
                  Shunfu Jin and
                  Zhanyou Ma},
  title        = {Queueing Theory and Network Applications - 12th International Conference,
                  {QTNA} 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10591},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68520-5},
  doi          = {10.1007/978-3-319-68520-5},
  isbn         = {978-3-319-68519-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qtna/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PanLCM16,
  author       = {Haiyu Pan and
                  Yongming Li and
                  Yongzhi Cao and
                  Zhanyou Ma},
  title        = {Model checking computation tree logic over finite lattices},
  journal      = {Theor. Comput. Sci.},
  volume       = {612},
  pages        = {45--62},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.10.014},
  doi          = {10.1016/J.TCS.2015.10.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PanLCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fss/LiLM15,
  author       = {Yongming Li and
                  Yali Li and
                  Zhanyou Ma},
  title        = {Computation tree logic model checking based on possibility measures},
  journal      = {Fuzzy Sets Syst.},
  volume       = {262},
  pages        = {44--59},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.fss.2014.03.009},
  doi          = {10.1016/J.FSS.2014.03.009},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/LiLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fss/PanLCM15,
  author       = {Haiyu Pan and
                  Yongming Li and
                  Yongzhi Cao and
                  Zhanyou Ma},
  title        = {Model checking fuzzy computation tree logic},
  journal      = {Fuzzy Sets Syst.},
  volume       = {262},
  pages        = {60--77},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.fss.2014.07.008},
  doi          = {10.1016/J.FSS.2014.07.008},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/PanLCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/itiis/JinYM15,
  author       = {Shunfu Jin and
                  Xinghua Yao and
                  Zhanyou Ma},
  title        = {A Novel Spectrum Allocation Strategy with Channel Bonding and Channel
                  Reservation},
  journal      = {{KSII} Trans. Internet Inf. Syst.},
  volume       = {9},
  number       = {10},
  pages        = {4034--4053},
  year         = {2015},
  url          = {https://doi.org/10.3837/tiis.2015.10.015},
  doi          = {10.3837/TIIS.2015.10.015},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/itiis/JinYM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tfs/LiM15,
  author       = {Yongming Li and
                  Zhanyou Ma},
  title        = {Quantitative Computation Tree Logic Model Checking Based on Generalized
                  Possibility Measures},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {23},
  number       = {6},
  pages        = {2034--2047},
  year         = {2015},
  url          = {https://doi.org/10.1109/TFUZZ.2015.2396537},
  doi          = {10.1109/TFUZZ.2015.2396537},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tfs/LiM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qtna/MaWY15,
  author       = {Zhanyou Ma and
                  Pengcheng Wang and
                  Wuyi Yue},
  editor       = {Tien Van Do and
                  Yutaka Takahashi and
                  Wuyi Yue and
                  Viet{-}Ha Nguyen},
  title        = {The Pseudo-fault Geo/Geo/1 Queue with Setup Time and Multiple Working
                  Vacation},
  booktitle    = {Queueing Theory and Network Applications, {QTNA} 2015, Hanoi, Vietnam,
                  August 17-20, 2015},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {383},
  pages        = {105--112},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22267-7\_10},
  doi          = {10.1007/978-3-319-22267-7\_10},
  timestamp    = {Fri, 18 Mar 2022 09:46:38 +0100},
  biburl       = {https://dblp.org/rec/conf/qtna/MaWY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LiLM14,
  author       = {Yongming Li and
                  Yali Li and
                  Zhanyou Ma},
  title        = {Computation Tree Logic Model Checking Based on Possibility Measures},
  journal      = {CoRR},
  volume       = {abs/1401.4658},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.4658},
  eprinttype    = {arXiv},
  eprint       = {1401.4658},
  timestamp    = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LiM14d,
  author       = {Yongming Li and
                  Zhanyou Ma},
  title        = {Quantitative Computation Tree Logic Model Checking Based on Generalized
                  Possibility Measures},
  journal      = {CoRR},
  volume       = {abs/1409.6466},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.6466},
  eprinttype    = {arXiv},
  eprint       = {1409.6466},
  timestamp    = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiM14d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcnc/MaYT09,
  author       = {Zhanyou Ma and
                  Wuyi Yue and
                  Naishuo Tian},
  title        = {Performance evaluation of wireless communication networks for multi-traffic
                  with multi-channel},
  booktitle    = {2009 {IEEE} Wireless Communications and Networking Conference, {WCNC}
                  2009, Proceedings, Budapest, Hungary, 5-8 April 2009},
  pages        = {2607--2612},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/WCNC.2009.4917897},
  doi          = {10.1109/WCNC.2009.4917897},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/MaYT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amc/XuM08,
  author       = {Qingzhen Xu and
                  Zhanyou Ma},
  title        = {Discrete time Geo/G/1 queue with Bernoulli gated service simulation
                  system},
  journal      = {Appl. Math. Comput.},
  volume       = {204},
  number       = {1},
  pages        = {37--44},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.amc.2008.06.001},
  doi          = {10.1016/J.AMC.2008.06.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/XuM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amc/MaX08,
  author       = {Zhanyou Ma and
                  Qingzhen Xu},
  title        = {General decrementing service {M/G/1} queue with multiple adaptive
                  vacations},
  journal      = {Appl. Math. Comput.},
  volume       = {204},
  number       = {1},
  pages        = {478--484},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.amc.2008.07.004},
  doi          = {10.1016/J.AMC.2008.07.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/MaX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.