Ming Xu

According to our database, Ming Xu authored at least 36 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Qubit Mapping Based on Tabu Search.

Hui Jiang, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., March, 2024

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2024

Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.

Yuxin Deng, Huiling Wu, Ming Xu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 2023

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2023

Deep Algorithm Unrolling with Registration Embedding for Pansharpening.

Tingting Wang, Yongxu Ye, Faming Fang, Guixu Zhang, Ming Xu

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction.

Pengcheng Lei, Faming Fang, Guixu Zhang, Ming Xu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu

CoRR, 2022

Bisection Value Iteration.

Jia Lu, Ming Xu

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

An optimal quantum error-correcting procedure using quantifier elimination.

Ying-Ji Sun, Ming Xu, Yuxin Deng

Quantum Inf. Process., 2021

Measuring the constrained reachability in quantum Markov chains.

Ming Xu, Cheng-Chao Huang, Yuan Feng

Acta Informatica, 2021

Model Checking Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu

Proc. ACM Program. Lang., 2020

A Conflict-Driven Solving Procedure for Poly-Power Constraints.

Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

J. Autom. Reason., 2020

Time-bounded termination analysis for probabilistic programs with delays.

Ming Xu, Yuxin Deng

Inf. Comput., 2020

Weighted Local Outlier Factor for Detecting Anomaly on In-Vehicle Network.

Yuan Linghu, Ming Xu, Xiangxue Li, Haifeng Qian

Proceedings of the 16th International Conference on Mobility, Sensing and Networking, 2020

Revisiting the Fairness and Randomness of Delegated Proof of Stake Consensus Algorithm.

Qi Wang, Ming Xu, Xiangxue Li, Haifeng Qian

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Qsimulation V2.0: An Optimized Quantum Simulator.

Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu

CoRR, 2019

2018

Positive root isolation for poly-powers by exclusion and differentiation.

Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li

J. Symb. Comput., 2018

2016

Analyzing ultimate positivity for solvable systems.

Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng

Theor. Comput. Sci., 2016

Multiphase until formulas over Markov reward models: An algebraic approach.

Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang

Theor. Comput. Sci., 2016

Positive Root Isolation for Poly-Powers.

Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

Quantifier elimination for a class of exponential polynomial formulas.

Ming Xu, Zhi-Bin Li, Lu Yang

J. Symb. Comput., 2015

2014

Discovering non-terminating inputs for multi-path polynomial programs.

Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao

J. Syst. Sci. Complex., 2014

2013

Symbolic termination analysis of solvable loops.

Ming Xu, Zhi-Bin Li

J. Symb. Comput., 2013

Model checking conditional CSL for continuous-time Markov chains.

Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang

Inf. Process. Lett., 2013

Some decidable results on reachability of solvable systems.

Ming Xu, Jiaqi Zhu, Zhi-Bin Li

Int. J. Gen. Syst., 2013

2010

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.

Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li

J. Univers. Comput. Sci., 2010

Reachability analysis of rational eigenvalue linear systems.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Int. J. Syst. Sci., 2010

Termination Analysis of Linear Loops.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li

Int. J. Found. Comput. Sci., 2010

Real Root Isolation of Multi-Exponential Polynomials with Application.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010

2009

Symbolic Reachability Computation of a Class of Nonlinear Systems.

Ming Xu, Liangyu Chen, Zhi-bin Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009