Junping Zhou

28 papers A* 5A 1B 1Misc 1Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Deep Neural Network-Based Framework for Enhanced Malware Variant Detection.
ICIST
Wei Dai, Junping Zhou, Fangbing Yue, Guoai Xu
2025 A* conf
DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem.
AAAI
Jiaxin Liang, Junping Zhou, Minghao Yin
2025 — conf
KG-AndroidDefender: Knowledge Graph Embedding for Explainable Malware Family Classification.
ICIST
Chen Yi, Junping Zhou, Fangbing Yue, Guoai Xu
2024 J jnl
Application of Big Data in College Student Education Management Based on Data Warehouse Technology and Integrated Learning.
Int. J. e Collab.
Junping Zhou, Xueyuan Li
2024 A* conf
Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).
AAAI
Jiaxin Liang, Junping Zhou, Minghao Yin
2023 A conf
LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem.
SAT
Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He
2022 A* conf
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis.
IJCAI
Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin
2021 J jnl
An improved configuration checking-based algorithm for the unicost set covering problem.
Eur. J. Oper. Res.
Yiyuan Wang, Shiwei Pan, Sameh Al-Shihabi, Junping Zhou, Nan Yang, Minghao Yin
2021 J jnl
Solving diversified top-k weight clique search problem.
Sci. China Inf. Sci.
Junping Zhou, Chumin Li, Yupeng Zhou, Mingyang Li, Lili Liang, Jianan Wang
2020 J jnl
Local search for diversified Top-
Comput. Oper. Res.
Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
2019 J jnl
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs.
CoRR
Luzhi Wang, Chu-Min Li, Junping Zhou, Bo Jin, Minghao Yin
2017 J jnl
Diversified Top-k Partial MaxSAT Solving.
CoRR
Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin
2017 Misc conf
Phase Transition for Maximum Not-All-Equal Satisfiability.
FAW
Junping Zhou, Shuli Hu, Tingting Zou, Minghao Yin
2014 J jnl
New Worst-Case upper Bound for Counting Exact Satisfiability.
Int. J. Found. Comput. Sci.
Junping Zhou, Weihua Su, Jianan Wang
2013 J jnl
Approximate Counting CSP Solutions Using Partition Function.
CoRR
Junping Zhou, Weihua Su, Minghao Yin
2013 J jnl
Internal and External Optical Feedback Effect in Fiber Linear Lasers.
J. Networks
Junping Zhou, Jingming Xia, Yixian Ge, Eric Chernoff
2012 J jnl
Phase Transitions of EXPSPACE-Complete Problems: a Further Step.
Int. J. Found. Comput. Sci.
Junping Zhou, Minghao Yin, Xiangtao Li, Jinyan Wang
2012 — conf
The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter.
FAW-AAIM
Junping Zhou, Minghao Yin
2011 J jnl
A perturb biogeography based optimization with mutation for global numerical optimization.
Appl. Math. Comput.
Xiangtao Li, Jinyan Wang, Junping Zhou, Minghao Yin
2011 J jnl
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems
CoRR
Jian Gao, Minghao Yin, Junping Zhou
2011 A* conf
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.
AAAI
Jian Gao, Minghao Yin, Junping Zhou
2011 J jnl
New Worst-Case Upper Bound for #XSAT
CoRR
Junping Zhou, Minghao Yin
2011 J jnl
New Worst-Case Upper Bound for X3SAT
CoRR
Junping Zhou, Minghao Yin
2010 B conf
An effective GSA based memetic algorithm for permutation flow shop scheduling.
IEEE Congress on Evolutionary Computation
Xiangtao Li, Jianan Wang, Junping Zhou, Minghao Yin
2010 A* conf
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter.
AAAI
Junping Zhou, Minghao Yin, Chunguang Zhou
2010 J jnl
New worst upper bound for #SAT
CoRR
Junping Zhou, Minghao Yin, Chunguang Zhou
2010 J jnl
Phase Transitions of EXPSPACE-Complete Problems.
Int. J. Found. Comput. Sci.
Junping Zhou, Ping Huang, Minghao Yin, Chunguang Zhou
2010 J jnl
Phase Transitions of Plan Modification in Conformant Planning
CoRR
Junping Zhou, Minghao Yin