Hanjie Dong

According to our database, Hanjie Dong authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

The Hybrid Trip Destination Prediction Model of Vehicles Based on Autoencoder and High-Order Interaction Features.

Yuchu He, Zhijuan Jia, Mingsheng Hu, Geng Zhang, Hanjie Dong

IEEE Trans. Intell. Transp. Syst., August, 2023

2022

Formal Verification of Smart Contract Based on Timed Colored Petri Net.

Yaqiong He, Hanjie Dong, Runliu Wang, Huaiguang Wu

Proceedings of the 11th International Conference on Networks, Communication and Computing, 2022

A Framework for Formal Transformation and Analysis of Smart Contract Code.

Hanjie Dong, Yaqiong He, Hongwei Tao, Qianheng Duan

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022