Tie Point Matching between Terrestrial and Aerial Images Based on Patch Variational Refinement. - Jianchen Liu; Haoxuan Yin; Baohua Liu; Pingshe Lu (Remote. Sens., 2023)

Hybrid sabotage modal logic. - Johan van Benthem; Lei Li; Chenwei Shi; Haoxuan Yin (J. Log. Comput., 2023)