Zongyuan Liu

According to our database, Zongyuan Liu authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

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

2023

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

2021

Distance constraint between features for unsupervised domain adaptive person re-identification.

Zhihao Li, Bing Han, Xinbo Gao, Biao Hou, Zongyuan Liu

Neurocomputing, 2021