A Hemodynamic Predict of an Intra-Aorta Pump Application in Vitro Using Numerical Analysis. - Bin Gao 005; Ningning Chen; Yu Chang (WISM, 2009)

Modeling and Verifying Data Access Mechanism of NLSR Trust Model. - Ningning Chen; Huibiao Zhu; Yuan Fei; Lili Xiao; Jiaqi Yin (APSEC, 2020)

Modeling and Verifying NDN-based IoV Using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Lili Xiao; Yuan Fei (SEKE, 2020)

Improved Adaptive Robust Control for Low Voltage Ride-Through of Front-End Speed Regulation Wind Turbine. - Haiying Dong; Ningning Chen; Xiaoqing Li 004; Hongwei Li 008 (IEEE Access, 2020)

A temporal sparse collaborative appearance model for visual tracking. - Jianwei Zhao 004; Ningning Chen; Zhenghua Zhou (Multim. Tools Appl., 2020)

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). - Hongqin Zhang; Jiaqi Yin; Huibiao Zhu; Ningning Chen (SEKE, 2021)

A Proof System for HRML with Extended Hoare Logic. - Ningning Chen; Huibiao Zhu; Huixing Fang (TASE, 2021)

Denotational and Algebraic Semantics for the CaIT Calculus. - Ningning Chen; Huibiao Zhu (ICTAC, 2022)

Formalization and Verification of SIP Using CSP. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu; Ningning Chen (PDCAT, 2022)

Modeling and Verifying AUPS Using CSP. - Hongqin Zhang; Huibiao Zhu; Jiaqi Yin; Ningning Chen (SEKE, 2022)

Spatial and long-short temporal attention correlation filters for visual tracking. - Jianwei Zhao 004; Fuyuan Wei; Ningning Chen; Zhenghua Zhou (IET Image Process., 2022)

Research on Three-Dimensional Stress Monitoring Method of Surrounding Rock Based on FBG Sensing Technology. - Minfu Liang; Xinqiu Fang; Yang Song; Shuang Li 011; Ningning Chen; Fan Zhang (Sensors, 2022)

Structural Design and Application of Desensitized FBG Force-Measuring Bolt. - Minfu Liang; Yang Song; Xinqiu Fang; Yuye Jiang; Fan Zhang; Shuang Li 011; Ningning Chen; Ziyue Xu (Sensors, 2022)

Research on Straightness Perception Compensation Model of FBG Scraper Conveyor Based on Rotation Error Angle. - Yang Song; Xinqiu Fang; Gang Wu; Ningning Chen; Minfu Liang; Ziyue Xu; Fan Zhang (Sensors, 2022)

Modeling and verifying NDN-based IoV using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Yuan Fei; Lili Xiao; Minghua Zhu (J. Softw. Evol. Process., 2022)

Computing Offloading and Resource Optimization of Adaptive Data Block Size in Edge Environments. - Yanpei Liu; Qi Zhu; Ningning Chen; Yunjing Zhu; Liping Wang (Autom. Control. Comput. Sci., 2022)

Topology Analysis and Short Circuit Fault Simulation Research of Power Electronic Transformers Based on Modular Multilevel Converter. - Zihao Song; Ningning Chen; Qilou Xu (iSPEC, 2023)

PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids. - Ruochi Zhang; Haoran Wu; Yuting Xiu; Kewei Li; Ningning Chen; Yu Wang 225; Yan Wang 028; Xin Gao 001; Fengfeng Zhou (CoRR, 2023)

Simulation Optimization and Application of Shearer Strapdown Inertial Navigation System Modulation Scheme. - Gang Wu; Xinqiu Fang; Yang Song; Ningning Chen; Minfu Liang; Jiaxuan Li; Fukang Qiao (Sensors, 2023)

IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. - Ningning Chen; Huibiao Zhu (IEICE Trans. Inf. Syst., 2023)

Research on the Three-Machines Perception System and Information Fusion Technology for Intelligent Work Faces. - Haotian Feng; Xinqiu Fang; Ningning Chen; Yang Song; Minfu Liang; Gang Wu; Xinyuan Zhang (Sensors, 2023)

Research on Three-Dimensional Shape Curve Reconstruction Technology for a Scraper Conveyor on an Intelligent Working Face. - Fukang Qiao; Xinqiu Fang; Ningning Chen; Minfu Liang; Gang Wu; Fan Zhang (Sensors, 2023)

Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP. - Ningning Chen; Huibiao Zhu; Jifeng He 001 (The Application of Formal Methods, 2024)

A proof system of the CaIT calculus. - Ningning Chen; Huibiao Zhu (Frontiers Comput. Sci., 2024)

A process calculus SMrCaIT for IoT. - Ningning Chen; Huibiao Zhu (J. Softw. Evol. Process., 2024)

PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids. - Ruochi Zhang; Haoran Wu; Chang Liu 082; Qian Yang; Yuting Xiu; Kewei Li; Ningning Chen; Yu Wang 225; Yan Wang 028; Xin Gao 001; Fengfeng Zhou (Briefings Bioinform., 2025)