Study on Interpolation Principle and Method for 1PS+4TPS Type Hybrid Machine Tool. - Shouwen Fan; Xiaobing Wang; Mingquan Shi; Hongzhong Huang (ICNC (5), 2007)

An Interpreter for Framed Tempura and Its Application. - Yongtao Ma; Zhenhua Duan; Xiaobing Wang; Xiaoxiao Yang (TASE, 2007)

Realization of XML-Based ETL Process of the Regional Health Information System. - Youshi He; Xiaobing Wang (ICEE, 2010)

Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. - Haibin Zhang; Zhenhua Duan; Bohu Huang; Xiaobing Wang; Long Zhang (TASE, 2010)

A new approach of color image quantization based on Normalized Cut algorithm. - Jin Zhang; Yonghong Song; Yuanlin Zhang 001; Xiaobing Wang (ACPR, 2011)

Asynchronous Communication in MSVL. - Dapeng Mo; Xiaobing Wang; Zhenhua Duan (ICFEM, 2011)

Time Constraints with Temporal Logic Programming. - Meng Han; Zhenhua Duan; Xiaobing Wang (ICFEM, 2012)

A RFID based e-STOP sign and its impacts to vehicle emissions. - Fengxiang Qiao; Jinghui Wang; Xiaobing Wang; Jing Jia; Lei Yu (ITSC, 2012)

Application of Terahertz Technology on RCS Measurement. - Xiaobing Wang; Xin Huang; Yajun Wu; Fei Dai; Li Li (GreenCom/iThings/CPScom, 2013)

Natural Scene Text Detection with Multi-channel Connected Component Segmentation. - Xiaobing Wang; Yonghong Song; Yuanlin Zhang 001 (ICDAR, 2013)

Formalizing and Implementing Types in MSVL. - Xiaobing Wang; Zhenhua Duan; Liang Zhao 021 (SOFL+MSVL, 2013)

Early SKIP mode decision for three-dimensional high efficiency video coding using spatial and interview correlations. - Qiuwen Zhang; Qinggang Wu; Xiaobing Wang; Yong Gan (J. Electronic Imaging, 2014)

Intra Mode Selection for Depth Map Coding in 3D-HEVC. - Qiuwen Zhang; Ming Chen; Lixun Huang; Qiliang Zhu; Xiaobing Wang; Yong Gan (Smart Comput. Rev., 2014)

Protection schemes for distribution lines in DC power grid. - Zaibin Jiao; Zhao Wang; Xiaobing Wang; Jiliang Jin; Wu Xing; Chongxi Jiang (ISGT Asia, 2015)

A Method Based on MSVL for Verification of the Social Network Privacy Policy. - Xiaobing Wang; Tao Sun (SOFL+MSVL, 2015)

Verification of distributed systems with the axiomatic system of MSVL. - Qian Ma; Zhenhua Duan; Nan Zhang 001; Xiaobing Wang (Formal Aspects Comput., 2015)

A structural transformation from p-π to MSVL. - Ling Luo; Zhenhua Duan; Cong Tian; Xiaobing Wang (J. Comb. Optim., 2015)

Natural scene text detection with multi-layer segmentation and higher order conditional random field based analysis. - Xiaobing Wang; Yonghong Song; Yuanlin Zhang 001; Jingmin Xin (Pattern Recognit. Lett., 2015)

Runtime Verification Monitor Construction for Three-valued PPTL. - Xiaobing Wang; Dongmiao Liu; Liang Zhao 021; Yina Xue (SOFL+MSVL, 2016)

An efficient depth map filtering based on spatial and texture features for 3D video coding. - Qiuwen Zhang; Ming Chen; Hao-Dong Zhu; Xiaobing Wang; Yong Gan (Neurocomputing, 2016)

End-to-End Scene Text Recognition in Videos Based on Multi Frame Tracking. - Xiaobing Wang; Yingying Jiang 001; Shuli Yang; Xiangyu Zhu; Wei Li; Pei Fu; Hua Wang; Zhenbo Luo (ICDAR, 2017)

Deep Residual Text Detection Network for Scene Text. - Xiangyu Zhu; Yingying Jiang 001; Shuli Yang; Xiaobing Wang; Wei Li; Pei Fu; Hua Wang; Zhenbo Luo (ICDAR, 2017)

Extending UML for Model Checking. - Xinfeng Shu; Mengnan Wang; Xiaobing Wang (SOFL+MSVL, 2017)

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. - Xiaobing Wang; Liyuan Ren; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2017)

R2CNN: Rotational Region CNN for Orientation Robust Scene Text Detection. - Yingying Jiang 001; Xiangyu Zhu; Xiaobing Wang; Shuli Yang; Wei Li; Hua Wang; Pei Fu; Zhenbo Luo (CoRR, 2017)

MSVL: a typed language for temporal logic programming. - Xiaobing Wang; Cong Tian; Zhenhua Duan; Liang Zhao 021 (Frontiers Comput. Sci., 2017)

A hierarchical recursive method for text detection in natural scene images. - Xiaobing Wang; Yonghong Song; Yuanlin Zhang 001; Jingmin Xin (Multim. Tools Appl., 2017)

Two-layer hybrid peer-to-peer networks. - Zhenhua Duan; Cong Tian; Mengchu Zhou; Xiaobing Wang; Nan Zhang 001; Hongwei Du 001; Lei Wang 126 (Peer-to-Peer Netw. Appl., 2017)

R2 CNN: Rotational Region CNN for Arbitrarily-Oriented Scene Text Detection. - Yingying Jiang 001; Xiangyu Zhu; Xiaobing Wang; Shuli Yang; Wei Li; Hua Wang; Pei Fu; Zhenbo Luo (ICPR, 2018)

Model Checking Java Programs with MSVL. - Xinfeng Shu; Na Luo; Bo Wang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2018)

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. - Xiaobing Wang; Wenxuan Guo; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2018)

Parallel Computation of EM Backscattering from Large Three-Dimensional Sea Surface with CUDA. - Longxiang Linghu; Jiaji Wu; Zhensen Wu; Xiaobing Wang (Sensors, 2018)

A Proof System for a Unified Temporal Logic. - Liang Zhao 021; Xiaobing Wang; Xinfeng Shu; Nan Zhang 001 (COCOON, 2019)

Reinforcement Learning Based on Multi-subnet Clusters. - Xiaobing Wang; Gang Liu 029 (CSAI, 2019)

Arbitrary Shape Scene Text Detection With Adaptive Text Region Representation. - Xiaobing Wang; Yingying Jiang 001; Zhenbo Luo; Cheng-Lin Liu; Hyunsoo Choi; Sungjin Kim (CVPR, 2019)

Model Checking Python Programs with MSVL. - Xinfeng Shu; Fengyun Gao; Weiran Gao; Lili Zhang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2019)

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. - Xiaobing Wang; Kun Yang; Yanmei Wang; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2019)

Detection of People With Camouflage Pattern Via Dense Deconvolution Network. - Yunfei Zheng; Xiongwei Zhang; Feng Wang 032; Tieyong Cao; Meng Sun 001; Xiaobing Wang (IEEE Signal Process. Lett., 2019)

Model checking of pushdown systems for projection temporal logic. - Liang Zhao 021; Xiaobing Wang; Zhenhua Duan (Theor. Comput. Sci., 2019)

A Formal Verification Method for Smart Contract. - Xiaobing Wang; Xiaoyu Yang; Chunyi Li (DSA, 2020)

An MSVL Based Model Checking Method for Multi-threaded C Programs. - Xinfeng Shu; Zhenyu Wang; Weiran Gao; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2020)

Automatic Generation of Specification from Natural Language Based on Temporal Logic. - Xiaobing Wang; Ge Li; Chunyi Li; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2020)

Runtime Verification of Ethereum Smart Contracts Based on MSVL. - Bin Yu 008; Xu Lu 003; Hao Chen; Ming Lei 003; Xiaobing Wang (SOFL+MSVL, 2020)

An MSVL-Based Modeling Framework for Back Propagation Neural Networks. - Liang Zhao 021; Zhe Feng; Xiaobing Wang; Xinfeng Shu (SOFL+MSVL, 2020)

Efficient decision procedure for propositional projection temporal logic. - Xinfeng Shu; Nan Zhang 001; Xiaobing Wang; Liang Zhao 021 (Theor. Comput. Sci., 2020)

A sound and complete proof system for a unified temporal logic. - Liang Zhao 021; Xiaobing Wang; Xinfeng Shu; Nan Zhang 001 (Theor. Comput. Sci., 2020)

GPU-Accelerated Computation of Time-Evolving Electromagnetic Backscattering Field From Large Dynamic Sea Surfaces. - Longxiang Linghu; Jiaji Wu; Zhensen Wu; Gwanggil Jeon; Xiaobing Wang (IEEE Trans. Ind. Informatics, 2020)

Verification of CTCS-3 using TMSVL. - Yining Wang; Chunyi Li; Xiaobing Wang (DSA, 2021)

A Practical Method based on MSVL for Verification of Social Network. - Xiaoyu Yang; Xiaobing Wang (DSA, 2021)

A Novel Load Balancing Scheme for Mobile Edge Computing. - Zhenhua Duan; Cong Tian; Nan Zhang 001; Mengchu Zhou; Bin Yu 014; Xiaobing Wang; Jiangen Guo; Ying Wu (CoRR, 2021)

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. - Liang Zhao 021; Leping Wu; Yu Gao; Xiaobing Wang; Bin Yu 008 (DSA, 2022)

Driver Violation Prediction based on Neural Network. - Xingguang Zhu; Jiajun Chang; Weikang Li; Bin Yu 008; Liang Zhao 021; Xiaobing Wang (DSA, 2022)

MIPI 2022 Challenge on Under-Display Camera Image Restoration: Methods and Results. - Ruicheng Feng; Chongyi Li; Shangchen Zhou; Wenxiu Sun; Qingpeng Zhu; Jun Jiang; Qingyu Yang; Chen Change Loy; Jinwei Gu; Yurui Zhu; Xi Wang; Xueyang Fu; et al. (ECCV Workshops (5), 2022)

AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results. - Ren Yang; Radu Timofte; Xin Li 106; Qi Zhang 029; Lin Zhang 013; Fanglong Liu; Dongliang He; Fu Li 003; He Zheng; Weihang Yuan; Pavel Ostyakov; Dmitry Vyal; et al. (ECCV Workshops (3), 2022)

Dynamic Multi-Scale Network for Dual-Pixel Images Defocus Deblurring with Transformer. - Dafeng Zhang; Xiaobing Wang (ICME, 2022)

Formalization of Natural Language into PPTL Specification via Neural Machine Translation. - Chunyi Li; Jiajun Chang; Xiaobing Wang; Liang Zhao 021; Wenjie Mao (SOFL+MSVL, 2022)

AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results. - Ren Yang; Radu Timofte; Xin Li 106; Qi Zhang 029; Lin Zhang 013; Fanglong Liu; Dongliang He; Fu Li 003; He Zheng; Weihang Yuan; Pavel Ostyakov; Dmitry Vyal; et al. (CoRR, 2022)

SwinFIR: Revisiting the SwinIR with Fast Fourier Convolution and Improved Training for Image Super-Resolution. - Dafeng Zhang; Feiyu Huang; Shizhuo Liu; Xiaobing Wang; Zhezhu Jin (CoRR, 2022)

DMTNet: Dynamic Multi-scale Network for Dual-pixel Images Defocus Deblurring with Transformer. - Dafeng Zhang; Xiaobing Wang (CoRR, 2022)

Metagenomic Analysis Reveals A Possible Association Between Respiratory Infection and Periodontitis. - Zhenwei Liu; Tao Zhang; Keke Wu; Zhongshan Li; Xiaomin Chen; Shan Jiang; Lifeng Du; Saisai Lu; Chongxiang Lin; Jinyu Wu; Xiaobing Wang (Genom. Proteom. Bioinform., 2022)

A novel load balancing scheme for mobile edge computing. - Zhenhua Duan; Cong Tian; Nan Zhang 001; Mengchu Zhou; Bin Yu 008; Xiaobing Wang; Jiangen Guo; Ying Wu (J. Syst. Softw., 2022)

SDTGAN: Generation Adversarial Network for Spectral Domain Translation of Remote Sensing Images of the Earth Background Based on Shared Latent Domain. - Biao Wang; Lingxuan Zhu; Xing Guo; Xiaobing Wang; Jiaji Wu (Remote. Sens., 2022)

MIPI 2023 Challenge on Nighttime Flare Removal: Methods and Results. - Yuekun Dai; Chongyi Li; Shangchen Zhou; Ruicheng Feng; Qingpeng Zhu; Qianhui Sun 002; Wenxiu Sun; Chen Change Loy; Jinwei Gu; Shuai Liu 009; Hao Wang 073; Chaoyu Feng; et al. (CVPR Workshops, 2023)

FF-Former: Swin Fourier Transformer for Nighttime Flare Removal. - Dafeng Zhang; Jia Ouyang; Guanqun Liu 005; Xiaobing Wang; Xiangyu Kong; Zhezhu Jin (CVPR Workshops, 2023)

Research and Application of Loitering Detection Based on Deep Learning. - Yuyang Zhang; Jiangcheng Wang; Xiaobing Wang; Yingnan Wang; Sijiang Yu (DSA, 2023)

MRNET: Multi-Refinement Network for Dual-Pixel Images Defocus Deblurring. - Dafeng Zhang; Xiaobing Wang; Zhezhu Jin (ICASSP, 2023)

CLIP-Cluster: CLIP-Guided Attribute Hallucination for Face Clustering. - Shuai Shen; Wanhua Li 001; Xiaobing Wang; Dafeng Zhang; Zhezhu Jin; Jie Zhou 001; Jiwen Lu (ICCV, 2023)

Automatic classification of retinal diseases with transfer learning-based lightweight convolutional neural network. - Zhenzhen Lu; Jingpeng Miao; Jingran Dong; Shuyuan Zhu; Xiaobing Wang; Jihong Feng (Biomed. Signal Process. Control., 2023)

Self-distillation object segmentation via pyramid knowledge representation and transfer. - Yunfei Zheng; Meng Sun 001; Xiaobing Wang; Tieyong Cao; Xiongwei Zhang; Lixing Xing; Zheng Fang 012 (Multim. Syst., 2023)

HyCIR: Boosting Zero-Shot Composed Image Retrieval with Synthetic Labels. - Yingying Jiang; Hanchao Jia; Xiaobing Wang; Peng Hao (CoRR, 2024)

BCTR: Bidirectional Conditioning Transformer for Scene Graph Generation. - Peng Hao 003; Xiaobing Wang; Yingying Jiang; Hanchao Jia; Xiaoshuai Hao (CoRR, 2024)

Efficient verification of neural networks based on neuron branching and LP abstraction. - Liang Zhao 021; Xinmin Duan; Chenglong Yang; Yuehao Liu; Yansong Dong; Xiaobing Wang; Wensheng Wang (Neurocomputing, 2024)

Requirement specification extraction and analysis based on propositional projection temporal logic. - Xiaobing Wang; Chunyi Li; Liang Zhao 021 (J. Softw. Evol. Process., 2024)

Study of Bursting Oscillations in VSG System With External Excitation. - Kuanmin Wei; Xiaobing Wang; Jingda Gu; Liuxue Li (IEEE Access, 2025)

A lightweight model for the retinal disease classification using optical coherence tomography. - Hongyi Pan; Jingpeng Miao; Jie Yu; Jingran Dong; Mingming Zhang; Xiaobing Wang; Jihong Feng (Biomed. Signal Process. Control., 2025)

BCTR: Bidirectional Conditioning Transformer for Scene Graph Generation. - Peng Hao 003; Weilong Wang; Xiaobing Wang; Yingying Jiang; Hanchao Jia; Shaowei Cui; Junhang Wei; Xiaoshuai Hao (Inf. Fusion, 2025)

Efficient configuration of high-dimensional hyperparameters in deep convolutional neural networks for classification assisted by surrogate models. - Rui Zhang 082; Yuanyuan Zhang; Chaoli Sun; Yanjun Zhang; Zehua Dong; Xiaobing Wang (Swarm Evol. Comput., 2025)