Xingtao Ren

According to our database¹, Xingtao Ren authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Study on underground engineering auxiliary planning and design technology based on BIM+GIS.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2024

2022

Verifying the safety properties of distributed systems via mergeable parallelism.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

2021

Verifying the Correctness of Distributed Systems via Mergeable Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021