俞能坤
人员信息
附属: 美国纽约石溪大学
优化列表
2020年-今天
2023 [公元21年] 俞能坤 :
利用泡利测量进行量子同一性测试的几乎紧样本复杂性分析。 IEEE传输。 Inf.理论 69 ( 8 ) : 5060-5068 ( 2023 ) [公元20年] 俞能坤 :
量子程序的结构定理及其应用。 ACM事务处理。 柔和。 工程方法。 32 ( 4 ) : 103:1-103:35 ( 2023 ) [第18条] 刘敖 , 韩启申 , 李荣霞 , 俞能坤 :
通过量子计算加速投票。 阿拉伯联合酋长国 2023 : 1274-1283 【i24】 刘敖 , 李荣霞 , 俞能坤 :
通过量子计算加速多数投票。 CoRR公司 腹肌/2301.02995 ( 2023 ) 2022 [公元19年] 彭燕 , 俞能坤 :
QQUIC传输协议:Quantum-Assisted UDP Internet Connections。 熵 24 ( 10 ) : 1488 ( 2022 ) [公元18年] 彭燕 , 韩汝江 , 俞能坤 :
关于量子程序的不正确逻辑。 程序。 ACM计划。 语言。 6 ( OOPSLA1公司 ) : 1-28 ( 2022 ) [公元17年] 俞能坤 , 李周 :
对“量子操作的切尔诺夫指数何时是有限的?”的评论和修正。 IEEE传输。 Inf.理论 68 ( 6 ) : 3989-3990 ( 2022 ) [第17条] 俞能坤 :
量子程序的高效推理。 SAS公司 2022 : 10-15 [第16条] 季冠 , 俞能坤 :
用于验证连续时间马尔可夫链的概率逻辑。 TACAS(2) 2022 : 3-21 [第23条] 景怡美 , 徐铭(Ming Xu) , 纪冠 , 邓玉欣 , 俞能坤 :
针对量子连续时间马尔可夫链检查连续随机逻辑。 CoRR公司 腹肌/2202.05412 ( 2022 ) 2021 [公元16年] 俞能坤 , 李周 :
量子操作的切尔诺夫指数何时是有限的? IEEE传输。 Inf.理论 67 ( 7 ) : 4517-4523 ( 2021 ) [公元15年] 黛比·W·梁 , 阿什温·纳亚克 , 阿拉·沙耶吉 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
低噪声交互式量子通信的容量逼近编码第一部分:大字母表。 IEEE传输。 Inf.理论 67 ( 8 ) : 5443-5490 ( 2021 ) [第15条] 徐铭(Ming Xu) , 景怡美 , 纪冠 , 俞能坤 :
模型检验量子连续时间马尔可夫链。 CONCUR公司 2021 : 13:1-13:17 [第14条] 俞能坤 :
量子态的样本有效身份测试和独立性测试。 国际贸易中心 2021 : 11:1-11:20 [第13条] 郝昌成 , 安德烈亚斯·温特 , 俞能坤 :
多拷贝环境中局域约束下的量子态判别。 ISIT公司 2021 : 1188-1193 [c12] 李周 , 吉勒·巴特 , 徐宇春(Justin Hsu) , 明生英 , 俞能坤 :
束逻辑和量子分离逻辑的量子解释。 许可证 2021 : 1-14 [第11条] 俞能坤 , 延斯·帕尔斯伯格 :
量子抽象解释。 PLDI公司 2021 : 542-558 [i22] 李周 , 吉勒·巴特 , 徐宇春(Justin Hsu) , 明生英 , 俞能坤 :
量子分离逻辑中束逻辑的量子解释。 CoRR公司 腹肌/2102.000329 ( 2021 ) 【i21】 徐铭(Ming Xu) , 景怡美 , 纪冠 , 俞能坤 :
模型检验量子连续时间马尔可夫链。 CoRR公司 abs/2105.00382 ( 2021 ) [i20] 俞能坤 :
量子最大流最小割定理。 CoRR公司 abs/2110.00905 ( 2021 ) 2020 [公元14年] 乔有明 , 孙晓明 , 俞能坤 :
多部分纠缠的局部等价性。 IEEE J.选择。 公共区域。 38 ( 三 ) : 568-574 ( 2020 ) [j13] 李古书 , 李周 , 俞能坤 , 丁宇飞 , 明生英 , 袁燮 :
用于测试和调试Quantum程序的基于投影的运行时断言。 程序。 ACM计划。 语言。 4 ( OOPSLA公司 ) : 150:1-150:29分 ( 2020 ) [公元12年] 吉勒·巴特 , 徐宇春(Justin Hsu) , 明生英 , 俞能坤 , 李周 :
量子程序的关系证明。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 21:1-21:29 ( 2020 ) [公元11年] 李周 , 胜刚英 , 俞能坤 , 明生英 :
量子耦合的斯特拉森定理。 西奥。 计算。 科学。 802 : 67-76 ( 2020 ) [公元10年] 俞能坤 :
有或无体层摄影术的多方纠缠认证。 IEEE传输。 Inf.理论 66 ( 10 ) : 6369-6377 ( 2020 ) [i19] 黛比·W·梁 , 阿什温·纳亚克 , 阿拉·沙耶吉 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
低噪声交互式量子通信的容量逼近编码,第一部分:大字母。 CoRR公司 abs/2001.02818 ( 2020 ) [i18] 纪冠 , 俞能坤 :
连续时间马尔可夫链的验证。 CoRR公司 abs/2004.08059 ( 2020 ) [i17] 彭燕 , 俞能坤 :
QQUIC传输协议:Quantum辅助的UDP Internet连接。 CoRR公司 abs/2006.00653 ( 2020 )
2010 – 2019
2019 [第10条] 李周 , 俞能坤 , 明生英 :
应用量子霍尔逻辑。 PLDI公司 2019 : 1149-1162 [i16] 吉勒·巴特 , 徐宇春(Justin Hsu) , 明生英 , 俞能坤 , 李周 :
量子程序推理的耦合技术。 CoRR公司 abs/1901.05184 ( 2019 ) 【i15】 俞能坤 , 赖静仪 , 李周 :
分组量子网络互连协议。 CoRR公司 abs/1903.10685 ( 2019 ) [第14条] 俞能坤 :
量子时间逻辑。 CoRR公司 abs/1908.00158 ( 2019 ) [i13] 李古书 , 李周 , 俞能坤 , 丁宇飞 , 明生英 , 袁燮 :
Poq:用于在量子计算机上调试的基于投影的运行时断言。 CoRR公司 abs/1911.12855 ( 2019 ) 2018 【c9】 黛比·W·梁 , 阿什温·纳亚克 , 阿拉·沙耶吉 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
低噪声交互式量子通信的容量逼近编码。 STOC公司 2018 : 339-352 [i12] 李周 , 胜刚英 , 俞能坤 , 明生英 :
量子耦合与斯特拉森定理。 CoRR公司 abs/1803.10393 ( 2018 ) 2017 [公元9年] 俞能坤 , 段润耀 , 徐全华 :
酉量子信道与酉信道凸包之间距离的界。 IEEE传输。 Inf.理论 63 ( 2 ) : 1299-1310 ( 2017 ) [j8] Jeongwan Haah公司 , 阿拉姆·W·哈罗 , 郑凤姬 , 吴晓迪 , 俞能坤 :
量子态的样本优化层析成像。 IEEE传输。 Inf.理论 63 ( 9 ) : 5628-5641 ( 2017 ) 【c8】 阿努拉·安舒 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
量子通信与经典信息的指数分离。 STOC公司 2017 : 277-288 2016 【c7】 肖恩·X·崔 , 郑凤记 , 俞能坤 , 贝曾 :
纠缠网络的量子容量。 ISIT公司 2016 : 1685-1689 【c6】 Jeongwan Haah公司 , 阿拉姆·W·哈罗 , 郑凤记 , 吴晓迪 , 俞能坤 :
量子态的样本优化层析成像。 STOC公司 2016 : 913-925 [i11] 肖恩·崔 , 郑凤姬 , 俞能坤 , 贝曾 :
纠缠网络的量子容量。 CoRR公司 abs/1602.00401 ( 2016 ) [i10] Anurag Anshu公司 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
量子通信与经典信息的指数分离。 CoRR公司 abs/1611.08946 ( 2016 ) 2015 [j7] 陈陶璐 , 俞能坤 , 韩婷婷 :
连续时间轨道问题在多项式时间内是可判定的。 信息处理。 莱特。 115 ( 1 ) : 11-14 ( 2015 ) [j6] Somshubhro Bandyopadhyay公司 , 亚历山德罗·科森蒂诺 , 纳撒尼尔·约翰斯顿 , 文森特·拉索 , 约翰·瓦特鲁斯 , 俞能坤 :
凸优化对可分离测量的限制。 IEEE传输。 Inf.理论 61 ( 6 ) : 3593-3604 ( 2015 ) [第九章] 郑万浩 , 阿拉姆·W·哈罗 , 郑凤姬 , 吴晓迪 , 俞能坤 :
量子态的样本优化层析成像。 CoRR公司 abs/1508.01797 ( 2015 ) 2014 [j5] 杨佳丽 , 俞能坤 , 明生英 :
非确定性量子程序的终止。 信息学报 51 ( 1 ) : 1-24 ( 2014 ) 【j4】 俞能坤 , 段润耀 , 明生英 :
用具有正部分转置的正算子值测度区分量子态。 IEEE传输。 Inf.理论 60 ( 4 ) : 2069-2079 ( 2014 ) [j3] 明生英 , 杨佳丽 , 俞能坤 , 袁峰 :
量子系统线性时间特性的模型检验。 ACM事务处理。 计算。 日志。 15 ( 三 ) : 22:1-22:31 ( 2014 ) [i8] 明生英 , 俞能坤 , 袁峰 :
量子编程中的交替:从数据叠加到程序叠加。 CoRR公司 腹肌/1402.5172 ( 2014 ) 2013 [注2] 袁峰 , 俞能坤 , 明生英 :
模型检查量子马尔可夫链。 J.计算。 系统。 科学。 79 ( 7 ) : 1181-1198 ( 2013 ) [j1] 明生英 , 俞能坤 , 袁峰 , 段润耀 :
量子程序的验证。 科学。 计算。 程序。 78 ( 9 ) : 1679-1700年 ( 2013 ) 【c5】 胜刚英 , 袁峰 , 俞能坤 , 明生英 :
量子马尔可夫链的可达概率。 CONCUR公司 2013 : 334-348 【c4】 明生英 , 袁峰 , 俞能坤 :
量子信息流安全:无干扰和访问控制。 CSF公司 2013 : 130-144年 【c3】 乔有明 , 孙晓明 , 俞能坤 :
确定性复杂性和字段扩展。 国际会计准则委员会 2013 : 119-129 【c2】 袁峰 , 俞能坤 , 明生英 :
递归量子马尔可夫链的可达性分析。 MFCS公司 2013 : 385-396 [i7] 明生英 , 袁峰 , 俞能坤 :
量子信息流安全:无干扰和访问控制。 CoRR公司 abs/1301.6804 ( 2013 ) [i6] 陈陶璐 , 孙晓明 , 俞能坤 :
重新审视轨道问题。 CoRR公司 abs/1302.0566 ( 2013 ) 2012 【c1】 俞能坤 , 明生英 :
并发量子程序的可达性和终止性分析。 CONCUR公司 2012 : 第69页至第83页 [i5] 杨佳丽 , 俞能坤 , 明生英 :
非确定性量子程序的终止。 CoRR公司 abs/1201.0891 ( 2012 ) [i4] 袁峰 , 俞能坤 , 明生英 :
模型检查量子马尔可夫链。 CoRR公司 abs/1205.2187 ( 2012 ) [i3] 俞能坤 , 明生英 :
并发量子程序的可达性和终止性分析。 CoRR公司 abs/1206.1935 ( 2012 ) [i2] 明生英 , 俞能坤 , 袁峰 :
定义量子控制流。 CoRR公司 abs/1209.4379 ( 2012 ) 2011 [i1] 明生英 , 俞能坤 , 袁峰 , 段润耀 :
量子程序的验证。 CoRR公司 腹肌/1106.4063 ( 2011 )