徐铭(Ming Xu) 0010
人员信息
附属: 华东师范大学软件工程学院计算机科学与技术系上海市可信计算重点实验室,中国上海
其他同名人员
徐铭(Ming Xu) — 消歧页 徐铭(Ming Xu) 0001 — 杭州电子大学计算机科学与技术学院网络空间学院互联网与网络安全实验室 (还有1个) 徐铭(Ming Xu) 0002 — 中国长沙国防科技大学计算机学院 (还有1个) 徐铭(Ming Xu) 0003 -北京航空航天大学航空航天学院航空航天工程系 徐铭(Ming Xu) 0004 -密歇根大学自然资源与环境学院,密歇根州安娜堡,美国 徐铭(Ming Xu) 0005 — 同济大学计算机科学与技术系,中国上海 (还有2个以上) 徐铭(Ming Xu) 0006 -复旦大学软件学院上海数据科学重点实验室 徐铭(Ming Xu) 0007 -东北大学信息科学与工程学院,沈阳,中国 徐铭(Ming Xu) 0008 — 清华大学信息技术研究院,中国北京 (还有1个) 徐铭(Ming Xu) 0009 -上海海事大学信息工程学院计算机科学系
徐铭(Ming Xu) 0011 — 英国利物浦大学电气工程与电子系 (还有5个以上) 徐铭(Ming Xu) 0012 -中央民族大学预科教育学院、四川省信息材料重点实验室、中国成都 徐铭(Ming Xu) 0013 — 宁波理工大学自动化与电气工程学院,中国宁波 (还有1个) 徐铭(Ming Xu) 0014 -南京大学计算机科学与技术系,新软件技术国家重点实验室,南京,中国 徐铭(Ming Xu) 0015 — 澳大利亚布里斯班昆士兰科技大学电气工程与机器人学院 (还有1个) 徐铭(Ming Xu) 0016 -南京航空航天大学电子与信息工程学院,中国南京 徐铭(Ming Xu) 0017 -威斯康星大学密尔沃基分校计算机科学系,美国威斯康星州密尔沃基 徐铭(Ming Xu) 0018 -贵州财经大学数理统计学院贵州省大数据统计分析重点实验室,贵阳,中国 徐铭(Ming Xu) 0019 -中国长沙国防科技大学电子科学学院 徐铭(Ming Xu) 0020 -中国海洋大学海洋技术学院,中国青岛 徐铭(Ming Xu) 0021 -新加坡未来城市实验室 徐铭(Ming Xu) 0022 — 中国长沙国防科技大学自动化系情报科学与技术学院 (还有1个) 徐铭(Ming Xu) 0023 — 武汉大学哲学系,中国武汉 (还有3个以上) 徐铭(Ming Xu) 0024 -复旦大学微电子学院ASIC与系统国家重点实验室,中国上海 徐铭(Ming Xu) 0025 -深圳大学电子与信息工程学院
优化列表
2020年–今天
2024 [第10条] 邓玉欣 , 吴慧玲 , 徐铭(Ming Xu) :
经典量子程序概率行为的局部推理。 VMCAI(2) 2024 : 163-184 2023 [公元19年] 傅建玲 , 黄成超 , 李勇 , 景怡美 , 徐铭(Ming Xu) , 张丽君 :
消费马尔可夫决策过程的定量控制器综合。 信息处理。 莱特。 180 : 106342 ( 2023 ) 【c9】 王婷婷 , 叶永旭 , 法明芳 , 张桂旭 , 徐铭(Ming Xu) :
用于全景锐化的带配准嵌入的深度算法展开。 ACM多媒体 2023 : 4309-4318年 [i5] 邓玉欣 , 吴慧玲 , 徐铭(Ming Xu) :
经典量子程序概率行为的局部推理。 CoRR公司 abs/2308.04741 ( 2023 ) [i4] 汇江 , 傅建玲 , 徐铭(Ming Xu) , 邓玉欣 , 李志斌 :
量子CTMC可重复到达性的样本驱动求解程序。 CoRR公司 abs/2310.11882 ( 2023 ) 2022 [公元18年] 徐铭(Ming Xu) , 傅建玲 , 景怡美 , 邓玉欣 :
量子马尔可夫链上的模型检查QCTL plus。 西奥。 计算。 科学。 913 : 43-72 ( 2022 ) [公元17年] 徐铭(Ming Xu) , 傅建玲 , 景怡美 , 邓玉欣 :
量子马尔可夫链上基于可信度的模型检测的代数方法。 西奥。 计算。 科学。 935 : 61-81 ( 2022 ) 【c8】 贾璐 , 徐铭(Ming Xu) :
二分值迭代。 亚太经合组织 2022 : 109-118 [i3] 景怡美 , 徐铭(Ming Xu) , 纪冠 , 邓玉欣 , 俞能坤 :
针对量子连续时间马尔可夫链检查连续随机逻辑。 CoRR公司 腹肌/2202.05412 ( 2022 ) 2021 [公元16年] 徐铭(Ming Xu) , 黄成超 , 袁峰 :
测量量子马尔可夫链中的约束可达性。 信息学报 58 ( 6 ) : 653-674 ( 2021 ) [公元15年] 孙英吉 , 徐铭(Ming Xu) , 邓玉欣 :
使用量词消除的最佳量子纠错过程。 量子信息处理。 20 ( 4 ) : 170 ( 2021 ) 【c7】 徐铭(Ming Xu) , 景怡美 , 纪冠 , 俞能坤 :
模型检验量子连续时间马尔可夫链。 CONCUR公司 2021 : 13:1-13:17 [i2] 徐铭(Ming Xu) , 傅建玲 , 景怡美 , 邓玉欣 :
量子马尔可夫链上基于保真度的模型检验的代数方法。 CoRR公司 abs/2101.04971 ( 2021 ) [i1] 徐铭(Ming Xu) , 景怡美 , 纪冠 , 俞能坤 :
模型检验量子连续时间马尔可夫链。 CoRR公司 abs/2105.00382 ( 2021 ) 2020 [公元14年] 徐铭(Ming Xu) , 邓玉欣 :
具有时滞的概率规划的有时限终止分析。 Inf.计算。 275 : 104634 ( 2020 ) [j13] 黄成超 , 徐铭(Ming Xu) , 李志斌 :
多权力约束的冲突驱动解决程序。 J.汽车。 原因。 64 ( 1 ) : 1-20 ( 2020 ) [j12] 王培新 , 傅鸿飞 , 克里希南德·查特吉 , 邓玉欣 , 徐铭(Ming Xu) :
证明具有随机变量相关终止时间的概率规划的期望灵敏度。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 25:1-25:30 ( 2020 ) 【c6】 华武 , 邓玉欣 , 徐铭(Ming Xu) , 杜文杰 :
Qsimulation V2.0:优化的量子模拟器。 ICTAC公司 2020 : 307-316 【c5】 王琦(Qi Wang) , 徐铭(Ming Xu) , 李向雪 , 钱海峰 :
重新审视委托利益证明共识算法的公平性和随机性。 ISPA/BDCloud/SocialCom/SustainCom公司 2020 : 305-312 【c4】 袁令虎 , 徐铭(Ming Xu) , 李向雪 , 钱海峰 :
用于检测车内网络异常的加权局部异常因子。 MSN(MSN) 2020 : 479-487
2010 – 2019
2018 [公元11年] 黄成超 , 李景超 , 徐铭(Ming Xu) , 李志斌 :
通过排斥和分化实现多元权力的正根隔离。 J.塞姆。 计算。 85 : 148-169 ( 2018 ) 2016 [公元10年] 徐铭(Ming Xu) , 黄成超 , 李志斌 , 曾振兵 :
分析可解系统的最终正性。 西奥。 计算。 科学。 609 : 395-412 ( 2016 ) [公元9年] 徐铭(Ming Xu) , 张丽君 , 大卫·N·詹森 , 朱慧标 , 杨宗元 :
马尔可夫奖励模型上的多阶段直到公式:一种代数方法。 西奥。 计算。 科学。 611 : 116-135 ( 2016 ) 【c3】 李景超 , 黄成超 , 徐铭(Ming Xu) , 李志斌 :
多电源的正根隔离。 ISSAC公司 2016 : 325-332 2015 [j8] 徐铭(Ming Xu) , 李志斌 , 陆洋 :
一类指数多项式公式的量词消去。 J.塞姆。 计算。 68 : 146-168 ( 2015 ) 2014 [j7] 姜柳 , 徐铭(Ming Xu) , 詹乃军(Naijun Zhan) , 赵恒军 :
发现多路径多项式程序的非终止输入。 J.系统。 科学。 复杂。 27 ( 6 ) : 1286-1304 ( 2014 ) 2013 [j6] 徐铭(Ming Xu) , 朱嘉琪 , 李志斌 :
关于可解系统可达性的一些可判定结果。 国际通用系统杂志。 42 ( 4 ) : 405-425 ( 2013 ) [j5] 杨高 , 徐铭(Ming Xu) , 詹乃军(Naijun Zhan) , 张丽君 :
连续时间马尔可夫链的模型检验条件CSL。 信息处理。 莱特。 113 ( 1-2 ) : 44-50 ( 2013 ) 【j4】 徐铭(Ming Xu) , 李志斌 :
可解回路的符号终止分析。 J.塞姆。 计算。 50 : 28至49 ( 2013 ) 2010 [j3] 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 :
线性回路的终止分析。 发现的国际期刊。 计算。 科学。 21 ( 6 ) : 1005-1019 ( 2010 ) [j2] 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 :
有理特征值线性系统的可达性分析。 国际期刊系统。 科学。 41 ( 12 ) : 1411-1419 ( 2010 ) [j1] 徐铭(Ming Xu) , 穆传东 , 曾振兵 , 李志斌 :
一种启发式方法用于多个幂和的正根隔离。 J.大学。 计算。 科学。 16 ( 14 ) : 1912-1926 ( 2010 ) 【c2】 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 :
多指数多项式的实根分离及其应用。 WALCOM公司 2010 : 263-268
2000 – 2009
2009 【c1】 徐铭(Ming Xu) , 陈良玉 , 李志斌 :
一类非线性系统的符号可达性计算。 ACIS-ICIS公司 2009 : 706-710