Login / Signup
Wang Duo
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Colored Petri Nets
Smart Environments
Trading Agents
Formal Analysis
Top Venues
IEEE Intell. Syst.
ICAIP
</>
Publications
</>
Wang Duo
,
Xin Huang
,
Xiaofeng Ma
Formal Analysis of Smart Contract Based on Colored Petri Nets.
IEEE Intell. Syst.
35 (3) (2020)
Wang Ye
,
Wang Duo
Autonomous FOREX Trading Agents.
ICAIP
(2019)