Conghua Zhou

According to our database, Conghua Zhou authored at least 27 papers between 2005 and 2024.

Collaborative distances:

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

2024

Federated Learning Approach for Secured Medical Recommendation in Internet of Medical Things Using Homomorphic Encryption.

Eric Appiah Mantey, Conghua Zhou, Joseph Henry Anajemba, John Kingsley Arthur, Yasir Hamid, Atif Chowhan, Otuu Obinna Ogbonnia

IEEE J. Biomed. Health Informatics, June, 2024

2023

Blockchain-Enabled Technique for Privacy- Preserved Medical Recommender System.

Eric Appiah Mantey, Conghua Zhou, Joseph Henry Anajemba, Yasir Hamid, John Kingsley Arthur

IEEE Access, 2023

2022

Personalized Relationships-Based Knowledge Graph for Recommender Systems with Dual-View Items.

Zhifeng Liu, Xianzhan Zhong, Conghua Zhou

Symmetry, November, 2022

A heterogeneous couplings and persuasive user/item information model for Next Basket recommendation.

John Kingsley Arthur, Conghua Zhou, Jeremiah Osei-Kwakye, Eric Appiah Mantey, Yaru Chen

Eng. Appl. Artif. Intell., 2022

A Systematic Review of Deep Knowledge Graph-Based Recommender Systems, with Focus on Explainable Embeddings.

Ronky Francis Doh, Conghua Zhou, John Kingsley Arthur, Isaac Tawiah, Benjamin Doh

Data, 2022

Deep Reinforcement Learning for Video Summarization with Semantic Reward.

Haoran Sun, Xiaolong Zhu, Conghua Zhou

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

A Novel Hierarchical Deep Matrix Completion Method.

Yaru Chen, Xiaohong Gu, Conghua Zhou, Xiaolong Zhu, Yi Jiang, John Kingsley Arthur, Eric Appiah Mantey, Ernest Domanaanmwi Ganaa

IEEE Access, 2021

2019

An improved learning algorithm for random neural networks based on particle swarm optimization and input-to-output sensitivity.

Qing-Hua Ling, Yuqing Song, Fei Han, Conghua Zhou, Hu Lu

Cogn. Syst. Res., 2019

2018

一种基于始末距离的时间序列符号聚合近似表示方法 (Symbolic Aggregate Approximation Method of Time Series Based on Beginning and End Distance).

Haijuan Ji, Conghua Zhou, Zhifeng Liu

计算机科学, 2018

2017

一种多种攻击并发下的WSN生存性评估模型 (Survivability Evaluation Model for Wireless Sensor Network under Multiple Attacks).

Zhifeng Liu, Kai Chen, Lei Li, Conghua Zhou

计算机科学, 2017

2016

车载网中可抵制合谋攻击的批量认证方案 (Batch Verification Scheme Defensing Collusive Attack in VANET).

Jie Lu, Xiangmei Song, Mou Han, Conghua Zhou

计算机科学, 2016

Testing access control policy through Change Rule and Swap Rule Algorithm (CRSR).

Patricia Ghann, Shiguang Ju, Conghua Zhou

J. Inf. Secur. Appl., 2016

2015

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu

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

2013

A Privacy-Preserving Reauthentication Scheme for Mobile Wireless Sensor Networks.

Shunrong Jiang, Jiapeng Zhang, Jingjun Miao, Conghua Zhou

Int. J. Distributed Sens. Networks, 2013

2012

Abstraction In Model Checking Real-Time Temporal Logic of Knowledge.

Conghua Zhou, Bo Sun

J. Comput., 2012

Symbolic algorithmic verification of intransitive generalized noninterference.

Conghua Zhou, Zhifeng Liu, Hailing Wu, Song Chen, Shiguang Ju

Sci. China Inf. Sci., 2012

2011

SAT-based Algorithmic Verification of Noninterference.

Conghua Zhou, Meiling Cao, Meng Ye, Zhihao Qian

J. Comput., 2011

Abstraction for model checking multi-agent systems.

Conghua Zhou, Bo Sun, Zhifeng Liu

Frontiers Comput. Sci. China, 2011

2010

Information Flow Graph: An Approach to Identifying Covert Storage Channels.

Xiangmei Song, Shiguang Ju, Changda Wang, Conghua Zhou

Proceedings of the Trusted Systems - Second International Conference, 2010

Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge.

Conghua Zhou, Bo Sun, Zhifeng Liu

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009

State Space Reduction for Verifying Noninterference.

Conghua Zhou, Li Chen, Shiguang Ju, Zhifeng Liu

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2007

Bounded Model Checking of CTL.

Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang

J. Comput. Sci. Technol., 2007

QBF-Based Symbolic Model Checking for Knowledge and Time.

Conghua Zhou, Zhenyu Chen, Zhihong Tao

Proceedings of the Theory and Applications of Models of Computation, 2007

SAT-based Bounded Model Checking for SE-LTL.

Conghua Zhou, Shiguang Ju

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A compositional symbolic verification framework for concurrent software.

Conghua Zhou

Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

2006

Improved SAT Based Bounded Model Checking.

Conghua Zhou, Decheng Ding

Proceedings of the Theory and Applications of Models of Computation, 2006

2005

Automatic abstraction refinement for Petri nets verification.

Zhenyu Chen, Conghua Zhou, Decheng Ding

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005