Conghua Zhou

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 13

Top Topics

Recommender Systems

Top Venues

计算机科学

IEEE J. Biomed. Health Informatics

Publications

Eric Appiah Mantey, Conghua Zhou, Joseph Henry Anajemba, John Kingsley Arthur, Yasir Hamid, Atif Chowhan, Otuu Obinna Ogbonnia
Federated Learning Approach for Secured Medical Recommendation in Internet of Medical Things Using Homomorphic Encryption. IEEE J. Biomed. Health Informatics 28 (6) (2024)
Eric Appiah Mantey, Conghua Zhou, Joseph Henry Anajemba, Yasir Hamid, John Kingsley Arthur
Blockchain-Enabled Technique for Privacy- Preserved Medical Recommender System. IEEE Access 11 (2023)
Zhifeng Liu, Xianzhan Zhong, Conghua Zhou
Personalized Relationships-Based Knowledge Graph for Recommender Systems with Dual-View Items. Symmetry 14 (11) (2022)
Haoran Sun, Xiaolong Zhu, Conghua Zhou
Deep Reinforcement Learning for Video Summarization with Semantic Reward. QRS Companion (2022)
John Kingsley Arthur, Conghua Zhou, Jeremiah Osei-Kwakye, Eric Appiah Mantey, Yaru Chen
A heterogeneous couplings and persuasive user/item information model for Next Basket recommendation. Eng. Appl. Artif. Intell. 114 (2022)
Ronky Francis Doh, Conghua Zhou, John Kingsley Arthur, Isaac Tawiah, Benjamin Doh
A Systematic Review of Deep Knowledge Graph-Based Recommender Systems, with Focus on Explainable Embeddings. Data 7 (7) (2022)
Yaru Chen, Xiaohong Gu, Conghua Zhou, Xiaolong Zhu, Yi Jiang, John Kingsley Arthur, Eric Appiah Mantey, Ernest Domanaanmwi Ganaa
A Novel Hierarchical Deep Matrix Completion Method. IEEE Access 9 (2021)
Qing-Hua Ling, Yuqing Song, Fei Han, Conghua Zhou, Hu Lu
An improved learning algorithm for random neural networks based on particle swarm optimization and input-to-output sensitivity. Cogn. Syst. Res. 53 (2019)
Haijuan Ji, Conghua Zhou, Zhifeng Liu
一种基于始末距离的时间序列符号聚合近似表示方法 (Symbolic Aggregate Approximation Method of Time Series Based on Beginning and End Distance). 计算机科学 45 (6) (2018)
Zhifeng Liu, Kai Chen, Lei Li, Conghua Zhou
一种多种攻击并发下的WSN生存性评估模型 (Survivability Evaluation Model for Wireless Sensor Network under Multiple Attacks). 计算机科学 44 (8) (2017)
Patricia Ghann, Shiguang Ju, Conghua Zhou
Testing access control policy through Change Rule and Swap Rule Algorithm (CRSR). J. Inf. Secur. Appl. 30 (2016)
Jie Lu, Xiangmei Song, Mou Han, Conghua Zhou
车载网中可抵制合谋攻击的批量认证方案 (Batch Verification Scheme Defensing Collusive Attack in VANET). 计算机科学 43 (6) (2016)
Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE (2015)
Shunrong Jiang, Jiapeng Zhang, Jingjun Miao, Conghua Zhou
A Privacy-Preserving Reauthentication Scheme for Mobile Wireless Sensor Networks. Int. J. Distributed Sens. Networks 9 (2013)
Conghua Zhou, Bo Sun
Abstraction In Model Checking Real-Time Temporal Logic of Knowledge. J. Comput. 7 (2) (2012)
Conghua Zhou, Zhifeng Liu, Hailing Wu, Song Chen, Shiguang Ju
Symbolic algorithmic verification of intransitive generalized noninterference. Sci. China Inf. Sci. 55 (7) (2012)
Conghua Zhou, Bo Sun, Zhifeng Liu
Abstraction for model checking multi-agent systems. Frontiers Comput. Sci. China 5 (1) (2011)
Conghua Zhou, Meiling Cao, Meng Ye, Zhihao Qian
SAT-based Algorithmic Verification of Noninterference. J. Comput. 6 (11) (2011)
Xiangmei Song, Shiguang Ju, Changda Wang, Conghua Zhou
Information Flow Graph: An Approach to Identifying Covert Storage Channels. INTRUST (2010)
Conghua Zhou, Bo Sun, Zhifeng Liu
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge. AICI (1) (2010)
Conghua Zhou, Li Chen, Shiguang Ju, Zhifeng Liu
State Space Reduction for Verifying Noninterference. SSIRI (2009)
Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang
Bounded Model Checking of CTL. J. Comput. Sci. Technol. 22 (1) (2007)
Conghua Zhou, Shiguang Ju
SAT-based Bounded Model Checking for SE-LTL. SNPD (3) (2007)
Conghua Zhou
A compositional symbolic verification framework for concurrent software. Infoscale (2007)
Conghua Zhou, Zhenyu Chen, Zhihong Tao
QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC (2007)
Conghua Zhou, Decheng Ding
Improved SAT Based Bounded Model Checking. TAMC (2006)
Zhenyu Chen, Conghua Zhou, Decheng Ding
Automatic abstraction refinement for Petri nets verification. HLDVT (2005)