| 2026 | AAAI | Hilbert Curve-Encoded Rotation-Equivariant Oriented Object Detector with Locality-Preserving Spatial Mapping. | Qi Ming, Liuqian Wang, Juan Fang, Xudong Zhao, Yucheng Xu, Ziyi Teng, Yue Zhou, Xiaoxi Hu, Xiaohan Zhang, Yufei Guo |
| 2026 | WWW | DyLogNet: A Dynamic Multi-Relational Graph Framework for Log Anomaly Detection. | Xudong Zhao, Xiaolong Xu, Haolong Xiang, Tong Gao, Lianyong Qi, Amin Beheshti, Xuyun Zhang, Wanchun Dou |
| 2026 | WACV | StructFormer: Structure-Consistent Face De-Identification Under Strong Privacy Constraints. | Haini Zhu, Deepak Kumar Jain, Xudong Zhao, Muyu Li, Vitomir Struc, Sumarga Kumar Sah Tyagi |
| 2025 | ICASSP | Fusion-OSR: Cross-Domain Contrastive Learning with Weibull Calibration for Time Series Open Set Recognition. | Shuguo Hu, Xudong Zhao, Shuwei Hu, Xuan Gao |
| 2025 | Interspeech | On the Design of a Robust Superdirective Beamformer and Topology Parameter Optimization with Frustum-Shaped Microphone Arrays Featuring Multiple Rings. | Kunlong Zhao, Gongping Huang, Xudong Zhao, Jingdong Chen, Jacob Benesty, Zoran Cvetkovic |
| 2025 | ICRA | Robust 4D Radar-Aided Inertial Navigation for Aerial Vehicles. | Jinwen Zhu, Jun Hu, Xudong Zhao, Xiaoming Lang, Yinian Mao, Guoquan Huang |
| 2024 | ICASSP | Differential Beamforming with Null Constraints for Spherical Microphone Arrays. | Xudong Zhao, Xueqin Luo, Gongping Huang, Jingdong Chen, Jacob Benesty |
| 2024 | INDIN | Multi-Sensor Information Optimal Fusion for Industry Application Under Heavily-Constrained Communication. | Xudong Zhao, Yifang Shi, Yuemin Ding |
| 2024 | NAACL | MuMath: Multi-perspective Data Augmentation for Mathematical Reasoning in Large Language Models. | Weihao You, Shuo Yin, Xudong Zhao, Zhilong Ji, Guoqiang Zhong, Jinfeng Bai |
| 2023 | NOSSDAV | DMGC: Deep Triangle Mesh Geometry Compression via Connectivity Prediction. | Xudong Zhao, Xinyao Zeng, Linyao Gao, Yiling Xu, Yanfeng Wang |
| 2022 | CSCWD | Alliance Benefit Distribution for considering the Core Enterprises of Supply Chain. | Da Liu, Huiping Zhang, Xudong Zhao, Renjie He, Shengyan Wang |
| 2022 | IGARSS | Multi-Source Remote Sensing Data Cross Scene Classification Based on Multi-Graph Matching. | Mengmeng Zhang, Xudong Zhao, Wei Li, Yuxiang Zhang |
| 2022 | IGARSS | Multisource Cross-Scene Classification Using Fractional Fusion and Spatial-Spectral Domain Adaptation. | Xudong Zhao, Mengmeng Zhang, Ran Tao, Wei Li, Wenzhi Liao, Wilfried Philips |
| 2022 | IGARSS | Multisource Remote Sensing Data Classification Using Fractional Fourier Transformer. | Xudong Zhao, Mengmeng Zhang, Ran Tao, Wei Li, Wenzhi Liao, Wilfried Philips |
| 2021 | ICASSP | On the Design of Square Differential Microphone Arrays with a Multistage Structure. | Xudong Zhao, Gongping Huang, Jacob Benesty, Jingdong Chen, Israel Cohen |
| 2020 | ICASSP | An Improved Solution to the Frequency-Invariant Beamforming with Concentric Circular Microphone Arrays. | Xudong Zhao, Gongping Huang, Jingdong Chen, Jacob Benesty |
| 2020 | Interspeech | A Multi-Scale Fusion Framework for Bimodal Speech Emotion Recognition. | Ming Chen, Xudong Zhao |
| 2020 | QRS | Security Controller Synthesis for ROS-based Robot. | Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong |
| 2020 | QRS | Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. | Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong |
| 2020 | SEKE | Controller Synthesis for ROS-based Multi-Robot Collaboration. | Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong |
| 2019 | ICASSP | Properties and Limits of the Minimum-norm Differential Beamformers with Circular Microphone Arrays. | Gongping Huang, Xudong Zhao, Jingdong Chen, Jacob Benesty |
| 2019 | ICASSP | Multisource Remote Sensing Data Classification Using Deep Hierarchical Random Walk Networks. | Xudong Zhao, Ran Tao, Wei Li |
| 2019 | IGARSS | Collaborative Classification of Hyperspectral and Lidar Data With Information Fusion and Deep Nets. | Chen Chen, Xudong Zhao, Wei Li, Ran Tao, Qian Du |
| 2017 | ICDCS | Automated Performance Evaluation for Multi-tier Cloud Service Systems Subject to Mixed Workloads. | Xudong Zhao, Jiwei Huang, Lei Liu, Shijun Liu, Calton Pu, Lizhen Cui |
| 2017 | ICWS | Real-Time Soft Resource Allocation in Multi-Tier Web Service Systems. | Xudong Zhao, Jiwei Huang, Lei Liu, Yuliang Shi, Shijun Liu, Calton Pu, Lizhen Cui |
| 2016 | ICWS | Integrating Theoretical Modeling and Experimental Measurement for Soft Resource Allocation in Multi-tier Web Systems. | Yuliang Shi, Jiwei Huang, Xudong Zhao, Lei Liu, Shijun Liu, Li-zhen Cui |
| 2013 | ICIP | Image splicing detection based on noncausal Markov model. | Xudong Zhao, Shilin Wang, Shenghong Li, Jianhua Li, Quanqiao Yuan |
| 2013 | ICMLC | Waveform classification based on wavelet transform and K-means clustering. | Yongqiang Zhang, Xudong Zhao, Yi Sun, Min Liu, Daming Shi |
| 2013 | IWDW | A Distributed Scheme for Image Splicing Detection. | Xudong Zhao, Shilin Wang, Shenghong Li, Jianhua Li, Xiang Lin |
| 2011 | IWDW | A Comprehensive Study on Third Order Statistical Features for Image Splicing Detection. | Xudong Zhao, Shilin Wang, Shenghong Li, Jianhua Li |
| 2011 | VCIP | Adaptive background estimation of outdoor illumination variations for foreground detection. | Xudong Zhao, Peng Liu, Jiafeng Liu, Xianglong Tang |
| 2011 | VCIP | A time, space and color-based classification of different weather conditions. | Xudong Zhao, Peng Liu, Jiafeng Liu, Xianglong Tang |
| 2010 | IWDW | Detecting Digital Image Splicing in Chroma Spaces. | Xudong Zhao, Jianhua Li, Shenghong Li, Shilin Wang |
| 1999 | DAC | Coverage Estimation for Symbolic Model Checking. | Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao |
| 1996 | AISC | Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. | Andrej Bauer, Edmund M. Clarke, Xudong Zhao |
| 1996 | CAV | Verifying the SRT Division Algorithm Using Theorem Proving Techniques. | Edmund M. Clarke, Steven M. German, Xudong Zhao |
| 1996 | DAC | Word Level Model Checking - Avoiding the Pentium FDIV Error. | Edmund M. Clarke, Manpreet Khaira, Xudong Zhao |
| 1996 | FMCAD | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. | Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1996 | MFCS | Word Level Model Checking (Abstract). | Edmund M. Clarke, Xudong Zhao |
| 1995 | DAC | Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. | Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao |
| 1995 | ICCAD | Hybrid decision diagrams. | Edmund M. Clarke, Masahiro Fujita, Xudong Zhao |
| 1994 | CADE | Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. | Edmund M. Clarke, Xudong Zhao |
| 1994 | ISCAS | Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. | Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer |
| 1993 | DAC | Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. | Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang |
| 1992 | CADE | Analytica - A Theorem Prover in Mathematica. | Edmund M. Clarke, Xudong Zhao |