Kuanjiu Zhou

33 papers A* 2B 1C 3Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2026 A* conf
Explaining Synergistic Effects in Social Recommendations.
WWW
Yicong Li, Shan Jin, Qi Liu, Shuo Wang, Jiaying Liu, Shuo Yu, Qiang Zhang, Kuanjiu Zhou, Feng Xia
2026 J jnl
Explaining Synergistic Effects in Social Recommendations.
CoRR
Yicong Li, Shan Jin, Qi Liu, Shuo Wang, Jiaying Liu, Shuo Yu, Qiang Zhang, Kuanjiu Zhou, Feng Xia
2025 A* conf
Factor Graph-based Interpretable Neural Networks.
ICLR
Yicong Li, Kuanjiu Zhou, Shuo Yu, Qiang Zhang, Renqiang Luo, Xiaodong Li, Feng Xia
2025 J jnl
Factor Graph-based Interpretable Neural Networks.
CoRR
Yicong Li, Kuanjiu Zhou, Shuo Yu, Qiang Zhang, Renqiang Luo, Xiaodong Li, Feng Xia
2024 — conf
Enhancing Concept Completeness for Graph Neural Networks via Side-Channel.
ICHMS
Yicong Li, Kuanjiu Zhou, Mingyu Fan, Shaozhao Zhai, Muhammad Usman Arshad
2023 J jnl
Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model.
IEEE Access
Lin Xu, Li Li, Meiying Wang, Xiangxu Wang, Yicong Li, Weidong Li, Kuanjiu Zhou
2021 J jnl
EHSTM: a formal model of embedded software and research on several key issues.
CCF Trans. High Perform. Comput.
Masahiko Watanabe, Kuanjiu Zhou, Yicong Li, Zizhong Wang, Junyu Li
2021 — conf
Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.
ICA3PP (3)
Yicong Li, Kuanjiu Zhou, Lin Xu, Meiying Wang, Nan Liu
2020 J jnl
Interrupt nesting method based on time slice in embedded software.
Int. J. Inf. Commun. Technol.
Yingjie Wang, Kuanjiu Zhou, Jie Pan, Mingchu Li
2020 J jnl
Research on Real-Time Embedded Software Scheduling Model Based on EDF.
IEEE Access
Yingjie Wang, Kuanjiu Zhou, Zumin Wang, Mingchu Li, Nan Chen, Bin Li, Hongxuan Tian
2019 — conf
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.
DSA
Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin
2019 B conf
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.
ICPADS
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
2019 J jnl
实时嵌入式系统的WCET分析与预测研究综述 (Survey of WCET Analysis and Prediction for Real-time Embedded Systems).
计算机科学
Yingjie Wang, Kuanjiu Zhou, Mingchu Li
2018 — conf
Analysis of Interrupt Behavior Based on Probabilistic Model Checking.
IIAI-AAI
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
2017 J jnl
A hierarchical combinatorial testing method for smart phone software in wearable IoT systems.
Comput. Electr. Eng.
Kai Cui, Kuanjiu Zhou, Tie Qiu, Mingchu Li, Leiming Yan
2017 J jnl
A novel green software evaluation model for cloud robotics.
Comput. Electr. Eng.
Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang
2017 J jnl
Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV.
IEEE Access
Kai Cui, Kuanjiu Zhou, Houbing Song, Mingchu Li
2017 J jnl
Effective hybrid load scheduling of online and offline clusters for e-health service.
Neurocomputing
Kai Cui, Jie Wang, Houbing Song, Chi Lin, Kuanjiu Zhou, Mingchu Li
2017 J jnl
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.
IEEE Access
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
2017 J jnl
基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model).
计算机科学
Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou
2016 — conf
ETSTM: A New Green Software Model.
Trustcom/BigDataSE/ISPA
Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li
2015 — conf
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.
FCST
Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao
2014 — conf
A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform.
ACA
Shenglai Yang, Kuanjiu Zhou, Jie Wang, Bin Liu, Ting Li
2014 J jnl
A Regular Expression Matching Approach to Distributed Wireless Network Security System.
Int. J. Netw. Secur.
Jie Wang, Yanshuo Yu, Kuanjiu Zhou
2013 — conf
Accelerating Software Model Checking Based on Program Backbone.
APPT
Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
2013 — conf
Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach.
GreenCom/iThings/CPScom
Jie Wang, Kuanjiu Zhou, Kai Cui, Xiangjie Kong, Guang Yang
2013 — conf
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.
APPT
Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li
2012 C conf
A Method of Software Defects Mining Based on Static Analysis.
IEA/AIE
Xiaochen Lai, Kuanjiu Zhou, Likun Li, Lemin Tang, Yanshuang Yao, Liang Yu
2012 J jnl
Software Reliability Test Based on Markov Usage Model.
J. Softw.
Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai
2011 — conf
Supervised Gabor-Based Kernel Locality Preserving Projections for Face Recognition.
iThings/CPSCom
Chuang Lin, Xirui Sun, Kuanjiu Zhou, Feng Xia
2007 C conf
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time.
KSEM
Gang Hou, Kuanjiu Zhou, Yang Tian
2007 C conf
An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm.
KSEM
Shirong Zhang, Kuanjiu Zhou, Yuan Tian
2007 — conf
An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation.
ICMB
Wubin Guo, Xiangpei Hu, Kuanjiu Zhou, Lijun Sun