High-Definition Survey of Architectural Heritage Fusing Multisensors - The Case of Beamless Hall at Linggu Temple in Nanjing, China. - Junwei Fang; Yingying Zhang; Yiru Zhang; Huayu Guo; Zheng Sun (Sensors, 2022)

Verified completeness in Henkin-style for intuitionistic propositional logic. - Huayu Guo; Dongheng Chen; Bruno Bentzen (CoRR, 2023)