Login / Signup
Hanjie Dong
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Petri Net
Prediction Model
Low Order
Formal Verification
Top Venues
ICNCC
IEEE Trans. Intell. Transp. Syst.
DSA
</>
Publications
</>
Yuchu He
,
Zhijuan Jia
,
Mingsheng Hu
,
Geng Zhang
,
Hanjie Dong
The Hybrid Trip Destination Prediction Model of Vehicles Based on Autoencoder and High-Order Interaction Features.
IEEE Trans. Intell. Transp. Syst.
24 (8) (2023)
Hanjie Dong
,
Yaqiong He
,
Hongwei Tao
,
Qianheng Duan
A Framework for Formal Transformation and Analysis of Smart Contract Code.
DSA
(2022)
Yaqiong He
,
Hanjie Dong
,
Runliu Wang
,
Huaiguang Wu
Formal Verification of Smart Contract Based on Timed Colored Petri Net.
ICNCC
(2022)