Automatic program analysis and verification and their applications in smart contracts

بواسطة Jiao, Jiao
منشور في 2021

A generalized formal semantic framework for smart contracts

بواسطة JIAO, Jiao, LIN, Shang-Wei, SUN, Jun
منشور في 2020

Semantic understanding of smart contracts: Executable operational semantics of solidity

بواسطة JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun
منشور في 2020

Shaping a subwavelength needle with ultra-long focal length by focusing azimuthally polarized light

بواسطة Qin, Fei, Huang, Kun, Wu, Jianfeng, Jiao, Jiao, Luo, Xiangang, Qiu, Chengwei, Hong, Minghui
منشور في 2016