Xiaosong Gu

A Lipid Bodies-Associated Galactosyl Hydrolase Is Involved in Triacylglycerol Biosynthesis and Galactolipid Turnover in the Unicellular Green Alga Chlamydomonas reinhardtii

Q. Hu, Danxiang Han, Yanhua Li, 2021, Plants.

Raft with Out-of-Order Executions

Hengfeng Wei, Yu Huang, Xiaosong Gu, 2021, Int. J. Softw. Informatics.

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction

Xiaoxing Ma, Yu Huang, Xiaosong Gu, 2022, 2022 41st International Symposium on Reliable Distributed Systems (SRDS).

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction

Xiaoxing Ma, Yu Huang, Xiaosong Gu, 2022, ArXiv.