Login / Signup
Haoxuan Yin
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Prime Implicates
Modal Logic
Shape Recognition
Aerial Images
Top Venues
J. Log. Comput.
Remote. Sens.
</>
Publications
</>
Jianchen Liu
,
Haoxuan Yin
,
Baohua Liu
,
Pingshe Lu
Tie Point Matching between Terrestrial and Aerial Images Based on Patch Variational Refinement.
Remote. Sens.
15 (4) (2023)
Johan van Benthem
,
Lei Li
,
Chenwei Shi
,
Haoxuan Yin
Hybrid sabotage modal logic.
J. Log. Comput.
33 (6) (2023)