FC-normal and extended stratified logic program. - Daoyun Xu; Decheng Ding (Sci. China Ser. F Inf. Sci., 2002)

Characterization of an Auto-Compatible Default Theory. - Daoyun Xu; Decheng Ding; Mingyi Zhang 002 (J. Comput. Sci. Technol., 2003)

The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. - Hans Kleine Büning; Daoyun Xu (Ann. Math. Artif. Intell., 2005)

Complexities of Homomorphism and Isomorphism for Definite Logic Programs. - Daoyun Xu; Zhi-Hong Tao (J. Comput. Sci. Technol., 2005)

A New Lower Bound of Critical Function for (k, s)-SAT. - Ping Gong 004; Daoyun Xu (TAMC, 2006)

The Existence of Unsatisfiable Formulas in k-LCNF for k>=3. - Qingshun Zhang; Daoyun Xu (TAMC, 2007)

NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). - Tianyan Deng; Daoyun Xu (FAW, 2008)

Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. - Tianyan Deng; Daoyun Xu (ICYCS, 2008)

Maximum Renamable Horn and Maximum Independent Sets. - Yongbin Qin; Daoyun Xu (CSIE (1), 2009)

Modeling of Potential Customers Identification Based on Correlation Analysis and Decision Tree. - Kai Peng; Daoyun Xu (ISNN (3), 2011)

Stable analysis for neural networks: Set-valued mapping method. - Zixin Liu; Jian Yu 004; Daoyun Xu; Dingtao Peng (Appl. Math. Comput., 2013)

Vector Wirtinger-type inequality and the stability analysis of delayed neural network. - Zixin Liu; Jian Yu 004; Daoyun Xu (Commun. Nonlinear Sci. Numer. Simul., 2013)

Triple-integral method for the stability analysis of delayed neural networks. - Zixin Liu; Jian Yu 004; Daoyun Xu; Dingtao Peng (Neurocomputing, 2013)

Piecewise Convex Technique for the Stability Analysis of Delayed Neural Network. - Zixin Liu; Jian Yu 004; Daoyun Xu; Dingtao Peng (J. Appl. Math., 2013)

A heuristic algorithm for solving the problem of load balancing. - Jiayin Wei; Daoyun Xu; Yongbin Qin; Jincheng Zhou (ICACI, 2015)

一种求解置换Flow Shop调度问题的DRPFSP算法 (DRPFSP Algorithm for Solving Permutation Flow Shop Scheduling Problem). - Jiayin Wei; Yongbin Qin; Daoyun Xu (计算机科学, 2015)

Background modeling methods in video analysis: A review and comparative evaluation. - Yong Xu 001; Jixiang Dong; Bob Zhang 001; Daoyun Xu (CAAI Trans. Intell. Technol., 2016)

正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). - Mingming Zhang; Daoyun Xu (计算机科学, 2016)

Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule. - Youjun Lu; Daoyun Xu; Jincheng Zhou (NCTCS, 2017)

On-Line Load Balancing with Task Buffer. - Jiayin Wei; Daoyun Xu; Yongbin Qin; Ruizhang Huang (Comput. Informatics, 2017)

Exploiting context for people detection in crowded scenes. - Zufeng Fu; Daoyun Xu (J. Electronic Imaging, 2018)

用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets). - Guangwei She; Daoyun Xu (计算机科学, 2018)

Uniquely Satisfiable d-Regular (k, s)-SAT Instances. - Zufeng Fu; Daoyun Xu (Entropy, 2020)

(1, 0)-Super Solutions of (k, s)-CNF Formula. - Zufeng Fu; Daoyun Xu; Yongping Wang (Entropy, 2020)

The Convergence of a Cooperation Markov Decision Process System. - Xiaoling Mo; Daoyun Xu; Zufeng Fu (Entropy, 2020)

Properties of the satisfiability threshold of the strictly d-regular random (3, 2s)-SAT problem. - Yongping Wang; Daoyun Xu (Frontiers Comput. Sci., 2020)

Weighted Image Averaging Based Anisotropic Diffusion Denoising Method for Ultrasound Thyroid Image. - Haiyue Zhang; Daoyun Xu; Yongbin Qin (J. Medical Imaging Health Informatics, 2020)

The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem. - Xiaoling Mo; Daoyun Xu; Xi Wang (IEEE Access, 2021)

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form. - Zaijun Zhang; Daoyun Xu; Jincheng Zhou (Entropy, 2021)

An algorithm for solving satisfiability problem based on the structural information of formulas. - Zaijun Zhang; Daoyun Xu; Jincheng Zhou (Frontiers Comput. Sci., 2021)

The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem. - Guoxia Nie; Daoyun Xu; Xiaofeng Wang; Xi Wang (Symmetry, 2021)

A Logarithmic Function-Based Novel Representation Algorithm for Image Classification. - Haiyue Zhang; Daoyun Xu; Yongbin Qin (Traitement du Signal, 2021)

Satisfiability threshold of the random regular (s, c, k)-SAT problem. - Xiaoling Mo; Daoyun Xu; Kai Yan; Zaijun Zhang (Frontiers Comput. Sci., 2022)

Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula. - Guoxia Nie; Daoyun Xu; Xi Wang; Zaijun Zhang (Frontiers Comput. Sci., 2024)

On the upper bounds of (1,0)-super solutions for the regular balanced random (k,2s)-SAT problem. - Yongping Wang; Daoyun Xu; Jincheng Zhou (Frontiers Comput. Sci., 2024)

Generate universal adversarial perturbations by shortest-distance soft maximum direction attack. - Dengbo Liu; Zhi Li 012; Daoyun Xu (Comput. Secur., 2025)

DiagX-DT: diagnostic exclusion reasoning with dialectical thinking for traditional Chinese medicine in large language models. - Guoxia Nie; Yulin Zhou; Daoyun Xu; Yongbin Qin (J. King Saud Univ. Comput. Inf. Sci., 2025)