Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Anran Cui
Observed name:
Cui, Anran
Institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
Observed institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
ORCID:
0009-0009-9840-7856
Observed ORCID:
0009-0009-9840-7856
OpenAlex ID:
A5113264658
On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
2024
·
Sun, Xin
, Su, Xingchi
, et al.
·
arXiv (Cornell University)
·
3
PDF
Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness
2026
·
Xin Sun
, Xingchi Su
, et al.
·
Lecture notes in computer science
·
1
An Assertion-Based Logic for Local Reasoning about Probabilistic Programs
2024
·
Huiling Wu
, Anran Cui
, et al.
·
Lecture notes in computer science
·
1
Local Reasoning about Probabilistic Programs with Unbounded Loops
2026
·
Anran Cui
, Huiling Wu
, et al.
·
SSRN Electronic Journal
PDF
Local Reasoning about Probabilistic Programs with Unbounded Loops ★
2025
·
Anran Cui
, Huiling Wu
, et al.
·
SSRN Electronic Journal
Show more works
View as search
Works count:
5
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
