Huisi Zhou

According to our database, Huisi Zhou authored at least 14 papers between 2016 and 2026.

Collaborative distances:

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

2026

Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS.

Ran Tai, Dantong Ouyang, Ximing Li, Huisi Zhou, Liming Zhang

Frontiers Comput. Sci., August, 2026

2025

DPSLS: an efficient local search algorithm for pure MaxSAT.

Huisi Zhou, Xinyu Zhang, Wei Hu, Dan Zhu, Liwei Wang

Peer Peer Netw. Appl., August, 2025

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.

Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou

IEEE Trans. Circuits Syst. I Regul. Pap., January, 2025

Identifying Sat Resilient Blocks Through LUT Switching Analysis for Breaking Compound Logic Locking Schemes.

Binbin Wang, Xinmu Wang, Xinyu Zhang, Shibo Tang, Huisi Zhou, Wei Hu

Proceedings of the 35th International Conference on Field-Programmable Logic and Applications, 2025

Modeling Fault Propagation for Model-Based Diagnosis as a MaxSAT Problem.

Huisi Zhou, Ning Kang, Wei Hu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2025

2024

DSLS: a simple and efficient local search algorithm for the maximum bisection problem.

Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang

J. Heuristics, April, 2024

New Diagnostics for Inferring Multiple Fault Scenarios and Accurate Fault Localization.

Huisi Zhou, Wei Hu, Dan Zhu, Liwei Wang

Proceedings of the 2024 IEEE Global Communications Conference, 2024

2023

DiagDO: an efficient model based diagnosis approach with multiple observations.

Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang

Frontiers Comput. Sci., December, 2023

DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.

Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang

J. Supercomput., September, 2023

Combinatorial optimization and local search: A case study of the discount knapsack problem.

Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang

Comput. Electr. Eng., January, 2023

2022

Two efficient local search algorithms for the vertex bisection minimization problem.

Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang

Inf. Sci., 2022

Model-based diagnosis with improved implicit hitting set dualization.

Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian

Appl. Intell., 2022

Two Compacted Models for Efficient Model-Based Diagnosis.

Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2016

Learning Based K-Dependence Bayesian Classifiers.

Limin Wang, Yuanxiang Xie, Huisi Zhou, Yiming Wang, Jiangshan Guo

Proceedings of the Cloud Computing and Security - Second International Conference, 2016