SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts[J]
EMPIRICAL SOFTWARE ENGINEERING
机构作者
Gao, Sheng
文献数量：1
Xu, Yahua
文献数量：2
Zhang, Qinnan
文献数量：1
Zhang, Zhong-Yuan
文献数量：1
Zhao, Yang
文献数量：2
Zhu, Jianming
文献数量：1
Zhu, Yifeng
文献数量：1
机构文献
Liquidity in the cryptocurrency market and commonalities across anomalies[J]
INTERNATIONAL REVIEW OF FINANCIAL ANALYSIS
Intraday return predictability in the cryptocurrency markets: Momentum, reversal, or both[J]
NORTH AMERICAN JOURNAL OF ECONOMICS AND FINANCE
Dynamic asymmetric dependence and portfolio management in cryptocurrency markets[J]
FINANCE RESEARCH LETTERS
Editorial: Cryptocurrency Transaction Analysis From a Network Perspective[J]
FRONTIERS IN PHYSICS
Blockchain Empowered Reliable Federated Learning by Worker Selection : A Trustworthy Reputation Evaluation Method[C]
2021 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE WORKSHOPS (WCNCW)