Zhongyun Zhang

According to our database, Zhongyun Zhang authored at least 4 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Joint Optimization of Pricing, Dispatching and Repositioning in Ride-Hailing With Multiple Models Interplayed Reinforcement Learning.

Zhongyun Zhang, Lei Yang, Jiajun Yao, Chao Ma, Jianguo Wang

IEEE Trans. Knowl. Data Eng., December, 2024

The Principle of Staking: Formal Verification of Staking Smart Contract.

Zhongyun Zhang, Kundu Chen, Weiqi Guo, Wenbo Zhang

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

The Formal Verification of Aptos Coin.

Kundu Chen, Jie Luo, Yi Lu, Zhongyun Zhang, Wenbo Zhang, Xudong Wang, Pan Li, Jun Zhao

Proceedings of the Information Security - 27th International Conference, 2024

1994

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