关注
Ming Xu
Ming Xu
在 cs.ecnu.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P Wang, H Fu, K Chatterjee, Y Deng, M Xu
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
622019
Model checking conditional CSL for continuous-time Markov chains
Y Gao, M Xu, N Zhan, L Zhang
Information Processing Letters 113 (1-2), 44-50, 2013
232013
Reachability analysis of rational eigenvalue linear systems
M Xu, L Chen, Z Zeng, Z Li
International Journal of Systems Science 41 (12), 1411-1419, 2010
182010
Quantifier elimination for a class of exponential polynomial formulas
M Xu, ZB Li, L Yang
Journal of Symbolic Computation 68, 146-168, 2015
162015
Positive root isolation for poly-powers by exclusion and differentiation
CC Huang, JC Li, M Xu, ZB Li
Journal of Symbolic Computation 85, 148-169, 2018
132018
Multiphase until formulas over Markov reward models: An algebraic approach
M Xu, L Zhang, DN Jansen, H Zhu, Z Yang
Theoretical Computer Science 611, 116-135, 2016
102016
Discovering non-terminating inputs for multi-path polynomial programs
J Liu, M Xu, N Zhan, H Zhao
Journal of Systems Science and Complexity 27 (6), 1286-1304, 2014
102014
Symbolic termination analysis of solvable loops
M Xu, ZB Li
Journal of Symbolic Computation 50, 28-49, 2013
102013
Model checking QCTL plus on quantum Markov chains
M Xu, J Fu, J Mei, Y Deng
Theoretical Computer Science 913, 43-72, 2022
82022
Measuring the constrained reachability in quantum Markov chains
M Xu, CC Huang, Y Feng
Acta Informatica 58 (6), 653-674, 2021
72021
Model checking quantum continuous-time Markov chains
M Xu, J Mei, J Guan, N Yu
arXiv preprint arXiv:2105.00382, 2021
72021
Some decidable results on reachability of solvable systems
M Xu, J Zhu, ZB Li
International Journal of General Systems 42 (4), 405-425, 2013
62013
Deep unfolding convolutional dictionary model for multi-contrast MRI super-resolution and reconstruction
P Lei, F Fang, G Zhang, M Xu
arXiv preprint arXiv:2309.01171, 2023
52023
A parametric approximation algorithm for spatial group keyword queries
J Li, M Xu
Intelligent Data Analysis 25 (2), 305-319, 2021
52021
Revisiting the fairness and randomness of delegated proof of stake consensus algorithm
Q Wang, M Xu, X Li, H Qian
2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2020
52020
Termination analysis of linear loops
M Xu, L Chen, Z Zeng, ZB Li
International Journal of Foundations of Computer Science 21 (06), 1005-1019, 2010
52010
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.
M Xu, C Mu, Z Zeng, Z Li
J. Univers. Comput. Sci. 16 (14), 1912-1926, 2010
52010
Positive root isolation for poly-powers
JC Li, CC Huang, M Xu, ZB Li
Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016
42016
An algebraic method to fidelity-based model checking over quantum Markov chains
M Xu, J Fu, J Mei, Y Deng
Theoretical Computer Science 935, 61-81, 2022
32022
Quantum circuit transformation based on tabu search
H Jiang, Y Deng, M Xu
arXiv preprint arXiv:2104.05214, 2021
22021
系统目前无法执行此操作,请稍后再试。
文章 1–20