Junyi Liu

Orcid: 0000-0001-5715-4885

Affiliations:

University of Maryland, Joint Center for Quantum Information and Computer Science, College Park, MD, USA
Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China (PhD 2023)

According to our database¹, Junyi Liu authored at least 8 papers between 2019 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

[BibT_eX]

[DOI]

J. ACM, June, 2025

2024

New Quantum Algorithms for Computing Quantum Entropies and Distances.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, August, 2024

2023

CoqQ: Foundational Verification of Quantum Programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

Quantum Algorithm for Fidelity Estimation.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2023

2021

Equivalence checking of quantum finite-state machines.

[BibT_eX]

[DOI]

Qisheng Wang

Junyi Liu

Mingsheng Ying

J. Comput. Syst. Sci., 2021

2019

Expected Runtime of Quantum Programs.

[BibT_eX]

[DOI]

Junyi Liu

Li Zhou

Mingsheng Ying

CoRR, 2019

Quantum Hoare Logic.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Junyi Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...