Ming Xu - RankMe

47 papers A* 2B 3C 2Journal 35Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A quantum game designed for property partitioning with implementation on superconducting quantum processors. Theor. Comput. Sci. Hui Jiang, Jianling Fu, Ming Xu, Ji Guan, Shenggang Ying
2025	J	`jnl`	Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. Log. Methods Comput. Sci. Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu
2025	J	`jnl`	Customized priors for enhanced multispectral and hyperspectral image sharpening. Inf. Fusion Junkang Zhang, Haoyang Zhang, Tingting Wang, Faming Fang, Guixu Zhang, Ming Xu
2025	J	`jnl`	Towards Generic Abdominal Multi-Organ Segmentation with multiple partially labeled datasets. Comput. Medical Imaging Graph. Xiang Li, Faming Fang, Liyan Ma, Tieyong Zeng, Guixu Zhang, Ming Xu
2024	J	`jnl`	A Pattern Matching Based Framework for Quantum Circuit Rewriting. J. Comput. Sci. Technol. Hui Jiang, Dian-Kang Li, Yuxin Deng, Ming Xu
2024	—	`conf`	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024	J	`jnl`	Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024	J	`jnl`	Energy-Aware Incentive Mechanism for Hierarchical Federated Learning Using Water Filling Technique. IEEE Trans. Ind. Informatics Yangguang Cui, Weiqin Tong, Tong Liu, Kun Cao, Junlong Zhou, Ming Xu, Tongquan Wei
2024	—	`conf`	Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) Yuxin Deng, Huiling Wu, Ming Xu
2024	J	`jnl`	Qubit Mapping Based on Tabu Search. J. Comput. Sci. Technol. Hui Jiang, Yuxin Deng, Ming Xu
2024	J	`jnl`	Termination and Universal Termination Problems for Nondeterministic Quantum Programs. ACM Trans. Softw. Eng. Methodol. Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li
2023	J	`jnl`	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2023	A*	`conf`	Deep Algorithm Unrolling with Registration Embedding for Pansharpening. ACM Multimedia Tingting Wang, Yongxu Ye, Faming Fang, Guixu Zhang, Ming Xu
2023	A*	`conf`	Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction. IJCAI Pengcheng Lei, Faming Fang, Guixu Zhang, Ming Xu
2023	J	`jnl`	Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction. CoRR Pengcheng Lei, Faming Fang, Guixu Zhang, Ming Xu
2023	J	`jnl`	Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR Yuxin Deng, Huiling Wu, Ming Xu
2023	J	`jnl`	Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
2022	J	`jnl`	An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2022	C	`conf`	Bisection Value Iteration. APSEC Jia Lu, Ming Xu
2022	J	`jnl`	Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
2022	J	`jnl`	Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021	J	`jnl`	An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021	J	`jnl`	An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. Ying-Ji Sun, Ming Xu, Yuxin Deng
2021	J	`jnl`	Measuring the constrained reachability in quantum Markov chains. Acta Informatica Ming Xu, Cheng-Chao Huang, Yuan Feng
2021	B	`conf`	Model Checking Quantum Continuous-Time Markov Chains. CONCUR Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
2021	J	`jnl`	Model Checking Quantum Continuous-Time Markov Chains. CoRR Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
2020	J	`jnl`	A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
2020	J	`jnl`	Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
2020	C	`conf`	Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
2020	—	`conf`	Revisiting the Fairness and Randomness of Delegated Proof of Stake Consensus Algorithm. ISPA/BDCloud/SocialCom/SustainCom Qi Wang, Ming Xu, Xiangxue Li, Haifeng Qian
2020	J	`jnl`	Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. Ming Xu, Yuxin Deng
2020	—	`conf`	Weighted Local Outlier Factor for Detecting Anomaly on In-Vehicle Network. MSN Yuan Linghu, Ming Xu, Xiangxue Li, Haifeng Qian
2019	J	`jnl`	Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. CoRR Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu
2018	J	`jnl`	Positive root isolation for poly-powers by exclusion and differentiation. J. Symb. Comput. Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
2016	J	`jnl`	Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
2016	J	`jnl`	Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang
2016	B	`conf`	Positive Root Isolation for Poly-Powers. ISSAC Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
2015	J	`jnl`	Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. Ming Xu, Zhi-Bin Li, Lu Yang
2014	J	`jnl`	Discovering non-terminating inputs for multi-path polynomial programs. J. Syst. Sci. Complex. Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao
2013	J	`jnl`	Model checking conditional CSL for continuous-time Markov chains. Inf. Process. Lett. Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang
2013	J	`jnl`	Some decidable results on reachability of solvable systems. Int. J. Gen. Syst. Ming Xu, Jiaqi Zhu, Zhi-Bin Li
2013	J	`jnl`	Symbolic termination analysis of solvable loops. J. Symb. Comput. Ming Xu, Zhi-Bin Li
2010	J	`jnl`	A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-Bin Li
2010	J	`jnl`	Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010	B	`conf`	Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010	J	`jnl`	Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2009	—	`conf`	Symbolic Reachability Computation of a Class of Nonlinear Systems. ACIS-ICIS Ming Xu, Liangyu Chen, Zhi-Bin Li