| 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 | 69 | 2019 |
| 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 | 23 | 2013 |
| 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 | 18 | 2010 |
| Quantifier elimination for a class of exponential polynomial formulas M Xu, ZB Li, L Yang Journal of Symbolic Computation 68, 146-168, 2015 | 17 | 2015 |
| 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 | 15 | 2018 |
| 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 | 12 | 2023 |
| Symbolic termination analysis of solvable loops M Xu, ZB Li Journal of Symbolic Computation 50, 28-49, 2013 | 11 | 2013 |
| Model checking QCTL plus on quantum Markov chains M Xu, J Fu, J Mei, Y Deng Theoretical Computer Science 913, 43-72, 2022 | 10 | 2022 |
| 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 | 10 | 2016 |
| 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 | 10 | 2014 |
| Measuring the constrained reachability in quantum Markov chains M Xu, CC Huang, Y Feng Acta Informatica 58 (6), 653-674, 2021 | 8 | 2021 |
| A parametric approximation algorithm for spatial group keyword queries J Li, M Xu Intelligent Data Analysis 25 (2), 305-319, 2021 | 8 | 2021 |
| Model checking quantum continuous-time Markov chains M Xu, J Mei, J Guan, N Yu arXiv preprint arXiv:2105.00382, 2021 | 7 | 2021 |
| 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 | 6 | 2020 |
| Some decidable results on reachability of solvable systems M Xu, J Zhu, ZB Li International Journal of General Systems 42 (4), 405-425, 2013 | 6 | 2013 |
| 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 | 5 | 2022 |
| Quantum circuit transformation based on tabu search H Jiang, Y Deng, M Xu arXiv preprint arXiv:2104.05214, 2021 | 5 | 2021 |
| 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 | 5 | 2010 |
| 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 | 5 | 2010 |
| 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 | 4 | 2016 |
