Author of the publication

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV.

, , , and . J. Comput., 4 (6): 519-526 (2009)

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

Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare., , , and . FCST, page 213-218. IEEE Computer Society, (2009)Higher-Order Heterogeneous Graph Convolutional Network Based on Meta-Paths., , , and . IJCNN, page 1-8. IEEE, (2020)Layer-Prioritized Influence Maximization in Social Networks., , and . ICONIP (5), volume 10638 of Lecture Notes in Computer Science, page 631-638. Springer, (2017)基于用户相似度和特征分化的广告点击率预测研究 (Study on Advertising Click-through Rate Prediction Based on User Similarity and Feature Differentiation)., , and . 计算机科学, 44 (2): 283-289 (2017)Coarsening Networks Based on Local Link Similarity for Community Detection., , and . COMPSAC (1), page 317-326. IEEE Computer Society, (2018)A Heterogeneous Collaborative Filtering Model for Social Recommendation., , , and . ICONIP (5), volume 1516 of Communications in Computer and Information Science, page 414-421. Springer, (2021)A Deep Matrix Factorization Method with Missing Not at Random Data for Social Recommendation., , , and . ICONIP (2), volume 11954 of Lecture Notes in Computer Science, page 682-694. Springer, (2019)An Abstract Model for Service Compositions Based on Agents., and . International Conference on Computational Science (3), volume 3516 of Lecture Notes in Computer Science, page 1032-1035. Springer, (2005)Dynamic Bidding Strategy Based on Probabilistic Feedback in Display Advertising., , , and . ICONIP (2), volume 10635 of Lecture Notes in Computer Science, page 845-853. Springer, (2017)Matchmaking for Semantic Web Services., , and . IEEE SCC, page 455-458. IEEE Computer Society, (2004)