Edit Profile (opens in new tab) Xu, Ming Compute Distance To: Compute Author ID: xu.ming.2 Published as: Xu, Ming Further Spellings: 徐鸣 Homepage: https://faculty.ecnu.edu.cn/_s43/xm2_en/main.psp External Links: ORCID Documents Indexed: 43 Publications since 1988 1 Contribution as Editor Co-Authors: 24 Co-Authors with 20 Joint Publications 1,017 Co-Co-Authors all top 5 Co-Authors 8 single-authored 10 Li, Zhibin 6 Huang, Chengchao 5 Deng, Yuxin 4 Zeng, Zhenbing 3 Fu, Jianling 3 Mei, Jingyi 3 Zhang, Lijun 2 Cai, Shaohong 2 Chen, Liangyu 2 Li, Jing-Cao 2 Long, Wen 2 Zhan, Naijun 1 Cao, Jiannong 1 Chen, Chun 1 Cheng, Shi 1 Chin, Kwai-Sang 1 Du, Wenjie 1 Feng, Yuan 1 Gao, Yang 1 Hou, Zifeng 1 Jähnichen, Stefan 1 Jansen, David N. 1 Jiang, Kai 1 Jiao, Jianjun 1 Li, Chaoqian 1 Li, Suhua 1 Li, Yong 1 Liu, Jiang 1 Liu, Zhiqiang 1 Marangoni, Roy D. 1 Mu, Chuandong 1 Ren, Jie 1 Shi, Xizhi 1 Si, Wei 1 Smith, Jeremy S. 1 Song, Jianping 1 Sun, Ying-Ji 1 Tang, Mingzhu 1 Tian, Zihong 1 Wei, Huayi 1 Wu, Hua 1 Wu, Tiebin 1 Wu, Yaojun 1 Xiao, Xiaoqiang 1 Xie, Bo 1 Yang, Lu 1 Yang, Zongyuan 1 Ying, Jing 1 Zhang, Wenzhuan 1 Zhao, Hengjun 1 Zhou, Xingming 1 Zhu, Huibiao 1 Zhu, Jiaqi 1 Zhuang, Yi all top 5 Serials 4 Journal of Philosophical Logic 4 Theoretical Computer Science 3 Journal of Symbolic Computation 2 Information Processing Letters 2 Studia Logica 1 Acta Informatica 1 International Journal of General Systems 1 Journal of Computational Physics 1 Journal of Sound and Vibration 1 Information Sciences 1 Synthese 1 Mathematics in Practice and Theory 1 Acta Automatica Sinica 1 Journal of Computer Science and Technology 1 Information and Computation 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 Multidimensional Systems and Signal Processing 1 International Journal of Foundations of Computer Science 1 Applied Mathematical Modelling 1 Mathematical Problems in Engineering 1 Journal of Universal Computer Science 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 Journal of Software 1 Quantum Information Processing 1 Lecture Notes in Computer Science 1 Journal of Computer Applications all top 5 Fields 23 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 26 times in 17 Documents Cited by ▼ Year ▼ Causation in branching time. I: Transitions, events and causes. Zbl 0931.03008Xu, Ming 14 1997 Doing and refraining from refraining. Zbl 0813.03004Xu, Ming 8 1994 On some \(U,S\)-tense logics. Zbl 0648.03010Xu, Ming 6 1988 Busy choice sequences refraining formulas and modalities. Zbl 0824.03008Xu, Ming 5 1995 Symbolic termination analysis of solvable loops. Zbl 1253.68224Xu, Ming; Li, Zhi-Bin 5 2013 An MPEC formulation and its cutting constraint algorithm for continuous network design problem with multi-user classes. Zbl 1427.90069Wang, G. M.; Gao, Z. Y.; Xu, M. 3 2014 Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056Xu, Ming; Li, Zhi-Bin; Yang, Lu 3 2015 Positive root isolation for poly-powers by exclusion and differentiation. Zbl 1378.68200Huang, Cheng-Chao; Li, Jing-Cao; Xu, Ming; Li, Zhi-Bin 3 2018 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 Some decidable results on reachability of solvable systems. Zbl 1278.93046Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin 3 2013 Vibration analysis of a motor-flexible coupling-rotor system subject to misalignment and unbalance. I: Theoretical model and analysis. Zbl 0945.74597Xu, M.; Marangoni, R. D. 3 1994 A two-stage heuristic approach for nurse scheduling problem: a case study in an emergency department. Zbl 1348.90325Wong, T. C.; Xu, M.; Chin, K. S. 3 2014 Actions as events. Zbl 1272.03050Xu, Ming 2 2012 Termination analysis of linear loops. Zbl 1213.68213Xu, Ming; Chen, Liangyu; Zeng, Zhenbing; Li, Zhi-Bin 2 2010 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 2 2016 A heuristic approach to positive root isolation for multiple power sums. Zbl 1216.68349Xu, Ming; Mu, Chuandong; Zeng, Zhenbing; Li, Zhi-Bin 2 2010 Positive root isolation for poly-powers. Zbl 1365.65143Li, Jing-Cao; Huang, Cheng-Chao; Xu, Ming; Li, Zhi-Bin 2 2016 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 1 2014 A finite element method of the self-consistent field theory on general curved surfaces. Zbl 1452.65114Wei, Huayi; Xu, Ming; Si, Wei; Jiang, Kai 1 2019 Inequalities for the minimum eigenvalue of doubly strictly diagonally dominant \(M\)-matrices. Zbl 1442.15031Xu, Ming; Li, Suhua; Li, Chaoqian 1 2014 A finite element method of the self-consistent field theory on general curved surfaces. Zbl 1452.65114Wei, Huayi; Xu, Ming; Si, Wei; Jiang, Kai 1 2019 Positive root isolation for poly-powers by exclusion and differentiation. Zbl 1378.68200Huang, Cheng-Chao; Li, Jing-Cao; Xu, Ming; Li, Zhi-Bin 3 2018 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 2 2016 Positive root isolation for poly-powers. Zbl 1365.65143Li, Jing-Cao; Huang, Cheng-Chao; Xu, Ming; Li, Zhi-Bin 2 2016 Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056Xu, Ming; Li, Zhi-Bin; Yang, Lu 3 2015 An MPEC formulation and its cutting constraint algorithm for continuous network design problem with multi-user classes. Zbl 1427.90069Wang, G. M.; Gao, Z. Y.; Xu, M. 3 2014 A two-stage heuristic approach for nurse scheduling problem: a case study in an emergency department. Zbl 1348.90325Wong, T. C.; Xu, M.; Chin, K. S. 3 2014 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 1 2014 Inequalities for the minimum eigenvalue of doubly strictly diagonally dominant \(M\)-matrices. Zbl 1442.15031Xu, Ming; Li, Suhua; Li, Chaoqian 1 2014 Symbolic termination analysis of solvable loops. Zbl 1253.68224Xu, Ming; Li, Zhi-Bin 5 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 Some decidable results on reachability of solvable systems. Zbl 1278.93046Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin 3 2013 Actions as events. Zbl 1272.03050Xu, Ming 2 2012 Termination analysis of linear loops. Zbl 1213.68213Xu, Ming; Chen, Liangyu; Zeng, Zhenbing; Li, Zhi-Bin 2 2010 A heuristic approach to positive root isolation for multiple power sums. Zbl 1216.68349Xu, Ming; Mu, Chuandong; Zeng, Zhenbing; Li, Zhi-Bin 2 2010 Causation in branching time. I: Transitions, events and causes. Zbl 0931.03008Xu, Ming 14 1997 Busy choice sequences refraining formulas and modalities. Zbl 0824.03008Xu, Ming 5 1995 Doing and refraining from refraining. Zbl 0813.03004Xu, Ming 8 1994 Vibration analysis of a motor-flexible coupling-rotor system subject to misalignment and unbalance. I: Theoretical model and analysis. Zbl 0945.74597Xu, M.; Marangoni, R. D. 3 1994 On some \(U,S\)-tense logics. Zbl 0648.03010Xu, Ming 6 1988 all cited Publications top 5 cited Publications all top 5 Cited by 37 Authors 8 Xu, Ming 4 Huang, Chengchao 4 Li, Zhibin 2 Baier, Christel 2 Chistikov, Dmitry V. 2 Dubslaff, Clemens 2 Giesl, Jürgen 2 Kiefer, Stefan 2 Klüppelholz, Sascha 2 Murawski, Andrzej S. 2 Purser, David 1 Deng, Yuxin 1 Feng, Yuan 1 Frohn, Florian 1 Grosdos, Alexandros 1 Hark, Marcel 1 Heaton, Alexander 1 Jansen, David N. 1 Klein, Joachim 1 Kubjas, Kaie 1 Leuschner, Linda 1 Li, Jing-Cao 1 Li, Yi 1 Liu, Jiang 1 Lommen, Nils 1 Meyer, Fabian 1 Scholten, Georgy 1 Sorea, Miruna-Ştefana 1 Wang, Dongming 1 Wunderlich, Sascha 1 Yang, Lu 1 Yang, Zongyuan 1 Zeng, Zhenbing 1 Zhan, Naijun 1 Zhang, Lijun 1 Zhao, Hengjun 1 Zhu, Huibiao all top 5 Cited in 9 Serials 2 Theoretical Computer Science 2 Journal of Symbolic Computation 1 Acta Informatica 1 Journal of Computational and Applied Mathematics 1 Advances in Applied Mathematics 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Systems Science and Complexity 1 Logical Methods in Computer Science all top 5 Cited in 10 Fields 15 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year