| 2026 | CAV | ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks. | Yuehao Liu, Cong Tian, Yansong Dong, Liang Zhao, Chao Huang, Wensheng Wang |
| 2026 | CAV | Upper Bound for the Determinization of Emerson-Lei Automata: A One-Fin Approach. | Runzhe Ma, Cong Tian, Wensheng Wang, Zhenhua Duan |
| 2025 | IJCAI | Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement. | Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian |
| 2022 | IGARSS | A Polsar Classification Algorithm and its Verification for Intertidal Flats in the German Wadden SEA. | Wensheng Wang, Martin Gade |
| 2020 | CIS | Numerical Analysis of Influence of Medicine Cover Structure on Cutting Depth. | Kai Li, Chang Liu, Yang Hu, Changshuan Wang, Wei Peng, Qiang Gao, Yun Zhang, Tongsheng Shu, Wensheng Wang, Chengwen Lei, Lin Liu, Junfeng Chen |
| 2020 | CIS | Energy Accumulating Cutting Technology in Steel Plate Cutting of Reservoir Gate. | Kai Li, Chang Liu, Yang Hu, Changshuan Wang, Wei Peng, Qiang Gao, Yun Zhang, Tongsheng Shu, Wensheng Wang, Chengwen Lei, Lin Liu, Junfeng Chen |
| 2020 | LICS | Making Streett Determinization Tight. | Cong Tian, Wensheng Wang, Zhenhua Duan |
| 2019 | CCGRID | Optimizing Performance and Computing Resource Management of In-memory Big Data Analytics with Disaggregated Persistent Memory. | Shouwei Chen, Wensheng Wang, Xueyang Wu, Zhen Fan, Kunwu Huang, Peiyu Zhuang, Yue Li, Ivan Rodero, Manish Parashar, Dennis Z. Weng |
| 2019 | CVPR | Heterogeneous Memory Enhanced Multimodal Attention Model for Video Question Answering. | Chenyou Fan, Xiaofan Zhang, Shu Zhang, Wensheng Wang, Chi Zhang, Heng Huang |
| 2019 | HPCC | Exploring the Potential of Elastic Computing Clusters in Geo-Distributed Data Centers with Fast Fabric Interconnection. | Shouwei Chen, Wensheng Wang, Ivan Rodero |
| 2019 | IGARSS | Observing the German Wadden Sea - A New Approach to Distinguish Sediments and Habitats Using Alos-2 Palsar-2 Data. | Wensheng Wang, Martin Gade |
| 2019 | KDD | Multi-Horizon Time Series Forecasting with Temporal Attention Learning. | Chenyou Fan, Yuze Zhang, Yi Pan, Xiaoyue Li, Chi Zhang, Rong Yuan, Di Wu, Wensheng Wang, Jian Pei, Heng Huang |
| 2018 | IGARSS | Imaging Exposed Intertidal Flats Using Multi-Polarization Synthetic Aperture Radar. | Martin Gade, Wensheng Wang |
| 2017 | IGARSS | A new approach to use dual-polarized SAR imagery for the detection of bivalve beds on exposed intertidal flats. | Wensheng Wang, Martin Gade, Xiaofeng Yang |
| 2010 | ICNC | Research on low contrast target detection based on multiwavelets. | Fanghan Chen, Wensheng Wang |
| 2010 | ICNC | Algorithm research of infrared target recognition. | Wenzhe Liu, Wensheng Wang, Yongli Ma |
| 2010 | ICNC | Maximum Average correlation Height filter for detecting distortion targets in cluttered environment using computational intelligence. | Jiyang Shang, Xue Zhan, Wensheng Wang |
| 2004 | ICIP | Fast macroblock mode selection based on motion content classification in H.264/AVC. | Ming Yang, Wensheng Wang |