default search action
Ming Xu 0010
Person information
- affiliation: East China Normal University, School of Software Engineering, Department of Computer Science and Technology, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
Other persons with the same name
- Ming Xu — disambiguation page
- Ming Xu 0001
— Hangzhou Dianzi University, School of Cyberspace, School of Computer Science and Technology, Internet and Network Security Laboratory, China (and 1 more)
- Ming Xu 0002
- Ming Xu 0003
- Ming Xu 0004
- Ming Xu 0005
- Ming Xu 0006
- Ming Xu 0007
- Ming Xu 0008
- Ming Xu 0009
- Ming Xu 0011 — University of Liverpool, Department of Electrical Engineering and Electronics, UK (and 5 more)
- Ming Xu 0012 — Minzu University, School of Preparatory Education, Key Laboratory of Information Materials of Sichuan Province, Chengdu, China
- Ming Xu 0013 — NingboTech University, Institute of Automation and Electrical Engineering, Ningbo, China (and 1 more)
- Ming Xu 0014 — Nanjing University, Department of Computer Science and Technology, National Key Laboratory for Novel Software Technology, Nanjing, China
- Ming Xu 0015
- Ming Xu 0016
- Ming Xu 0017 — University of Wisconsin-Milwaukee, Department of Computer Science, Milwaukee, WI, USA
- Ming Xu 0018 — Guizhou University of Finance and Economics, School of Mathematics and Statistics, Guizhou Key Laboratory of Big Data Statistical Analysis, Guiyang, China
- Ming Xu 0019
- Ming Xu 0020
- Ming Xu 0021 — Future Cities Laboratory, Singapore
- Ming Xu 0022 — National University of Defense Technology, College of Intelligence Science and Technology, Department of Automation, Changsha, China (and 1 more)
- Ming Xu 0023
- Ming Xu 0024 — Fudan University, School of Microelectronics, State Key Laboratory of ASIC and System, Shanghai, China
- Ming Xu 0025 — Shenzhen University, School of Electronic and Information Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Hui Jiang, Yuxin Deng, Ming Xu:
Qubit Mapping Based on Tabu Search. J. Comput. Sci. Technol. 39(2): 421-433 (2024) - [c12]Hui Jiang
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC 2024: 18:1-18:12 - [c11]Yuxin Deng, Huiling Wu, Ming Xu:
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) 2024: 163-184 - [i8]Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li:
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR abs/2402.15827 (2024) - 2023
- [j19]Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu
Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. 180: 106342 (2023) - [c10]Pengcheng Lei, Faming Fang, Guixu Zhang, Ming Xu:
Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction. IJCAI 2023: 1008-1016 - [c9]Tingting Wang
Deep Algorithm Unrolling with Registration Embedding for Pansharpening. ACM Multimedia 2023: 4309-4318 - [i7]Yuxin Deng, Huiling Wu, Ming Xu:
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR abs/2308.04741 (2023) - [i6]Pengcheng Lei, Faming Fang, Guixu Zhang, Ming Xu:
Deep Unfolding Convolutional Dictionary Model for Multi-Contrast MRI Super-resolution and Reconstruction. CoRR abs/2309.01171 (2023) - [i5]Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR abs/2310.11882 (2023) - 2022
- [j18]Ming Xu
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913: 43-72 (2022) - [j17]Ming Xu
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935: 61-81 (2022) - [c8]Jia Lu, Ming Xu:
Bisection Value Iteration. APSEC 2022: 109-118 - [i4]Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu:
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR abs/2202.05412 (2022) - 2021
- [j16]Ming Xu
Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58(6): 653-674 (2021) - [j15]Ying-Ji Sun, Ming Xu
An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20(4): 170 (2021) - [c7]Ming Xu
Model Checking Quantum Continuous-Time Markov Chains. CONCUR 2021: 13:1-13:17 - [i3]Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng:
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR abs/2101.04971 (2021) - [i2]Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu:
Model Checking Quantum Continuous-Time Markov Chains. CoRR abs/2105.00382 (2021) - 2020
- [j14]Ming Xu, Yuxin Deng
Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275: 104634 (2020) - [j13]Cheng-Chao Huang, Ming Xu
A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. 64(1): 1-20 (2020) - [j12]Peixin Wang
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4(POPL): 25:1-25:30 (2020) - [c6]Hua Wu, Yuxin Deng
Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC 2020: 307-316 - [c5]Qi Wang, Ming Xu, Xiangxue Li, Haifeng Qian:
Revisiting the Fairness and Randomness of Delegated Proof of Stake Consensus Algorithm. ISPA/BDCloud/SocialCom/SustainCom 2020: 305-312 - [c4]Yuan Linghu, Ming Xu, Xiangxue Li, Haifeng Qian:
Weighted Local Outlier Factor for Detecting Anomaly on In-Vehicle Network. MSN 2020: 479-487
2010 – 2019
- 2019
- [i1]Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu:
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. CoRR abs/1902.04744 (2019) - 2018
- [j11]Cheng-Chao Huang, Jing-Cao Li, Ming Xu
Positive root isolation for poly-powers by exclusion and differentiation. J. Symb. Comput. 85: 148-169 (2018) - 2016
- [j10]Ming Xu
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609: 395-412 (2016) - [j9]Ming Xu
Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. 611: 116-135 (2016) - [c3]Jing-Cao Li, Cheng-Chao Huang, Ming Xu
Positive Root Isolation for Poly-Powers. ISSAC 2016: 325-332 - 2015
- [j8]Ming Xu
Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. 68: 146-168 (2015) - 2014
- [j7]Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao:
Discovering non-terminating inputs for multi-path polynomial programs. J. Syst. Sci. Complex. 27(6): 1286-1304 (2014) - 2013
- [j6]Ming Xu, Jiaqi Zhu, Zhi-Bin Li:
Some decidable results on reachability of solvable systems. Int. J. Gen. Syst. 42(4): 405-425 (2013) - [j5]Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang:
Model checking conditional CSL for continuous-time Markov chains. Inf. Process. Lett. 113(1-2): 44-50 (2013) - [j4]Ming Xu
Symbolic termination analysis of solvable loops. J. Symb. Comput. 50: 28-49 (2013) - 2010
- [j3]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li:
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21(6): 1005-1019 (2010) - [j2]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41(12): 1411-1419 (2010) - [j1]Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li:
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. 16(14): 1912-1926 (2010) - [c2]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM 2010: 263-268
2000 – 2009
- 2009
- [c1]Ming Xu, Liangyu Chen, Zhi-bin Li:
Symbolic Reachability Computation of a Class of Nonlinear Systems. ACIS-ICIS 2009: 706-710
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 20:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: