An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation. - Wubin Guo; Xiangpei Hu; Kuanjiu Zhou; Lijun Sun (ICMB, 2007)

Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time. - Gang Hou; Kuanjiu Zhou; Yang Tian (KSEM, 2007)

An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm. - Shirong Zhang; Kuanjiu Zhou; Yuan Tian 036 (KSEM, 2007)

Supervised Gabor-Based Kernel Locality Preserving Projections for Face Recognition. - Chuang Lin 001; Xirui Sun; Kuanjiu Zhou; Feng Xia 001 (iThings/CPSCom, 2011)

A Method of Software Defects Mining Based on Static Analysis. - Xiaochen Lai; Kuanjiu Zhou; Likun Li; Lemin Tang; Yanshuang Yao; Liang Yu (IEA/AIE, 2012)

Software Reliability Test Based on Markov Usage Model. - Kuanjiu Zhou; Xiaolong Wang; Gang Hou; Jie Wang 004; Shanbin Ai (J. Softw., 2012)

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. - Gang Hou; Kuanjiu Zhou; Junwang Chang; Rui Li; Mingchu Li (APPT, 2013)

Accelerating Software Model Checking Based on Program Backbone. - Kuanjiu Zhou; Jiawei Yong; Xiaolong Wang; Longtao Ren; Gang Hou; Junwang Chang (APPT, 2013)

Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach. - Jie Wang 004; Kuanjiu Zhou; Kai Cui; Xiangjie Kong 001; Guang Yang (GreenCom/iThings/CPScom, 2013)

A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform. - Shenglai Yang; Kuanjiu Zhou; Jie Wang 004; Bin Liu; Ting Li (ACA, 2014)

A Regular Expression Matching Approach to Distributed Wireless Network Security System. - Jie Wang 004; Yanshuo Yu; Kuanjiu Zhou (Int. J. Netw. Secur., 2014)

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling. - Gang Hou; Yinfeng Ban; Kuanjiu Zhou; Jie Wang 004; Mingchu Li; Zihao Liao (FCST, 2015)

ETSTM: A New Green Software Model. - Gang Hou; Kuanjiu Zhou; Yanran Wu; Zongzheng Chi; Jie Wang 004; Mingchu Li (Trustcom/BigDataSE/ISPA, 2016)

Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV. - Kai Cui; Kuanjiu Zhou; Houbing Song; Mingchu Li (IEEE Access, 2017)

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. - Gang Hou; Kuanjiu Zhou; Tie Qiu 001; Weiqiang Kong; Mingchu Li (IEEE Access, 2017)

A hierarchical combinatorial testing method for smart phone software in wearable IoT systems. - Kai Cui; Kuanjiu Zhou; Tie Qiu 001; Mingchu Li; Leiming Yan (Comput. Electr. Eng., 2017)

A novel green software evaluation model for cloud robotics. - Gang Hou; Kuanjiu Zhou; Tie Qiu 001; Xun Cao; Mingchu Li; Jie Wang 004 (Comput. Electr. Eng., 2017)

Effective hybrid load scheduling of online and offline clusters for e-health service. - Kai Cui; Jie Wang 004; Houbing Song; Chi Lin 001; Kuanjiu Zhou; Mingchu Li (Neurocomputing, 2017)

基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model). - Haoran Liang; Kuanjiu Zhou; Kai Cui; Jie Pan; Gang Hou (计算机科学, 2017)

Analysis of Interrupt Behavior Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Xun Cao; Akira Fukuda (IIAI-AAI, 2018)

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning. - Jie Wang 004; Shuangmin Deng; Junjie Kang; Gang Hou; Kuanjiu Zhou; Chi Lin 001 (DSA, 2019)

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Chi Lin 001 (ICPADS, 2019)

实时嵌入式系统的WCET分析与预测研究综述 (Survey of WCET Analysis and Prediction for Real-time Embedded Systems). - Yingjie Wang; Kuanjiu Zhou; Mingchu Li (计算机科学, 2019)

Research on Real-Time Embedded Software Scheduling Model Based on EDF. - Yingjie Wang; Kuanjiu Zhou; Zumin Wang; Mingchu Li; Nan Chen; Bin Li; Hongxuan Tian (IEEE Access, 2020)

Interrupt nesting method based on time slice in embedded software. - Yingjie Wang; Kuanjiu Zhou; Jie Pan; Mingchu Li (Int. J. Inf. Commun. Technol., 2020)

Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers. - Yicong Li 006; Kuanjiu Zhou; Lin Xu; Meiying Wang; Nan Liu (ICA3PP (3), 2021)

EHSTM: a formal model of embedded software and research on several key issues. - Masahiko Watanabe; Kuanjiu Zhou; Yicong Li 006; Zizhong Wang; Junyu Li (CCF Trans. High Perform. Comput., 2021)

Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model. - Lin Xu; Li Li; Meiying Wang; Xiangxu Wang; Yicong Li 006; Weidong Li; Kuanjiu Zhou (IEEE Access, 2023)

Enhancing Concept Completeness for Graph Neural Networks via Side-Channel. - Yicong Li 006; Kuanjiu Zhou; Mingyu Fan; Shaozhao Zhai; Muhammad Usman Arshad (ICHMS, 2024)

Factor Graph-based Interpretable Neural Networks. - Yicong Li 006; Kuanjiu Zhou; Shuo Yu 001; Qiang Zhang 008; Renqiang Luo; Xiaodong Li; Feng Xia 001 (ICLR, 2025)