Toward a Unified Executable Formal Automobile OS Kernel and Its Applications
Zhu, Xiaoran, Zhang, Min, Guo, Jian, Li, Xin, Zhu, Huibiao, He, Jifeng
Published in IEEE transactions on reliability (01.09.2019)
Published in IEEE transactions on reliability (01.09.2019)
Get full text
Journal Article
Formalization and Verification of the PKMv3 Protocol Using CSP
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
Published in 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) (01.07.2017)
Published in 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) (01.07.2017)
Get full text
Conference Proceeding
GW29-e0950 Effect of Glucocorticoid on the Circulating Renin-Angiotensin-Aldosterone System in Heart Failure
Liu, Chao, Wang, ShiJia, Zhu, Xiaoran, Ma, Haifang, Wang, Yu, Zhen, Yuzhi, Zhao, Qingzhen, Wu, Dan
Published in Journal of the American College of Cardiology (16.10.2018)
Published in Journal of the American College of Cardiology (16.10.2018)
Get full text
Journal Article
Local excision as a viable alternative to hysterectomy for early-stage cervical cancer in women of reproductive age: a population-based cohort study
Chen, Ying, Zheng, Yongqiang, Wu, Yaling, Dai, Jun, Zhu, Xiaoran, Wu, Tong, Tang, Weicheng, Yang, Shuhao, Zhang, Jinjin, Zhou, Su, Wu, Meng, Zhang, Chun, Wang, Shixuan
Published in International journal of surgery (London, England) (01.06.2023)
Published in International journal of surgery (London, England) (01.06.2023)
Get full text
Journal Article
Research on the Application of Face Symbol in Thematic Map Making
Yujie Yao, Xiaoran Zhu, Juan Zhang, Lifeng Jiang
Published in 2015 IEEE International Conference on Multimedia Big Data (01.04.2015)
Published in 2015 IEEE International Conference on Multimedia Big Data (01.04.2015)
Get full text
Conference Proceeding
Research on Data Model Application of Localized Display Software
Zhu, Xiaoran, Zhou, Yong, Zhao, Fei, Zhang, Juan, Yao, Yujie
Published in IOP conference series. Materials Science and Engineering (01.12.2019)
Published in IOP conference series. Materials Science and Engineering (01.12.2019)
Get full text
Journal Article
Formal Verification of PKMv3 Protocol Using DT-Spin
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Published in 2015 International Symposium on Theoretical Aspects of Software Engineering (01.09.2015)
Get full text
Conference Proceeding
Formal Analysis of the PKMv3 Protocol
Zhu, Xiaoran, Xu, Yuanmin, Li, Xin, Guo, Jian, Zhu, Huibiao, Cong Vinh, Phan
Published in Mobile networks and applications (01.02.2018)
Published in Mobile networks and applications (01.02.2018)
Get full text
Journal Article
End-to-End Automated Verification for OS Kernels
Ding, Jizheng, Zhu, Xiaoran, Guo, Jian, Li, Xin, Yan, Rongkun
Published in 2018 25th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2018)
Published in 2018 25th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2018)
Get full text
Conference Proceeding
A novelty degradation assessment method for equipment based on multi-kernel SVDD
Yongsheng Zhu, Yinghua Song, Xiaoran Zhu, Youyun Zhang
Published in 2012 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2012)
Published in 2012 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2012)
Get full text
Conference Proceeding
Spatiotemporal transcriptomic changes of human ovarian aging and the regulatory role of FOXP1
Wu, Meng, Tang, Weicheng, Chen, Ying, Xue, Liru, Dai, Jun, Li, Yan, Zhu, Xiaoran, Wu, Chuqing, Xiong, Jiaqiang, Zhang, Jinjin, Wu, Tong, Zhou, Su, Chen, Dan, Sun, Chaoyang, Yu, Jing, Li, Hongyi, Guo, Yican, Huang, Yibao, Zhu, Qingqing, Wei, Simin, Zhou, Ziliang, Wu, Mingfu, Li, Ya, Xiang, Tao, Qiao, Huiying, Wang, Shixuan
Published in Nature aging (01.04.2024)
Published in Nature aging (01.04.2024)
Get more information
Journal Article
A synthesized field survey database of vegetation and active-layer properties for the Alaskan tundra (1972–2020)
Zhu, Xiaoran, Chen, Dong, Kogure, Maruko, Hoy, Elizabeth, Berner, Logan T, Breen, Amy L, Chatterjee, Abhishek, Davidson, Scott J, Frost, Gerald V, Hollingsworth, Teresa N, Iwahana, Go, Jandt, Randi R, Kade, Anja N, Loboda, Tatiana V, Macander, Matt J, Mack, Michelle, Miller, Charles E, Miller, Eric A, Natali, Susan M, Raynolds, Martha K, Rocha, Adrian V, Tsuyuzaki, Shiro, Tweedie, Craig E, Walker, Donald A, Williams, Mathew, Xu, Xin, Zhang, Yingtong, French, Nancy, Goetz, Scott
Published in Earth system science data (16.08.2024)
Published in Earth system science data (16.08.2024)
Get full text
Journal Article
A Performance Study on Object Detection of Image and Video
Xiaoran Zhu, Yintang Dai, Pinggen Wang, Rui Gong, Xiaozhou Shen
Published in 2012 Second International Conference on Intelligent System Design and Engineering Application (01.01.2012)
Published in 2012 Second International Conference on Intelligent System Design and Engineering Application (01.01.2012)
Get full text
Conference Proceeding
Integration of sequence-similarity and functional association information can overcome intrinsic problems in orthology mapping across bacterial genomes
Li, Guojun, Ma, Qin, Mao, Xizeng, Yin, Yanbin, Zhu, Xiaoran, Xu, Ying
Published in Nucleic acids research (01.12.2011)
Published in Nucleic acids research (01.12.2011)
Get full text
Journal Article
Silicon Waveguide Cross-sectional Dimension Estimation Based on Effective Refractive Index Extraction
Zhang, Enge, Zhu, Xiaoran, Zhang, Lei
Published in 2024 Photonics & Electromagnetics Research Symposium (PIERS) (21.04.2024)
Published in 2024 Photonics & Electromagnetics Research Symposium (PIERS) (21.04.2024)
Get full text
Conference Proceeding
KRust: A Formal Executable Semantics of Rust
Wang, Feng, Song, Fu, Zhang, Min, Zhu, Xiaoran, Zhang, Jun
Published in 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.08.2018)
Published in 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.08.2018)
Get full text
Conference Proceeding