Ming Xu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6134257	2023-08-21	Paper
An optimal quantum error-correcting procedure using quantifier elimination	2023-03-15	Paper
Quantitative controller synthesis for consumption Markov decision processes	2023-01-30	Paper
An algebraic method to fidelity-based model checking over quantum Markov chains	2022-10-14	Paper
Model checking QCTL plus on quantum Markov chains	2022-04-07	Paper
Measuring the constrained reachability in quantum Markov chains	2021-12-15	Paper
Qsimulation V2.0: an optimized quantum simulator	2021-07-08	Paper
Time-bounded termination analysis for probabilistic programs with delays	2020-12-15	Paper
A conflict-driven solving procedure for poly-power constraints	2020-03-03	Paper
Positive root isolation for poly-powers by exclusion and differentiation	2017-10-10	Paper
Positive Root Isolation for Poly-Powers	2017-05-10	Paper
Multiphase until formulas over Markov reward models: an algebraic approach	2015-12-15	Paper
Analyzing ultimate positivity for solvable systems	2015-12-08	Paper
Discovering non-terminating inputs for multi-path polynomial programs	2015-04-27	Paper
Quantifier elimination for a class of exponential polynomial formulas	2014-12-09	Paper
Some decidable results on reachability of solvable systems	2014-01-08	Paper
Model checking conditional CSL for continuous-time Markov chains	2013-03-21	Paper
Symbolic termination analysis of solvable loops	2013-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3075207	2011-02-10	Paper
TERMINATION ANALYSIS OF LINEAR LOOPS	2011-01-19	Paper
Real Root Isolation of Multi-Exponential Polynomials with Application	2010-02-09	Paper

Research outcomes over time

This page was built for person: Ming Xu