徐鸣 + 关注学者
  • 认领成果数 10
  • wos论文数 10
  • wos被引 35
  • wos篇均被引 3.50

全部成果分类

导出 规范数据导出
  • 排序
  • 显示
5. Symbolic termination analysis of solvable loops 代表性成果 SCOPUS SCIE

作者:Xu, M;Li, ZB

通讯作者地址:Xu, M (reprint author), E China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.

作者机构:[Xu, Ming; Li, Zhi-Bin] E China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.; [Xu, Ming] Chinese Acad Sci, Inst Software, 更多

来源:JOURNAL OF SYMBOLIC COMPUTATION,2013,50,28-49

收录类别:SCOPUS;SCIE

当年影响因子:1.274

WOS被引:2

Scopus被引:2

资源类型:外文期刊论文

6. Model checking conditional CSL for continuous-time Markov chains 代表性成果 SCOPUS SCIE EI

作者:Gao, Y;Xu, M;Zhan, NJ;Zhang, LJ

通讯作者:Zhang, L.(zhang@imm.dtu.dk)

通讯作者地址:Zhang, LJ (reprint author), Tech Univ Denmark, DTU Informat, Lyngby, Denmark.

作者机构:[Zhang, Lijun] Tech Univ Denmark, DTU Informat, Lyngby, Denmark.; [Gao, Yang; Zhan, Naijun] Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, 更多

来源:INFORMATION PROCESSING LETTERS,2013,113,1-2,44-50

收录类别:SCOPUS;SCIE;EI

当年影响因子:0.748

WOS被引:4

Scopus被引:14

资源类型:外文期刊论文

7. Some decidable results on reachability of solvable systems 代表性成果 SCOPUS SCIE EI

作者:Xu, M;Zhu, JQ;Li, ZB

通讯作者:Li, Z.-B.(lizb@cs.ecnu.edu.cn)

通讯作者地址:Li, ZB (reprint author), E China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.

作者机构:[Xu, Ming; Li, Zhi-Bin] E China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.; [Xu, Ming; Zhu, Jiaqi] Chinese Acad Sci, In 更多

来源:INTERNATIONAL JOURNAL OF GENERAL SYSTEMS,2013,42,4,405-425

收录类别:SCOPUS;SCIE;EI

当年影响因子:2.49

WOS被引:3

Scopus被引:3

资源类型:外文期刊论文

8. TERMINATION ANALYSIS OF LINEAR LOOPS 代表性成果 SCOPUS SCIE

作者:Xu, M;Chen, LY;Zeng, ZB;Li, ZB

通讯作者地址:Xu, M (reprint author), E China Normal Univ, Dept Comp Sci, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Xu, Ming; Li, Zhi-Bin] E China Normal Univ, Dept Comp Sci, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,2010,21,6,1005-1019

收录类别:SCOPUS;SCIE

当年影响因子:0.39

WOS被引:3

Scopus被引:4

资源类型:外文期刊论文

10. Reachability analysis of rational eigenvalue linear systems 代表性成果 SCOPUS SCIE EI

作者:Xu, M;Chen, LY;Zeng, ZB;Li, ZB

通讯作者:Li, Z.-B.(lizb@cs.ecnu.edu.cn)

通讯作者地址:Li, ZB (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Xu, Ming; Chen, Liangyu; Zeng, Zhenbing; Li, Zhi-bin] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [X 更多

来源:INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE,2010,41,12,1411-1419

收录类别:SCOPUS;SCIE;EI

当年影响因子:2.285

WOS被引:11

Scopus被引:10

资源类型:外文期刊论文

TOP