Data management for a class of iterative computations on distributed-memory MIMD systems. - Marius A. Cornea-Hasegan; Dan C. Marinescu; Zhongyun Zhang (Concurr. Pract. Exp., 1994)

The Formal Verification of Aptos Coin. - Kundu Chen; Jie Luo; Yi Lu; Zhongyun Zhang; Wenbo Zhang; Xudong Wang; Pan Li; Jun Zhao (ISC (1), 2024)

The Principle of Staking: Formal Verification of Staking Smart Contract. - Zhongyun Zhang; Kundu Chen; Weiqi Guo; Wenbo Zhang 004 (SETTA, 2024)

Joint Optimization of Pricing, Dispatching and Repositioning in Ride-Hailing With Multiple Models Interplayed Reinforcement Learning. - Zhongyun Zhang; Lei Yang 024; Jiajun Yao; Chao Ma 008; Jianguo Wang 001 (IEEE Trans. Knowl. Data Eng., 2024)