Automatic abstraction refinement for Petri nets verification. - Zhenyu Chen 001; Conghua Zhou; Decheng Ding (HLDVT, 2005)

Improved SAT Based Bounded Model Checking. - Conghua Zhou; Decheng Ding (TAMC, 2006)

A compositional symbolic verification framework for concurrent software. - Conghua Zhou (Infoscale, 2007)

SAT-based Bounded Model Checking for SE-LTL. - Conghua Zhou; Shiguang Ju (SNPD (3), 2007)

QBF-Based Symbolic Model Checking for Knowledge and Time. - Conghua Zhou; Zhenyu Chen 001; Zhihong Tao (TAMC, 2007)

Bounded Model Checking of CTL. - Zhi-Hong Tao; Conghua Zhou; Zhong Chen; Lifu Wang (J. Comput. Sci. Technol., 2007)

State Space Reduction for Verifying Noninterference. - Conghua Zhou; Li Chen; Shiguang Ju; Zhifeng Liu (SSIRI, 2009)

Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge. - Conghua Zhou; Bo Sun; Zhifeng Liu (AICI (1), 2010)

Information Flow Graph: An Approach to Identifying Covert Storage Channels. - Xiangmei Song; Shiguang Ju; Changda Wang 001; Conghua Zhou (INTRUST, 2010)

Abstraction for model checking multi-agent systems. - Conghua Zhou; Bo Sun; Zhifeng Liu (Frontiers Comput. Sci. China, 2011)

SAT-based Algorithmic Verification of Noninterference. - Conghua Zhou; Meiling Cao; Meng Ye 006; Zhihao Qian (J. Comput., 2011)

Symbolic algorithmic verification of intransitive generalized noninterference. - Conghua Zhou; Zhifeng Liu; Hailing Wu; Song Chen; Shiguang Ju (Sci. China Inf. Sci., 2012)

Abstraction In Model Checking Real-Time Temporal Logic of Knowledge. - Conghua Zhou; Bo Sun (J. Comput., 2012)

A Privacy-Preserving Reauthentication Scheme for Mobile Wireless Sensor Networks. - Shunrong Jiang; Jiapeng Zhang; Jingjun Miao; Conghua Zhou (Int. J. Distributed Sens. Networks, 2013)

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. - Conghua Zhou; Yong Wang; Meiling Cao; Jianqi Shi; Yang Liu 003 (TASE, 2015)

Testing access control policy through Change Rule and Swap Rule Algorithm (CRSR). - Patricia Ghann; Shiguang Ju; Conghua Zhou (J. Inf. Secur. Appl., 2016)

车载网中可抵制合谋攻击的批量认证方案 (Batch Verification Scheme Defensing Collusive Attack in VANET). - Jie Lu; Xiangmei Song; Mou Han; Conghua Zhou (计算机科学, 2016)

一种多种攻击并发下的WSN生存性评估模型 (Survivability Evaluation Model for Wireless Sensor Network under Multiple Attacks). - Zhifeng Liu; Kai Chen; Lei Li; Conghua Zhou (计算机科学, 2017)

一种基于始末距离的时间序列符号聚合近似表示方法 (Symbolic Aggregate Approximation Method of Time Series Based on Beginning and End Distance). - Haijuan Ji; Conghua Zhou; Zhifeng Liu (计算机科学, 2018)

An improved learning algorithm for random neural networks based on particle swarm optimization and input-to-output sensitivity. - Qing-Hua Ling; Yuqing Song 001; Fei Han 001; Conghua Zhou; Hu Lu (Cogn. Syst. Res., 2019)

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)

Deep Reinforcement Learning for Video Summarization with Semantic Reward. - Haoran Sun; Xiaolong Zhu; Conghua Zhou (QRS Companion, 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)

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)

Personalized Relationships-Based Knowledge Graph for Recommender Systems with Dual-View Items. - Zhifeng Liu; Xianzhan Zhong; Conghua Zhou (Symmetry, 2022)

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)

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, 2024)

Temporal dual-target cross-domain recommendation framework for next basket recommendation. - John Kinglsey Arthur; Conghua Zhou; Xiang-Jun Shen; Ronky Wrancis Amber-Doh; Jeremiah Osei-Kwakye; Eric Appiah Mantey (Discov. Comput., 2024)

Robust multi-label classification via data reconstruction by neighborhood samples augmentation. - Zhifeng Liu; Sitao Xi; Timothy Apasiba Abeo; Xiang-Jun Shen; Conghua Zhou; Heping Song; Peiwang Li (Multim. Tools Appl., 2025)