( en | de | ru )

 

Disambiguation of "Li, Xiaozhou"

Author of the publication

copydeleteadd this publication to your clipboard
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols.

, , and . ICSE Companion, page 16-20. IEEE, (2023)

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.

Li Li

Li Li

Li Li

Li Li

Li Li

 

Other publications of authors with the same name

OSS PESTO: An Open Source Software Project Evaluation and Selection TOol., and . OSS, volume 624 of IFIP Advances in Information and Communication Technology, page 42-50. Springer, (2021)HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols., , and . ICSE Companion, page 16-20. IEEE, (2023)Brief announcement: concurrent maintenance of rings., , and . PODC, page 376. ACM, (2004)Scaling IP multicast on datacenter topologies., and . CoNEXT, page 61-72. ACM, (2013)Models for Mobile Application Maintenance Based on Update History., , and . ENASE, page 212-217. SciTePress, (2014)Ratings vs. Reviews in Recommender Systems: A Case Study on the Amazon Movies Dataset., , , and . ADBIS (Short Papers and Workshops), volume 1064 of Communications in Computer and Information Science, page 68-76. Springer, (2019)6GSoft: Software for Edge-to-Cloud Continuum., , , , , , , , , and 10 other author(s). CoRR, (2024)A Dataset of Microservices-based Open-Source Projects., , , , , , , , , and 9 other author(s). MSR, page 504-509. ACM, (2024)Systems and Algorithms for High-Performance, Cost-Efficient Key-Value Storage. Princeton University, USA, (2016)Toward Collaboration Optimization in Microservice Projects Based on Developer Personalities., , , and . ICSA-C, page 95-99. IEEE, (2024)