A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

by Tianyu Sun, Wensheng Yu
Published 2020-02-01

A Formal System of Axiomatic Set Theory in Coq

by Tianyu Sun, Wensheng Yu
Published 2020-01-01

Effective Failure Analysis for Packaged Semiconductor Lasers with a Simple Sample Preparation and Home-Made PEM System

by Tianyu Sun, Lei Qiao, Mingjun Xia
Published 2021-05-01

Preparation and effect of lyophilized platelet-rich fibrin on the osteogenic potential of bone marrow mesenchymal stem cells in vitro and in vivo

by Zhifa Wang, Leng Han, Tianyu Sun, Weijian Wang, Xiao Li, Buling Wu
Published 2019-10-01

VvVHP1; 2 Is Transcriptionally Activated by VvMYBA1 and Promotes Anthocyanin Accumulation of Grape Berry Skins via Glucose Signal

by Tianyu Sun, Lili Xu, Hong Sun, Qianyu Yue, Heng Zhai, Yuxin Yao
Published 2017-10-01

Phosphorus Loss through Overland Flow and Interflow from Bare Weathered Granite Slopes in Southeast China

by Longzhou Deng, Kai Fei, Tianyu Sun, Liping Zhang, Xiaojuan Fan, Liang Ni
Published 2019-08-01

New Insights into the Virulence Traits and Antibiotic Resistance of Enterococci Isolated from Diverse Probiotic Products

by Fengru Deng, Yunsheng Chen, Xiaoyu Zhou, Huiying Xiao, Tianyu Sun, Yiqun Deng, Jikai Wen
Published 2021-03-01

Taxonomic Characterization and Secondary Metabolite Analysis of NEAU-wh3-1: An <i>Embleya</i> Strain with Antitumor and Antibacterial Activity

by Han Wang, Tianyu Sun, Wenshuai Song, Xiaowei Guo, Peng Cao, Xi Xu, Yue Shen, Junwei Zhao
Published 2020-03-01

A set of interesting sequoiatones stereoisomers from a wetland soil-derived fungus Talaromyces flavus

by Tianyu Sun, Jian Zou, Guodong Chen, Dan Hu, Bin Wu, Xingzhong Liu, Xinsheng Yao, Hao Gao
Published 2017-03-01

Albumin–Globulin Ratio Is an Independent Determinant of 28-Day Mortality in Patients with Critical Illness

by Bin Liu, Kun Xiao, Peng Yan, Tianyu Sun, Jiang Wang, Fei Xie, Guoxin Mo, Lixin Xie
Published 2021-01-01

Variation in woody leaf anatomical traits along the altitudinal gradient in Taibai Mountain, China

by Xinrui Liu, Haoxuan Chen, Tianyu Sun, Danyang Li, Xue Wang, Weiyi Mo, Ruili Wang, Shuoxin Zhang
Published 2021-04-01

Optofluidic Switching of Nanoparticles Based on a WDM Tree Splitter

by Wenxiang Jiao, Guanghui Wang, Zhoufeng Ying, Zhiwen Kang, Tianyu Sun, Ningmu Zou, Ho-pui Ho, Xuping Zhang
Published 2016-01-01

A pilot study on ex vivo expanded autologous adipose‐derived stem cells of improving fat retention in localized scleroderma patients

by Chenyu Wang, Xiao Long, Loubin Si, Bo Chen, Yiwei Zhang, Tianyu Sun, Xiuqin Zhang, Robert Chunhua Zhao, Xiaojun Wang
Published 2021-08-01

p62/SQSTM1 accumulation due to degradation inhibition and transcriptional activation plays a critical role in silica nanoparticle-induced airway inflammation via NF-κB activation

by Yifan Wu, Yang Jin, Tianyu Sun, Piaoyu Zhu, Jinlong Li, Qinglin Zhang, Xiaoke Wang, Junkang Jiang, Gang Chen, Xinyuan Zhao
Published 2020-05-01

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

by 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
Published 2020-07-01

ASXL1 mutations are associated with distinct epigenomic alterations that lead to sensitivity to venetoclax and azacytidine

by Nora E. Rahmani, Nandini Ramachandra, Srabani Sahu, Nadege Gitego, Andrea Lopez, Kith Pradhan, Tushar D. Bhagat, Shanisha Gordon-Mitchell, Bianca Rivera Pena, Mohammad Kazemi, Keshav Rao, Orsi Giricz, Shahina Bano Maqbool, Raul Olea, Yongmei Zhao, Jinghang Zhang, Hamid Dolatshad, Vickram Tittrea, Dharamveer Tatwavedi, Shalini Singh, Juseong Lee, Tianyu Sun, Ulrich Steidl, Aditi Shastri, Daichi Inoue, Omar Abdel-Wahab, Andrea Pellagatti, Evripidis Gavathiotis, Jacqueline Boultwood, Amit Verma
Published 2021-09-01