Symbolic Reachability Computation of a Class of Nonlinear Systems. - Ming Xu 010; Liangyu Chen 001; Zhi-bin Li 005 (ACIS-ICIS, 2009)

Real Root Isolation of Multi-Exponential Polynomials with Application. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (WALCOM, 2010)

Termination Analysis of Linear Loops. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-Bin Li 005 (Int. J. Found. Comput. Sci., 2010)

Reachability analysis of rational eigenvalue linear systems. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (Int. J. Syst. Sci., 2010)

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. - Ming Xu 010; Chuandong Mu; Zhenbing Zeng; Zhi-bin Li 005 (J. Univers. Comput. Sci., 2010)

Some decidable results on reachability of solvable systems. - Ming Xu 010; Jiaqi Zhu; Zhi-Bin Li 005 (Int. J. Gen. Syst., 2013)

Model checking conditional CSL for continuous-time Markov chains. - Yang Gao; Ming Xu 010; Naijun Zhan; Lijun Zhang 001 (Inf. Process. Lett., 2013)

Symbolic termination analysis of solvable loops. - Ming Xu 010; Zhi-Bin Li 005 (J. Symb. Comput., 2013)

Discovering non-terminating inputs for multi-path polynomial programs. - Jiang Liu 009; Ming Xu 010; Naijun Zhan; Hengjun Zhao (J. Syst. Sci. Complex., 2014)

Quantifier elimination for a class of exponential polynomial formulas. - Ming Xu 010; Zhi-Bin Li 005; Lu Yang (J. Symb. Comput., 2015)

Positive Root Isolation for Poly-Powers. - Jing-Cao Li; Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (ISSAC, 2016)

Multiphase until formulas over Markov reward models: An algebraic approach. - Ming Xu 010; Lijun Zhang 001; David N. Jansen; Huibiao Zhu; Zongyuan Yang (Theor. Comput. Sci., 2016)

Analyzing ultimate positivity for solvable systems. - Ming Xu 010; Cheng-Chao Huang; Zhi-Bin Li 005; Zhenbing Zeng (Theor. Comput. Sci., 2016)

Positive root isolation for poly-powers by exclusion and differentiation. - Cheng-Chao Huang; Jing-Cao Li; Ming Xu 010; Zhi-Bin Li 005 (J. Symb. Comput., 2018)

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. - Peixin Wang; Hongfei Fu 001; Krishnendu Chatterjee; Kangli He; Ming Xu 010 (CoRR, 2019)

Qsimulation V2.0: An Optimized Quantum Simulator. - Hua Wu; Yuxin Deng; Ming Xu 010; Wenjie Du 001 (ICTAC, 2020)

Revisiting the Fairness and Randomness of Delegated Proof of Stake Consensus Algorithm. - Qi Wang 014; Ming Xu 010; Xiangxue Li; Haifeng Qian (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Weighted Local Outlier Factor for Detecting Anomaly on In-Vehicle Network. - Yuan Linghu; Ming Xu 010; Xiangxue Li; Haifeng Qian (MSN, 2020)

Time-bounded termination analysis for probabilistic programs with delays. - Ming Xu 010; Yuxin Deng (Inf. Comput., 2020)

A Conflict-Driven Solving Procedure for Poly-Power Constraints. - Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (J. Autom. Reason., 2020)

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. - Peixin Wang; Hongfei Fu 001; Krishnendu Chatterjee; Yuxin Deng; Ming Xu 010 (Proc. ACM Program. Lang., 2020)

Model Checking Quantum Continuous-Time Markov Chains. - Ming Xu 010; Jingyi Mei; Ji Guan 001; Nengkun Yu (CONCUR, 2021)

Measuring the constrained reachability in quantum Markov chains. - Ming Xu 010; Cheng-Chao Huang; Yuan Feng 001 (Acta Informatica, 2021)

An optimal quantum error-correcting procedure using quantifier elimination. - Ying-Ji Sun; Ming Xu 010; Yuxin Deng (Quantum Inf. Process., 2021)

Bisection Value Iteration. - Jia Lu; Ming Xu 010 (APSEC, 2022)

Model checking QCTL plus on quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

An algebraic method to fidelity-based model checking over quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction. - Pengcheng Lei; Faming Fang; Guixu Zhang; Ming Xu 010 (IJCAI, 2023)

Deep Algorithm Unrolling with Registration Embedding for Pansharpening. - Tingting Wang 007; Yongxu Ye; Faming Fang; Guixu Zhang; Ming Xu 010 (ACM Multimedia, 2023)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2023)

Quantitative controller synthesis for consumption Markov decision processes. - Jianling Fu; Cheng-Chao Huang; Yong Li 031; Jingyi Mei; Ming Xu 010; Lijun Zhang 001 (Inf. Process. Lett., 2023)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (HSCC, 2024)

Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. - Yuxin Deng; Huiling Wu; Ming Xu 010 (VMCAI (2), 2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. - Jianling Fu; Hui Jiang 009; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2024)

Qubit Mapping Based on Tabu Search. - Hui Jiang 009; Yuxin Deng; Ming Xu 010 (J. Comput. Sci. Technol., 2024)

A Pattern Matching Based Framework for Quantum Circuit Rewriting. - Hui Jiang 009; Dian-Kang Li; Yuxin Deng; Ming Xu 010 (J. Comput. Sci. Technol., 2024)

Termination and Universal Termination Problems for Nondeterministic Quantum Programs. - Ming Xu 010; Jianling Fu; Hui Jiang 009; Yuxin Deng; Zhi-Bin Li 005 (ACM Trans. Softw. Eng. Methodol., 2024)

Energy-Aware Incentive Mechanism for Hierarchical Federated Learning Using Water Filling Technique. - Yangguang Cui; Weiqin Tong; Tong Liu 001; Kun Cao 001; Junlong Zhou; Ming Xu 010; Tongquan Wei (IEEE Trans. Ind. Informatics, 2024)

Towards Generic Abdominal Multi-Organ Segmentation with multiple partially labeled datasets. - Xiang Li; Faming Fang; Liyan Ma; Tieyong Zeng; Guixu Zhang; Ming Xu 010 (Comput. Medical Imaging Graph., 2025)

Customized priors for enhanced multispectral and hyperspectral image sharpening. - Junkang Zhang; Haoyang Zhang; Tingting Wang 007; Faming Fang; Guixu Zhang; Ming Xu 010 (Inf. Fusion, 2025)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. - Ming Xu 010; Jingyi Mei; Ji Guan 001; Yuxin Deng; Nengkun Yu (Log. Methods Comput. Sci., 2025)