Author of the publication

Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization.

, , , , and . ICEBE, page 32-39. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Research on the dynamic reconfiguration of Web application using two-phase compatibility verification., and . Int. J. Comput. Math., 90 (11): 2265-2278 (2013)Special Issue on AI-Driven Smart Networking and Communication for Personal Internet of Things: Part II., , , and . Int. J. Wirel. Inf. Networks, 27 (2): 207-208 (2020)Special Issue on AI-Driven Smart Networking and Communication for Personal Internet of Things, Part I., , , and . Int. J. Wirel. Inf. Networks, 26 (3): 131-132 (2019)A Dynamic Planning Framework for QoS-Based Mobile Service Composition Under Cloud-Edge Hybrid Environments., , , and . CollaborateCom, volume 292 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 58-70. Springer, (2019)Learning from High-Degree Entities for Knowledge Graph Modeling., , , , and . CollaborateCom, volume 268 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 504-517. Springer, (2018)Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective., , , , and . International Journal of Software Engineering and Knowledge Engineering, 28 (10): 1369-1397 (2018)Spherical Tiling by 12 Congruent Pentagons, , and . (2010)cite arxiv:1009.2361 Comment: 56 pages, 45 figures, spherical geometry.Editorial: ACM/Springer Mobile Networks & Applications - Special Issue on Mobile Service Computing and Applications., , and . Mob. Networks Appl., 25 (2): 373-375 (2020)IEEE Access Special Section Editorial: Innovation and Application of Internet of Things and Emerging Technologies in Smart Sensing., , , and . IEEE Access, (2021)A Hybrid Approach to Trust Node Assessment and Management for VANETs Cooperative Data Communication: Historical Interaction Perspective., , , , and . IEEE Trans. Intell. Transp. Syst., 23 (9): 16504-16513 (2022)