Verifying the Correctness of Distributed Systems via Mergeable Parallelism. - Teng Long; Xingtao Ren; Qing Wang; Chao Wang (SETTA, 2021)

Verifying the safety properties of distributed systems via mergeable parallelism. - Teng Long; Xingtao Ren; Qing Wang; Chao Wang (J. Syst. Archit., 2022)

Study on underground engineering auxiliary planning and design technology based on BIM+GIS. - Juntang Yang; Xingtao Ren; Jianbo Ren; Ke Lu; Linxing Qiu; Jiantao Pei (J. Comput. Methods Sci. Eng., 2024)

Research on underground engineering collaborative design platform based on "cloud + terminal" architecture and LSTM-MVCNN algorithm. - Juntang Yang; Fengwei Wu; Yang Zhao; Xingtao Ren (J. Comput. Methods Sci. Eng., 2025)