Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ming Xu
conf.researchr.org general profile
APLAS & ATVA 2026 profile
APSEC 2022 profile
POPL 2020 profile
POPL 2024 profile
Not registered as user
Name:
Ming Xu
Affiliation:
East China Normal University
Contributions
2026
APLAS
Author of Model Checking Matrix Product States Against Linear Chain Logic within the ATVA Research Papers-track
2024
VMCAI
Author of Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs within the VMCAI 2024-track
2022
APSEC
Author of Bisection Value Iteration within the Technical Track-track
2020
POPL
Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
Share
x
Wed 28 Oct 09:40