Login / Signup
Bangjie Zhu
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Signature Verification
Constraint Satisfaction Problems
Graph Representation
Contract Net Protocol
Top Venues
Int. J. Reason. based Intell. Syst.
SAC
</>
Publications
</>
Bangjie Zhu
,
Jiaqi Yin
,
Sini Chen
,
Huibiao Zhu
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.
SAC
(2024)
Guanlin Chen
,
Qiao Hu
,
Qi Lu
,
Kaimin Li
,
Bangjie Zhu
A hazardous chemical knowledge base construction method based on knowledge graph.
Int. J. Reason. based Intell. Syst.
14 (4) (2022)