Can altcoins act as hedges or safe-havens for Bitcoin?[J] FINANCE RESEARCH LETTERS 2023(52) Li, Yi Lucey, Brian Urquhart, Andrew
VW-DBG: A Dynamically Evolving Bitcoin Transaction Network Model[J] IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING 2022(9) Geng, Jinke Li, Yi Fang, Li Chen, Ping
A Survey of Smart Contract Formal Specification and Verification[J] ACM COMPUTING SURVEYS 2021(54) Tolmach, Palina Li, Yi Lin, Shang-Wei Liu, Yang Li, Zengxiang
Towards Automated Verification of Smart Contract Fairness[C] PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20) 2020 Liu, Ye Li, Yi Lin, Shang-Wei Zhao, Rong
