Zhenjiang Qian

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 18

Top Topics

Multivariate Time Series

Privacy Protection

Operating System

Multimedia Streaming

Top Venues

Digit. Commun. Networks

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman
Refinement modeling and verification of secure operating systems for communication in digital twins. Digit. Commun. Networks 10 (2) (2024)
Yuteng Xiao, Kaijian Xia, Hongsheng Yin, Yu-Dong Zhang, Zhenjiang Qian, Zhaoyang Liu, Yuehan Liang, Xiaodan Li
AFSTGCN: Prediction for multivariate time series using an adaptive fused spatial-temporal graph convolutional network. Digit. Commun. Networks 10 (2) (2024)
Zhenjiang Qian, Shan Zhong, Gaofei Sun, Xiaoshuang Xing, Yong Jin
A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia
A measurable refinement method of design and verification for micro-kernel operating systems in communication network. Digit. Commun. Networks 9 (5) (2023)
Miaomiao Zhu, Shengrong Gong, Zhenjiang Qian, Seiichi Serikawa, Lifeng Zhang
Person re-identification in the real scene based on the deep learning. Artif. Life Robotics 26 (4) (2021)
Gaofei Sun, Xiaoshuang Xing, Zhenjiang Qian, Wei (Lisa) Li
Edge computing assisted privacy-preserving data computation for IoT devices. Comput. Commun. 166 (2021)
Yong Jin, Zhenjiang Qian, Shengrong Gong, Weiyong Yang
Learning Transferable Driven and Drone Assisted Sustainable and Robust Regional Disease Surveillance for Smart Healthcare. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (1) (2021)
Zhenjiang Qian, Wei Liu, Yiyang Yao
Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL. IEEE Access 9 (2021)
Hongchao Zhou, Yongjun Liu, Zhenjiang Qian
A Fast Region Segmentation Algorithm for Water Meter Image Based on Adaptive Seed Point Selection. INTETAIN (2021)
Anqi Bi, Wenhao Ying, Zhenjiang Qian
Spatial Fuzzy Clustering and Its Application for MRI and CT Image Segmentation. J. Medical Imaging Health Informatics 11 (2) (2021)
Gaofei Sun, Xiaoshuang Xing, Zhenjiang Qian, Zhiguo Wang, Saide Zhu
Light Intensity Based IoT Device Positioning for Indoor Monitoring. SpaCCS (2020)
Zhihong Li, Xiaoshuang Xing, Gaofei Sun, Zhenjiang Qian, Jin Qian
Virtual Location Generation for Location Privacy Protection in VANET. WASA (2) (2020)
Shan Zhong, Jack Tan, Husheng Dong, Xuemei Chen, Shengrong Gong, Zhenjiang Qian
Modeling-Learning-Based Actor-Critic Algorithm with Gaussian Process Approximator. J. Grid Comput. 18 (2) (2020)
Yong Jin, Zhenjiang Qian, Weiyong Yang
UAV Cluster-Based Video Surveillance System Optimization in Heterogeneous Communication of Smart Cities. IEEE Access 8 (2020)
Yong Jin, Zhenjiang Qian, Shunjiang Chen
Data collection scheme with minimum cost and location of emotional recognition edge devices. Pers. Ubiquitous Comput. 23 (3-4) (2019)
Yong Jin, Zhenjiang Qian, Gaofei Sun
A real-time multimedia streaming transmission control mechanism based on edge cloud computing and opportunistic approximation optimization. Multim. Tools Appl. 78 (7) (2019)
Yong Jin, Zhenjiang Qian, Xiaoshuang Xing, Lu Shen
Opportunistic Cooperative Sensing for Indoor Complex Environment Monitoring. Int. J. Online Eng. 13 (8) (2017)
Ying Peng, Mingxin Zhang, Jinlong Zheng, Zhenjiang Qian
Research on Android Access Control Based on Isolation Mechanism. IEEE WISA (2016)
Zhenjiang Qian, Hao Huang, Fangmin Song
VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS. ICICS (2013)