Cloning, expression and characterization of a thermostable pullulanase from newly isolated thermophilic Geobacillus sp. LM14-3. - Shaojing Sun; Fuping Lu; Hui Song; Jianyong Xu; Nan Jiang; Yueling Zhang; Li Li; Tan Ming; Wen Zheng (BMEI, 2011)

Approximate Reachability. - Jianwen Li; Shufang Zhu 001; Yueling Zhang; Geguang Pu; Moshe Y. Vardi (CoRR, 2016)

Safety model checking with complementary approximations. - Jianwen Li; Shufang Zhu 001; Yueling Zhang; Geguang Pu; Moshe Y. Vardi (ICCAD, 2017)

Optimizing backbone filtering. - Yueling Zhang; Jianwen Li; Min Zhang 007; Geguang Pu; Fu Song (TASE, 2017)

Syntax-Guided Termination Analysis. - Grigory Fedyukovich; Yueling Zhang; Aarti Gupta (CAV (1), 2018)

Towards backbone computing: A Greedy-Whitening based approach. - Yueling Zhang; Min Zhang 007; Geguang Pu; Fu Song; Jianwen Li (AI Commun., 2018)

SMTBCF: Efficient Backbone Computing for SMT Formulas. - Yueling Zhang; Geguang Pu; Min Zhang 007 (ICFEM, 2019)

Generating adversarial examples for DNN using pooling layers. - Yueling Zhang; Geguang Pu; Min Zhang 007; William Y (J. Intell. Fuzzy Syst., 2019)

EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. - Bangfeng Xia; Yueling Zhang; Weiting Chen; Xiangfeng Wang; Jiangtao Wang 009 (ICANN (1), 2020)

Accelerating All-SAT Computation with Short Blocking Clauses. - Yueling Zhang; Geguang Pu; Jun Sun 001 (ASE, 2020)

SAT-based explicit LTLf satisfiability checking. - Jianwen Li; Geguang Pu; Yueling Zhang; Moshe Y. Vardi; Kristin Y. Rozier (Artif. Intell., 2020)

Optimizing backbone filtering. - Yueling Zhang; Min Zhang 007; Geguang Pu (Sci. Comput. Program., 2020)

Approximated Masked Global Context Network for Skin Lesion Segmentation. - Chunguang Jiang; Yueling Zhang; Jiangtao Wang 009; Weiting Chen (ICANN (3), 2021)

Generating Adversarial Examples by Distributed Upsampling. - Shunkai Zhou; Yueling Zhang; Guitao Cao; Jiangtao Wang 009 (ICONIP (1), 2021)

Efficient white-box fairness testing through gradient search. - Lingfeng Zhang; Yueling Zhang; Min Zhang 007 (ISSTA, 2021)

Knowledge Graph of Artificial Intelligence in Medicine: A Scientometric Analysis. - Jinlei Liu; Wenchao Dan; Nuo Cheng; Wenjing Lian; Peirong Qu; Hui Zhang; Yueling Zhang; Jie Wang (DSC, 2022)

AI-enabled Automatic Multimodal Fusion of Cone-Beam CT and Intraoral Scans for Intelligent 3D Tooth-Bone Reconstruction and Clinical Applications. - Jin Hao; Jiaxiang Liu; Jin Li; Wei Pan 010; Ruizhe Chen; Huimin Xiong; Kaiwei Sun; Hangzheng Lin; Wanlu Liu; Wanghui Ding; Jianfei Yang; Haoji Hu; et al. (CoRR, 2022)

A refinement development approach for enhancing the safety of PLC programs with Event-B. - Xia Mao; Yueling Zhang; Jianqi Shi; Yanhong Huang; Qin Li 002 (Sci. Comput. Program., 2022)

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. - Xia Mao; Xin Li 109; Yanhong Huang; Jianqi Shi; Yueling Zhang (IEEE Trans. Ind. Informatics, 2022)

Boosting Verified Training for Robust Image Classifications via Abstraction. - Zhaodi Zhang; Zhiyi Xue; Yang Chen; Si Liu 003; Yueling Zhang; Jing Liu 012; Min Zhang 002 (CVPR, 2023)

OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. - Xingwu Guo; Ziwei Zhou; Yueling Zhang; Guy Katz; Min Zhang 002 (TACAS (1), 2023)

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. - Simiao Zhang; Jitao Bai; Menghong Guan; Yihao Huang 001; Yueling Zhang; Jun Sun 001; Geguang Pu (CoRR, 2023)

CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. - Simiao Zhang; Jitao Bai; Menghong Guan; Yueling Zhang; Jun Sun 001; Yihao Huang 001; Jiaping Wang; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ICANN (1), 2024)

Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient. - Hao Di; Haishan Ye; Yueling Zhang; Xiangyu Chang; Guang Dai; Ivor W. Tsang (ICML, 2024)

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. - Junwei Chen; Yueling Zhang; Lingfeng Zhang; Min Zhang 007; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ASE, 2024)

S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. - Yilongfei Xu; Zhewei Wang; Jinhao Liang; Yueling Zhang; Jincao Feng; Weikai Miao; Jiangtao Wang 009; Geguang Pu (SFPVV, 2024)

A Lightweight Model Solution for Aluminum Material Defect Detection at the Edge. - Zhengzhou Chen; Jinhao Liang; Yueling Zhang; Jiangtao Wang 009; Qing Zhang; Gang Xu (SIES, 2024)

Experimenting a New Programming Practice with LLMs. - Simiao Zhang; Jiaping Wang; Guoliang Dong; Jun Sun 001; Yueling Zhang; Geguang Pu (CoRR, 2024)

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. - Qichang Wang; Chuyang Chen; Ruiyang Xu; Haiying Sun; Chengcheng Wan 001; Ting Su 001; Yueling Zhang; Geguang Pu (ICSE Companion, 2025)

HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions. - Lingfeng Zhang; Zhaohui Wang; Yueling Zhang; Min Zhang 002; Jiangtao Wang 009 (ICSE, 2025)

A Study of In-Context-Learning-Based Text-to-SQL Errors. - Jiawei Shen; Chengcheng Wan 001; Ruoyi Qiao; Jiazhen Zou; Hang Xu; Yuchen Shao; Yueling Zhang; Weikai Miao; Geguang Pu (CoRR, 2025)