Zongyuan Liu

Orcid: 0000-0001-9652-4869

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

2023

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

2021

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

[BibT_eX]

[DOI]

Neurocomputing, 2021

Zongyuan Liu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...