Login / Signup
Zongyuan Liu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Computationally Expensive
Subject Matter
Virtual Machine
Metric Learning
Top Venues
Proc. ACM Program. Lang.
Neurocomputing
Electron. Commer. Res. Appl.
</>
Publications
</>
Angus Hammond
,
Zongyuan Liu
,
Thibaut Pérami
,
Peter Sewell
,
Lars Birkedal
,
Jean Pichon-Pharabod
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Zongyuan Liu
,
Qiaohong Pan
Research on value creation path of logistics platform under the background of digital ecosystem: Based on SEM and fsQCA methods.
Electron. Commer. Res. Appl.
67 (2024)
Zongyuan Liu
,
Sergei Stepanenko
,
Jean Pichon-Pharabod
,
Amin Timany
,
Aslan Askarov
,
Lars Birkedal
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Zhihao Li
,
Bing Han
,
Xinbo Gao
,
Biao Hou
,
Zongyuan Liu
Distance constraint between features for unsupervised domain adaptive person re-identification.
Neurocomputing
462 (2021)