We stand with Ukraine  

Hua Guo

Orcid: 0009-0003-4410-0636

Affiliations:
  • Renmin University of China (RUC), School of Information, China


According to our database1, Hua Guo authored at least 4 papers between 2021 and 2025.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems.
[BibTeX]
[DOI]
Hua Guo
,
Yunhong Ji
,
Xuan Zhou
CoRR, September, 2025

2024
The Development of a TLA<sup>+</sup> Verified Correctness Raft Consensus Protocol.
[BibTeX]
[DOI]
Hua Guo
,
Yunhong Ji
,
Xuan Zhou
Proceedings of the Web and Big Data - 8th International Joint Conference, 2024

A Composable Architecture for Cloud Transactional DBMS.
[BibTeX]
[DOI]
Hua Guo
,
Yunhong Ji
,
Huiqi Hu
,
Xuan Zhou
Proceedings of the Web and Big Data - 8th International Joint Conference, 2024

2021
Lock Violation for Fault-tolerant Distributed Database System<sup>*</sup>.
[BibTeX]
[DOI]
Hua Guo
,
Xuan Zhou
,
Le Cai
Proceedings of the 37th IEEE International Conference on Data Engineering, 2021


  Loading...