Skip to main content
Feedback to SSRN
Feedback
(required)
Email
(required)
Submit
Xin Sun
Taishan University
Learn more about SSRN Profiles
SCHOLARLY PAPERS
2
DOWNLOADS
93
TOTAL CITATIONS
2
Feedback
Scholarly Papers (2)
Sort by:
Paper Title, A-Z
Paper Title, Z-A
Author Name, A-Z
Author Name, Z-A
Date Posted, Ascending
Date Posted, Descending
Downloads, Ascending
Downloads, Descending
Citations, Ascending
Citations, Descending
Actions:
Email selected abstracts
View:
Selected
Original List
All Versions
Hide All Versions
All Abstracts
Hide All Abstracts
1.
Quantum Vote Based on Quantum Logical Operators
Number of pages: 21
Posted: 06 Jan 2024
Xin Sun,
Xingchi Su
and
Xiaoning Bian
Taishan University, Zhejiang University and Tsinghua University
Downloads
84
Citation
2
View PDF
Download
Abstract:
vote, quantum logic, quantum information
2.
Satisfaction-based Probabilistic Hoare Logic With While Loop: Weakest Precondition and Relative Completeness
Number of pages: 37
Posted: 09 Apr 2026
Xin Sun,
Xingchi Su
,
Xiaoning Bian
,
Anran Cui
and
Piotr Kulicki
Taishan University, Zhejiang University, Tsinghua University,
affiliation not provided to SSRN
and John Paul II Catholic University of Lublin
Downloads
9
View PDF
Download
Abstract:
weakest precondition, Hoare logic, probabilistic program
Feedback
