8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2026
From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
Ziyun Xu, Hao Wang, Meng Sun
Parallel execution has become a key approach to improving blockchain scalability, but the lack of formal semantics for smart contract languages in such settings makes rigorous reas…
cs.CR2021
Que Bian: An Electronic Medical Record Management System on Blockchain
Hao Wang
Medical Record Management System is an important information management system in healthcare centers and hospitals. Information kept in such systems need to be clean, correct and t…
cs.CR2020★ 8 cited
Medusa: Blockchain Powered Log Storage System
Hao Wang, Desheng Yang, Nian Duan +2
Blockchain is one of the most heavily invested technologies in recent years. Due to its tamper-proof and decentralization properties, blockchain has become an ideal utility for dat…