KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Get full text
Conference Proceeding
Role of the Nrf2 Signaling Pathway in Ovarian Aging: Potential Mechanism and Protective Strategies
Gao, Xiaofan, Wang, Bo, Huang, Yibao, Wu, Meng, Li, Yuting, Li, Yinuo, Zhu, Xiaoran, Wu, Mingfu
Published in International journal of molecular sciences (01.09.2023)
Published in International journal of molecular sciences (01.09.2023)
Get full text
Journal Article
NAT10 promotes gastric cancer metastasis via N4-acetylated COL5A1
Zhang, Yigan, Jing, Yuanxue, Wang, Yinxue, Tang, Jianming, Zhu, Xiaoran, Jin, Wei-Lin, Wang, Yiqing, Yuan, Wenzhen, Li, Xiangkai, Li, Xun
Published in Signal transduction and targeted therapy (03.05.2021)
Published in Signal transduction and targeted therapy (03.05.2021)
Get full text
Journal Article
Global burden and trends of pelvic organ prolapse associated with aging women: An observational trend study from 1990 to 2019
Wang, Bo, Chen, Yingying, Zhu, Xiaoran, Wang, Tian, Li, Mei, Huang, Yibao, Xue, Liru, Zhu, Qingqing, Gao, Xiaofan, Wu, Mingfu
Published in Frontiers in public health (15.09.2022)
Published in Frontiers in public health (15.09.2022)
Get full text
Journal Article
Tumor microenvironment promotes lymphatic metastasis of cervical cancer: its mechanisms and clinical implications
Li, Yuting, Gao, Xiaofan, Huang, Yibao, Zhu, Xiaoran, Chen, Yingying, Xue, Liru, Zhu, Qingqing, Wang, Bo, Wu, Mingfu
Published in Frontiers in oncology (10.05.2023)
Published in Frontiers in oncology (10.05.2023)
Get full text
Journal Article
Carbon tetrachloride exposure induces ovarian damage through oxidative stress and inflammatory mediated ovarian fibrosis
Xue, Liru, Li, Xiang, Zhu, Xiaoran, Zhang, Jinjin, Zhou, Su, Tang, Weicheng, Chen, Dan, Chen, Yingying, Dai, Jun, Wu, Meng, Wu, Mingfu, Wang, Shixuan
Published in Ecotoxicology and environmental safety (01.09.2022)
Published in Ecotoxicology and environmental safety (01.09.2022)
Get full text
Journal Article
Effect of hysterectomy on ovarian function: a systematic review and meta-analysis
Huang, Yibao, Wu, Meng, Wu, Chuqing, Zhu, Qingqing, Wu, Tong, Zhu, Xiaoran, Wu, Mingfu, Wang, Shixuan
Published in Journal of ovarian research (09.02.2023)
Published in Journal of ovarian research (09.02.2023)
Get full text
Journal Article
Investigating the role of NPR1 in dilated cardiomyopathy and its potential as a therapeutic target for glucocorticoid therapy
Huang, Yaomeng, Li, Tongxin, Gao, Shichao, Li, Shuyu, Zhu, Xiaoran, Li, Ying, Liu, Dangyang, Li, Weimin, Yang, Linquan, Liu, Kunshen, Zhang, Zheng, Liu, Chao
Published in Frontiers in pharmacology (07.11.2023)
Published in Frontiers in pharmacology (07.11.2023)
Get full text
Journal Article
Glucocorticoids Reverse Diluted Hyponatremia Through Inhibiting Arginine Vasopressin Pathway in Heart Failure Rats
Zhu, Xiaoran, Huang, Yaomeng, Li, Shuyu, Ge, Ning, Li, Tongxin, Wang, Yu, Liu, Kunshen, Liu, Chao
Published in Journal of the American Heart Association (18.05.2020)
Published in Journal of the American Heart Association (18.05.2020)
Get full text
Journal Article
Generation and characterization of two induced pluripotent stem cell lines (NUIGi038-A, NUIGi038-B) from dermal fibroblasts of a healthy individual
Ge, Ning, Liu, Min, Zhu, Xiaoran, Krawczyk, Janusz, McInerney, Veronica, Shen, Sanbing, O'Brien, Timothy, Prendiville, Terence
Published in Stem cell research (01.12.2020)
Published in Stem cell research (01.12.2020)
Get full text
Journal Article
Generation and characterization of three induced pluripotent stem cell lines (NUIGi047-A, NUIGi047-B, NUIGi047-C) from a 7-year-old healthy Caucasian male
Ge, Ning, Liu, Min, Zhu, Xiaoran, Krawczyk, Janusz, McInerney, Veronica, Shen, Sanbing, O'Brien, Timothy, Prendiville, Terence
Published in Stem cell research (01.05.2021)
Published in Stem cell research (01.05.2021)
Get full text
Journal Article
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
Huang, Yanhong, Bu, Xiangxing, Zhu, Gang, Ye, Xin, Zhu, Xiaoran, Shi, Jianqi
Published in IEEE access (2019)
Published in IEEE access (2019)
Get full text
Journal Article
Luminescent properties and structure of Dy3+ doped germanosilicate glass
Liu, Ruiwang, Chen, Mengjia, Zhu, Xiaoran, Zhou, Yanyan, Zeng, Fanming, Su, Zhongmin
Published in Journal of luminescence (01.10.2020)
Published in Journal of luminescence (01.10.2020)
Get full text
Journal Article