Ningning Chen

28 papers C 7Misc 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Proof System for the SMrCaIT Calculus.
ACM Trans. Embed. Comput. Syst.
Ningning Chen, Huibiao Zhu
2025 J jnl
HBLLM: Wavelet-Enhanced High-Fidelity 1-Bit Quantization for LLMs.
CoRR
Ningning Chen, Weicai Ye, Ying Jiang
2025 J jnl
PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids.
Briefings Bioinform.
Ruochi Zhang, Haoran Wu, Chang Liu, Qian Yang, Yuting Xiu, Kewei Li, Ningning Chen, Yu Wang, Yan Wang, Xin Gao, Fengfeng Zhou
2024 J jnl
A process calculus SMrCaIT for IoT.
J. Softw. Evol. Process.
Ningning Chen, Huibiao Zhu
2024 J jnl
A proof system of the CaIT calculus.
Frontiers Comput. Sci.
Ningning Chen, Huibiao Zhu
2024 — conf
Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP.
The Application of Formal Methods
Ningning Chen, Huibiao Zhu, Jifeng He
2023 J jnl
IoT Modeling and Verification: From the CaIT Calculus to UPPAAL.
IEICE Trans. Inf. Syst.
Ningning Chen, Huibiao Zhu
2023 J jnl
PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids.
CoRR
Ruochi Zhang, Haoran Wu, Yuting Xiu, Kewei Li, Ningning Chen, Yu Wang, Yan Wang, Xin Gao, Fengfeng Zhou
2023 J jnl
Research on Three-Dimensional Shape Curve Reconstruction Technology for a Scraper Conveyor on an Intelligent Working Face.
Sensors
Fukang Qiao, Xinqiu Fang, Ningning Chen, Minfu Liang, Gang Wu, Fan Zhang
2023 J jnl
Research on the Three-Machines Perception System and Information Fusion Technology for Intelligent Work Faces.
Sensors
Haotian Feng, Xinqiu Fang, Ningning Chen, Yang Song, Minfu Liang, Gang Wu, Xinyuan Zhang
2023 J jnl
Simulation Optimization and Application of Shearer Strapdown Inertial Navigation System Modulation Scheme.
Sensors
Gang Wu, Xinqiu Fang, Yang Song, Ningning Chen, Minfu Liang, Jiaxuan Li, Fukang Qiao
2023 C conf
Topology Analysis and Short Circuit Fault Simulation Research of Power Electronic Transformers Based on Modular Multilevel Converter.
iSPEC
Zihao Song, Ningning Chen, Qilou Xu
2022 J jnl
Computing Offloading and Resource Optimization of Adaptive Data Block Size in Edge Environments.
Autom. Control. Comput. Sci.
Yanpei Liu, Qi Zhu, Ningning Chen, Yunjing Zhu, Liping Wang
2022 C conf
Denotational and Algebraic Semantics for the CaIT Calculus.
ICTAC
Ningning Chen, Huibiao Zhu
2022 C conf
Formalization and Verification of SIP Using CSP.
PDCAT
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2022 C conf
Modeling and Verifying AUPS Using CSP.
SEKE
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
2022 J jnl
Modeling and verifying NDN-based IoV using CSP.
J. Softw. Evol. Process.
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
2022 J jnl
Research on Straightness Perception Compensation Model of FBG Scraper Conveyor Based on Rotation Error Angle.
Sensors
Yang Song, Xinqiu Fang, Gang Wu, Ningning Chen, Minfu Liang, Ziyue Xu, Fan Zhang
2022 J jnl
Research on Three-Dimensional Stress Monitoring Method of Surrounding Rock Based on FBG Sensing Technology.
Sensors
Minfu Liang, Xinqiu Fang, Yang Song, Shuang Li, Ningning Chen, Fan Zhang
2022 J jnl
Spatial and long-short temporal attention correlation filters for visual tracking.
IET Image Process.
Jianwei Zhao, Fuyuan Wei, Ningning Chen, Zhenghua Zhou
2022 J jnl
Structural Design and Application of Desensitized FBG Force-Measuring Bolt.
Sensors
Minfu Liang, Yang Song, Xinqiu Fang, Yuye Jiang, Fan Zhang, Shuang Li, Ningning Chen, Ziyue Xu
2021 Misc conf
A Proof System for HRML with Extended Hoare Logic.
TASE
Ningning Chen, Huibiao Zhu, Huixing Fang
2021 C conf
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).
SEKE
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2020 J jnl
A temporal sparse collaborative appearance model for visual tracking.
Multim. Tools Appl.
Jianwei Zhao, Ningning Chen, Zhenghua Zhou
2020 J jnl
Improved Adaptive Robust Control for Low Voltage Ride-Through of Front-End Speed Regulation Wind Turbine.
IEEE Access
Haiying Dong, Ningning Chen, Xiaoqing Li, Hongwei Li
2020 C conf
Modeling and Verifying Data Access Mechanism of NLSR Trust Model.
APSEC
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020 C conf
Modeling and Verifying NDN-based IoV Using CSP.
SEKE
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
2009 — conf
A Hemodynamic Predict of an Intra-Aorta Pump Application in Vitro Using Numerical Analysis.
WISM
Bin Gao, Ningning Chen, Yu Chang