Distance constraint between features for unsupervised domain adaptive person re-identification. - Zhihao Li; Bing Han 003; Xinbo Gao 001; Biao Hou; Zongyuan Liu (Neurocomputing, 2021)

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. - Zongyuan Liu; Sergei Stepanenko; Jean Pichon-Pharabod; Amin Timany; Aslan Askarov; Lars Birkedal (Proc. ACM Program. Lang., 2023)

Research on value creation path of logistics platform under the background of digital ecosystem: Based on SEM and fsQCA methods. - Zongyuan Liu; Qiaohong Pan (Electron. Commer. Res. Appl., 2024)

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. - Angus Hammond; Zongyuan Liu; Thibaut Pérami; Peter Sewell; Lars Birkedal; Jean Pichon-Pharabod (Proc. ACM Program. Lang., 2024)