VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS. - Zhenjiang Qian; Hao Huang; Fangmin Song (ICICS, 2013)

Research on Android Access Control Based on Isolation Mechanism. - Ying Peng; Mingxin Zhang 005; Jinlong Zheng; Zhenjiang Qian (IEEE WISA, 2016)

Opportunistic Cooperative Sensing for Indoor Complex Environment Monitoring. - Yong Jin 003; Zhenjiang Qian; Xiaoshuang Xing; Lu Shen (Int. J. Online Eng., 2017)

A real-time multimedia streaming transmission control mechanism based on edge cloud computing and opportunistic approximation optimization. - Yong Jin 003; Zhenjiang Qian; Gaofei Sun (Multim. Tools Appl., 2019)

Data collection scheme with minimum cost and location of emotional recognition edge devices. - Yong Jin 003; Zhenjiang Qian; Shunjiang Chen (Pers. Ubiquitous Comput., 2019)

Light Intensity Based IoT Device Positioning for Indoor Monitoring. - Gaofei Sun; Xiaoshuang Xing; Zhenjiang Qian; Zhiguo Wang; Saide Zhu (SpaCCS, 2020)

Virtual Location Generation for Location Privacy Protection in VANET. - Zhihong Li; Xiaoshuang Xing; Gaofei Sun; Zhenjiang Qian; Jin Qian (WASA (2), 2020)

UAV Cluster-Based Video Surveillance System Optimization in Heterogeneous Communication of Smart Cities. - Yong Jin 003; Zhenjiang Qian; Weiyong Yang (IEEE Access, 2020)

Modeling-Learning-Based Actor-Critic Algorithm with Gaussian Process Approximator. - Shan Zhong; Jack Tan; Husheng Dong; Xuemei Chen; Shengrong Gong; Zhenjiang Qian (J. Grid Comput., 2020)

A Fast Region Segmentation Algorithm for Water Meter Image Based on Adaptive Seed Point Selection. - Hongchao Zhou; Yongjun Liu; Zhenjiang Qian (INTETAIN, 2021)

Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL. - Zhenjiang Qian; Wei Liu; Yiyang Yao (IEEE Access, 2021)

Person re-identification in the real scene based on the deep learning. - Miaomiao Zhu; Shengrong Gong; Zhenjiang Qian; Seiichi Serikawa; Lifeng Zhang (Artif. Life Robotics, 2021)

Edge computing assisted privacy-preserving data computation for IoT devices. - Gaofei Sun; Xiaoshuang Xing; Zhenjiang Qian; Wei (Lisa) Li (Comput. Commun., 2021)

Spatial Fuzzy Clustering and Its Application for MRI and CT Image Segmentation. - Anqi Bi; Wenhao Ying; Zhenjiang Qian (J. Medical Imaging Health Informatics, 2021)

Learning Transferable Driven and Drone Assisted Sustainable and Robust Regional Disease Surveillance for Smart Healthcare. - Yong Jin 003; Zhenjiang Qian; Shengrong Gong; Weiyong Yang (IEEE ACM Trans. Comput. Biol. Bioinform., 2021)

A measurable refinement method of design and verification for micro-kernel operating systems in communication network. - Zhenjiang Qian; Rui Xia; Gaofei Sun; Xiaoshuang Xing; Kaijian Xia (Digit. Commun. Networks, 2023)

A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model. - Zhenjiang Qian; Shan Zhong; Gaofei Sun; Xiaoshuang Xing; Yong Jin 003 (IEEE Trans. Intell. Transp. Syst., 2023)

ESPCA: An Efficient Spatial-Sensitive Partial Channel Attention Mechanism in CNNs. - Tianze Huang; Yan Qian; Gaofei Sun; Jiahao Yu; Zhenjiang Qian; Feng Li; Xiaobing Xian (AICCC, 2024)

Refinement modeling and verification of secure operating systems for communication in digital twins. - Zhenjiang Qian; Gaofei Sun; Xiaoshuang Xing; Gaurav Dhiman (Digit. Commun. Networks, 2024)

AFSTGCN: Prediction for multivariate time series using an adaptive fused spatial-temporal graph convolutional network. - Yuteng Xiao; Kaijian Xia; Hongsheng Yin 001; Yu-Dong Zhang 001; Zhenjiang Qian; Zhaoyang Liu 002; Yuehan Liang; Xiaodan Li (Digit. Commun. Networks, 2024)