Zhao Duan

According to our database, Zhao Duan authored at least 18 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Combining transformers with CNN for multi-focus image fusion.

Zhao Duan, Xiaoliu Luo, Taiping Zhang

Expert Syst. Appl., January, 2024

2023

Spatial Prediction of Landslide Susceptibility Using Logistic Regression (LR), Functional Trees (FTs), and Random Subspace Functional Trees (RSFTs) for Pengyang County, China.

Hui Shang, Lixiang Su, Wei Chen, Paraskevas Tsangaratos, Ioanna Ilia, Sihang Liu, Shaobo Cui, Zhao Duan

Remote. Sens., October, 2023

Multi-focus image fusion using structure-guided flow.

Zhao Duan, Xiaoliu Luo, Taiping Zhang

Image Vis. Comput., October, 2023

Intermediate prototype network for few-shot segmentation.

Xiaoliu Luo, Zhao Duan, Taiping Zhang

Signal Process., 2023

Multi-focus image fusion via gradient guidance progressive network.

Zhao Duan, Xiaoliu Luo, Taiping Zhang

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

Spatial Similarity Guidance for Few-Shot Segmentation.

Xiaoliu Luo, Zhao Duan, Taiping Zhang

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

Pseudo-Interacting Guided Network for Few-Shot Segmentation.

Xiaoliu Luo, Jing Luo, Zhao Duan, Jin Tan, Taiping Zhang

Proceedings of the IEEE International Conference on Acoustics, 2022

2021

DCKN: Multi-focus image fusion via dynamic convolutional kernel network.

Zhao Duan, Taiping Zhang, Xiaoliu Luo, Jin Tan

Signal Process., 2021

Target-aware for Few-shot Segmentation.

Xiaoliu Luo, Taiping Zhang, Zhao Duan, Jin Tan

Proceedings of the International Joint Conference on Neural Networks, 2021

2020

Non-Local Multi-Focus Image Fusion With Recurrent Neural Networks.

Zhao Duan, Taiping Zhang, Jin Tan, Xiaoliu Luo

IEEE Access, 2020

2018

Quantitative Assessment of Landslide Susceptibility Comparing Statistical Index, Index of Entropy, and Weights of Evidence in the Shangnan Area, China.

Jie Liu, Zhao Duan

Entropy, 2018

InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).

Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Accelerating counterexample detection in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

More effective interpolations in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Verifying Temporal Properties of C Programs via Lazy Abstraction.

Zhao Duan, Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2017

2015

LtlNfBa: Making LTL Translation More Practical.

Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Making CEGAR More Efficient in Software Model Checking.

Cong Tian, Zhenhua Duan, Zhao Duan

IEEE Trans. Software Eng., 2014

2007

Analysis of E-Commerce Model in Transaction Cost Economics Framework.

Zhao Duan

Proceedings of the Integration and Innovation Orient to E-Society, 2007