An Operational Semantics for Timed RAISE. - Xia Yong; Chris George (World Congress on Formal Methods, 1999)

Linking DC Together with TRSL. - Anne Elisabeth Haxthausen; Xia Yong (IFM, 2000)

Vehicle Velocity Recognition by Bridge Responses with a Pattern Search Algorithm. - Li Weiming; Zhu Hongping; Xia Yong (CSSE (1), 2008)

Development of Energy Saving and Rapid Temperature Control Technology for Intelligent Greenhouses. - Xiao Fei; Xiao-Long Wu; Xia Yong (IEEE Access, 2021)