Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

by Zheng Yang, Hang Lei
Published 2020-01-01

FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq

by Zheng Yang, Hang Lei
Published 2019-01-01

A Design and Verification Methodology for a TrustZone Trusted Execution Environment

by Haiyong Sun, Hang Lei
Published 2020-01-01

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems

by Zheng Yang, Hang Lei
Published 2018-01-01

Research in the Feasibility of Web-based PPGIS to Reform the Image of City: A Case Study of Macau

by Veng-Hang Lei, 李永恆
Published 2008

Construction of the Neuropsychotherapy Model: A pilot study

by Seng HangLei, 李昇恆
Published 2013

The Structural Change of Trade in Late Qing South Taiwan

by Kuok-Hang, Lei, 李國恆
Published 2012

IKK Regulates Histone Methyltransferase G9a to Promote Cancer Progression

by Kai-Hang Lei, 李啟恆
Published 2014

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts

by Zheng Yang, Hang Lei, Weizhong Qian
Published 2020-01-01

Wind Tunnel Test Investigation on Unsteady Aerodynamic Coefficients of Iced 4-Bundle Conductors

by Mengqi Cai, Linshu Zhou, Hang Lei, Hanjie Huang
Published 2019-01-01

Image Representation Using Stacked Colour Histogram

by Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah
Published 2021-07-01

Advances in Disaster Modeling, Simulation and Visualization for Sandstorm Risk Management in North China

by Hang Lei, Zhaohui Lin, Jason K. Levy, Michelle L. Bell
Published 2012-05-01

Reconstructing Fire Records from Ground-Based Routine Aerosol Monitoring

by Hongmei Zhao, Daniel Q. Tong, Pius Lee, Hyuncheol Kim, Hang Lei
Published 2016-03-01

素養導向之數學教材設計與發展 Design and Development of Mathematical Literacy-Oriented Subject Materials

by 左台益 Tai-Yih Tso, 李健恆 Kin Hang Lei
Published 2018-12-01

Engineering Ternary Copper-Cobalt Sulfide Nanosheets as High-performance Electrocatalysts toward Oxygen Evolution Reaction

by Heng Luo, Hang Lei, Yufei Yuan, Yongyin Liang, Yi Qiu, Zonglong Zhu, Zilong Wang
Published 2019-05-01

Identification and characterization of non-tuberculous mycobacteria isolated from tuberculosis suspects in Southern-central China.

by Xiao-li Yu, Lian Lu, Gao-zhan Chen, Zhi-Guo Liu, Hang Lei, Yan-zheng Song, Shu-lin Zhang
Published 2014-01-01

mascRNA and its parent lncRNA MALAT1 promote proliferation and metastasis of hepatocellular carcinoma cells by activating ERK/MAPK signaling pathway

by Shu-Juan Xie, Li-Ting Diao, Nan Cai, Li-Ting Zhang, Sha Xiang, Chang-Chang Jia, Dong-Bo Qiu, Chang Liu, Yu-Jia Sun, Hang Lei, Ya-Rui Hou, Shuang Tao, Yan-Xia Hu, Zhen-Dong Xiao, Qi Zhang
Published 2021-05-01

Dynamic m6A mRNA Methylation Reveals the Role of METTL3/14-m6A-MNK2-ERK Signaling Axis in Skeletal Muscle Differentiation and Regeneration

by Shu-Juan Xie, Shu-Juan Xie, Hang Lei, Bing Yang, Li-Ting Diao, Jian-You Liao, Jie-Hua He, Shuang Tao, Yan-Xia Hu, Ya-Rui Hou, Yu-Jia Sun, Yan-Wen Peng, Qi Zhang, Qi Zhang, Zhen-Dong Xiao
Published 2021-10-01

Modeling the global atmospheric transport and deposition of mercury to the Great Lakes

by Mark D. Cohen, Roland R. Draxler, Richard S. Artz, Pierrette Blanchard, Mae Sexauer Gustin, Young-Ji Han, Thomas M. Holsen, Daniel A. Jaffe, Paul Kelley, Hang Lei, Christopher P. Loughner, Winston T. Luke, Seth N. Lyman, David Niemi, Jozef M. Pacyna, Martin Pilote, Laurier Poissant, Dominique Ratte, Xinrong Ren, Frits Steenhuisen, Alexandra Steffen, Rob Tordon, Simon J. Wilson
Published 2016-07-01