Browsing by Author Chen, Xiaohong

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 49  next >
Issue DateTitleAuthor(s)
2012An approach for selecting implementation strategies of non-functional requirementsBin, Yin; Zhi, Jin; Chen, Xiaohong
2024Building Device Models Using LLMs for Requirements Simulation in Smart HomesChen, Shi; Chen, Xiaohong; Jin, Zhi
2016Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based ApproachChen, Xiaohong; Jin, Zhi
2015Chemotherapy with or without plasmapheresis in acute renal failure due to multiple myeloma: a meta-analysisYu, Xiaoyong; Gan, Liangying; Wang, Zhaohui; Dong, Bao; Chen, Xiaohong
1-Apr-2022Climate change challenges efficiency of inter-basin water transfers in alleviating water stressDuan, Kai; Caldwell, Peter, V; Sun, Ge; McNulty, Steven G.; Qin, Yue; Chen, Xiaohong; Liu, Ning
Mar-2024Climate Factors Influence Above- and Belowground Biomass Allocations in Alpine Meadows and Desert Steppes through Alterations in Soil Nutrient AvailabilityWang, Jiangfeng; Zhang, Xing; Wang, Ru; Yu, Mengyao; Chen, Xiaohong; Zhu, Chenghao; Shang, Jinlong; Gao, Jie
Dec-2020Comprehensive Comparisons of State-of-the-Art Gridded Precipitation Estimates for Hydrological Applications over Southern ChinaGao, Zhen; Huang, Bensheng; Ma, Ziqiang; Chen, Xiaohong; Qiu, Jing; Liu, Da
9-Feb-2025Detecting Glaucoma in Highly Myopic Eyes From Fundus Photographs Using Deep Convolutional Neural NetworksChen, Xiaohong; Zhou, Chen; Zhu, Yingting; Luo, Man; Hu, Lingjing; Han, Wenjing; Zuo, Chengguo; Li, Zhidong; Xiao, Hui; Huang, Shaofen; Chen, Xuhao; Zhao, Xiujuan; Lu, Lin; Wang, Yizhou; Zhuo, Yehong
2019Do forests relieve crop thirst in the face of drought? Empirical evidence from South ChinaWang, Yangjie; Huang, Jikun; Chen, Xiaohong
2010DPTool: A tool for supporting the problem description and projectionChen, Xiaohong; Yin, Bin; Jin, Zhi
May-2021Efficient estimation of multivariate semi-nonparametric GARCH filtered copula modelsChen, Xiaohong; Huang, Zhuo; Yi, Yanping
2023Empowering Domain Experts With Formal Methods for Consistency Verification of Safety RequirementsChen, Xiaohong; Zhang, Juan; Jin, Zhi; Zhang, Min; Li, Tong; Chen, Xiang; Zhou, Tingliang
2024Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical SystemsHuang, Yike; Chen, Xiaohong; Jin, Zhi; Zhou, Tingliang
2021Environment Model based Requirements Consistency Verification: An ExampleLiu, Qianqian; Chen, Xiaohong; Jin, Zhi
Mar-2024Forest Age Drives the Resource Utilization Indicators of Trees in Planted and Natural Forests in ChinaZhang, Xing; Chen, Xiaohong; Ji, Yuhui; Wang, Ru; Gao, Jie
1-Apr-2022Formally verifying consistency of sequence diagrams for safety critical systemsChen, Xiaohong; Liu, Qianqian; Mallet, Frederic; Li, Qin; Cai, Shubin; Jin, Zhi
2015A Framework for Off-Line Conformance Testing of Timed ConnectorsLi, Shaodong; Chen, Xiaohong; Wang, Yiwu; Sun, Meng
2024Generating Requirements Documents for Embedded Systems: A Device Knowledge-Guided ApproachWang, Chunhui; Zhao, Jiaqi; Chen, Xiaohong; Jin, Zhi
2015High dimensional generalized empirical likelihood for moment restrictions with dependent dataChang, Jinyuan; Chen, Song Xi; Chen, Xiaohong
2019How to Make Dockless Bikeshare Good for Cities: Curbing Oversupplied BikesTu, Yuanjie; Chen, Peng; Gao, Xu; Yang, Jiawen; Chen, Xiaohong
Showing results 1 to 20 of 49  next >