Ningning Chen

According to our database, Ningning Chen authored at least 24 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A process calculus SMrCaIT for IoT.

Ningning Chen, Huibiao Zhu

J. Softw. Evol. Process., May, 2024

A proof system of the CaIT calculus.

Ningning Chen, Huibiao Zhu

Frontiers Comput. Sci., April, 2024

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, October, 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, September, 2023

IoT Modeling and Verification: From the CaIT Calculus to UPPAAL.

Ningning Chen, Huibiao Zhu

IEICE Trans. Inf. Syst., September, 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

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, Yan Wang, Xin Gao, Fengfeng Zhou

CoRR, 2023

Topology Analysis and Short Circuit Fault Simulation Research of Power Electronic Transformers Based on Modular Multilevel Converter.

Zihao Song, Ningning Chen, Qilou Xu

Proceedings of the IEEE Sustainable Power and Energy Conference, 2023

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., December, 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

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

Structural Design and Application of Desensitized FBG Force-Measuring Bolt.

Minfu Liang, Yang Song, Xinqiu Fang, Yuye Jiang, Fan Zhang, Shuang Li, Ningning Chen, Ziyue Xu

Sensors, 2022

Research on Three-Dimensional Stress Monitoring Method of Surrounding Rock Based on FBG Sensing Technology.

Minfu Liang, Xinqiu Fang, Yang Song, Shuang Li, Ningning Chen, Fan Zhang

Sensors, 2022

Spatial and long-short temporal attention correlation filters for visual tracking.

Jianwei Zhao, Fuyuan Wei, Ningning Chen, Zhenghua Zhou

IET Image Process., 2022

Modeling and Verifying AUPS Using CSP.

Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

Denotational and Algebraic Semantics for the CaIT Calculus.

Ningning Chen, Huibiao Zhu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

A Proof System for HRML with Extended Hoare Logic.

Ningning Chen, Huibiao Zhu, Huixing Fang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).

Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020

A temporal sparse collaborative appearance model for visual tracking.

Jianwei Zhao, Ningning Chen, Zhenghua Zhou

Multim. Tools Appl., 2020

Improved Adaptive Robust Control for Low Voltage Ride-Through of Front-End Speed Regulation Wind Turbine.

Haiying Dong, Ningning Chen, Xiaoqing Li, Hongwei Li

IEEE Access, 2020

Modeling and Verifying NDN-based IoV Using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Modeling and Verifying Data Access Mechanism of NLSR Trust Model.

Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2009

A Hemodynamic Predict of an Intra-Aorta Pump Application in Vitro Using Numerical Analysis.

Bin Gao, Ningning Chen, Yu Chang

Proceedings of the Web Information Systems and Mining, International Conference, 2009