A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

Por Tianyu Sun, Wensheng Yu
Publicado em 2020-02-01

Therapeutic strategies of glioblastoma (GBM): The current advances in the molecular targets and bioactive small molecule compounds

Por Hui Liu, Weimin Qiu, Tianyu Sun, Lei Wang, Chenxi Du, Yanyu Hu, Wenyuan Liu, Feng Feng, Yao Chen, Haopeng Sun
Publicado em 2022-04-01

FAM20B-catalyzed glycosaminoglycans control murine tooth number by restricting FGFR2b signaling

Por Jingyi Wu, Ye Tian, Lu Han, Chao Liu, Tianyu Sun, Ling Li, Yanlei Yu, Bikash Lamichhane, Rena N. D’Souza, Sarah E. Millar, Robb Krumlauf, David M. Ornitz, Jian Q. Feng, Ophir Klein, Hu Zhao, Fuming Zhang, Robert J. Linhardt, Xiaofang Wang
Publicado em 2020-07-01