Huisi Zhou

14 papers A* 1B 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS.
Frontiers Comput. Sci.
Ran Tai, Dantong Ouyang, Ximing Li, Huisi Zhou, Liming Zhang
2025 J jnl
An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.
IEEE Trans. Circuits Syst. I Regul. Pap.
Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou
2025 J jnl
DPSLS: an efficient local search algorithm for pure MaxSAT.
Peer Peer Netw. Appl.
Huisi Zhou, Xinyu Zhang, Wei Hu, Dan Zhu, Liwei Wang
2025 B conf
Identifying Sat Resilient Blocks Through LUT Switching Analysis for Breaking Compound Logic Locking Schemes.
FPL
Binbin Wang, Xinmu Wang, Xinyu Zhang, Shibo Tang, Huisi Zhou, Wei Hu
2025 — conf
Modeling Fault Propagation for Model-Based Diagnosis as a MaxSAT Problem.
AsianHOST
Huisi Zhou, Ning Kang, Wei Hu
2024 J jnl
DSLS: a simple and efficient local search algorithm for the maximum bisection problem.
J. Heuristics
Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang
2024 B conf
New Diagnostics for Inferring Multiple Fault Scenarios and Accurate Fault Localization.
GLOBECOM
Huisi Zhou, Wei Hu, Dan Zhu, Liwei Wang
2023 J jnl
Combinatorial optimization and local search: A case study of the discount knapsack problem.
Comput. Electr. Eng.
Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang
2023 J jnl
DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.
J. Supercomput.
Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang
2023 J jnl
DiagDO: an efficient model based diagnosis approach with multiple observations.
Frontiers Comput. Sci.
Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang
2022 J jnl
Model-based diagnosis with improved implicit hitting set dualization.
Appl. Intell.
Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian
2022 A* conf
Two Compacted Models for Efficient Model-Based Diagnosis.
AAAI
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
2022 J jnl
Two efficient local search algorithms for the vertex bisection minimization problem.
Inf. Sci.
Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang
2016 — conf
Learning Based K-Dependence Bayesian Classifiers.
ICCCS (2)
Limin Wang, Yuanxiang Xie, Huisi Zhou, Yiming Wang, Jiangshan Guo