Ming Xu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Topics

Poisson Distribution

Quantifier Elimination

Quantum Inspired

Top Venues

Theor. Comput. Sci.

J. Symb. Comput.

Publications

Hui Jiang, Yuxin Deng, Ming Xu
Qubit Mapping Based on Tabu Search. J. Comput. Sci. Technol. 39 (2) (2024)
Yuxin Deng, Huiling Wu, Ming Xu
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) (2024)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR (2023)
Yuxin Deng, Huiling Wu, Ming Xu
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR (2023)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935 (2022)
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913 (2022)
Ying-Ji Sun, Ming Xu, Yuxin Deng
An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20 (4) (2021)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR (2021)
Ming Xu, Cheng-Chao Huang, Yuan Feng
Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58 (6) (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CONCUR (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CoRR (2021)
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. 64 (1) (2020)
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC (2020)
Ming Xu, Yuxin Deng
Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275 (2020)
Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
Positive root isolation for poly-powers by exclusion and differentiation. J. Symb. Comput. 85 (2018)
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609 (2016)
Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang
Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. 611 (2016)
Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
Positive Root Isolation for Poly-Powers. ISSAC (2016)
Ming Xu, Zhi-Bin Li, Lu Yang
Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. 68 (2015)
Ming Xu, Jiaqi Zhu, Zhi-Bin Li
Some decidable results on reachability of solvable systems. Int. J. Gen. Syst. 42 (4) (2013)
Ming Xu, Zhi-Bin Li
Symbolic termination analysis of solvable loops. J. Symb. Comput. 50 (2013)
Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang
Model checking conditional CSL for continuous-time Markov chains. Inf. Process. Lett. 113 (1-2) (2013)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21 (6) (2010)
Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. 16 (14) (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41 (12) (2010)
Ming Xu, Liangyu Chen, Zhi-bin Li
Symbolic Reachability Computation of a Class of Nonlinear Systems. ACIS-ICIS (2009)