迈克尔·A·福布斯 0001
人员信息
附属: 伊利诺伊大学香槟分校计算机科学系,伊利诺伊州香槟市,美国 隶属关系(前): 美国加州大学伯克利分校西蒙斯计算理论研究所 隶属关系(前): 美国新泽西州普林斯顿大学计算机科学系 从属关系(前博士,2014年): 美国马萨诸塞州坎布里奇市麻省理工学院(MIT)电气工程与计算机科学系
其他同名人员
迈克尔·A·福布斯 0002 -昆士兰大学机械与采矿工程学院,澳大利亚昆士兰州布里斯班
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [j8] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 汤姆·古尔 , 尼古拉斯·斯普纳 :
即使在量子世界中,空间隔离也意味着零知识。 美国临床医学杂志 69 ( 2 ) : 15:1-15:44 ( 2022 ) [第17条] 罗伯特·安德鲁斯 , 迈克尔·A·福布斯 :
理想、行列式和校正:多项式理想的下界证明和使用。 STOC公司 2022 : 389-402 2021 [j7] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , Iddo Tzameret公司 , 阿维·威格德森 :
从代数电路复杂性证明复杂性下限。 理论计算。 17 : 1-88 ( 2021 ) [i40] 罗伯特·安德鲁斯 , 迈克尔·A·福布斯 :
理想、行列式和校正:证明和使用多项式理想的下限。 CoRR公司 abs/2112.00792 ( 2021 ) [i39] 罗伯特·安德鲁斯 , 迈克尔·A·福布斯 :
理想、行列式和校正:证明和使用多项式理想的下限。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 )
2010 – 2019
2018 [j6] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
代数电路的简洁碰撞集和证明下界的障碍。 理论计算。 14 ( 1 ) : 1-45 ( 2018 ) [j5] 马修·安德森 , 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
身份测试和读取下限- k个 遗忘代数分支程序。 ACM事务处理。 计算。 理论 10 ( 1 ) : 3:1-3:30 ( 2018 ) [第16条] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 汤姆·古尔 , 尼古拉斯·斯普纳 :
即使在量子世界中,空间隔离也意味着零知识。 光纤通信系统 2018 : 755-765 [第15条] 迈克尔·A·福布斯 , 赞德·凯利 :
任意顺序的只读分支程序的伪随机生成器。 光纤通信系统 2018 : 946-955 [第14条] 迈克尔·A·福布斯 , Sumanta Ghosh公司 , 尼丁·萨克塞纳 :
对数变量电路的黑箱身份测试。 ICALP公司 2018 : 54:1-54:16 [c13] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
用于小代数电路闭包的击中集的PSPACE构造。 STOC公司 2018 : 1180-1192 [i38] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 汤姆·古尔 , 尼古拉斯·斯普纳 :
即使在量子世界中,空间隔离也意味着零知识。 CoRR公司 abs/1803.01519 ( 2018 ) [i37] 迈克尔·A·福布斯 , 赞德·凯利 :
任何顺序的只读分支程序的伪随机生成器。 CoRR公司 abs/1808.06265 ( 2018 ) [公元36年] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 汤姆·古尔 , 尼古拉斯·斯普纳 :
即使在量子世界中,空间隔离也意味着零知识。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) [i35] 迈克尔·A·福布斯 , Sumanta Ghosh公司 , 尼丁·萨克塞纳 :
对数变量电路的黑箱身份测试。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) [i34] 迈克尔·A·福布斯 , 赞德·凯利 :
任何顺序的只读分支程序的伪随机生成器。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) 2017 [第12条] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
简洁地击中集合和证明代数电路下限的障碍。 STOC公司 2017 : 653-664 [第11条] 埃利·本·萨森 , 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 阿里尔·加比松 , 迈克尔·里亚布泽夫 , 尼古拉斯·斯普纳 :
简洁约束检测的零知识协议。 TCC(2) 2017 : 172-206 [i33] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
简洁击中集与代数电路下限证明的障碍。 CoRR公司 abs/1701.05328 ( 2017 ) [i32] 马宁德拉·阿格拉沃 , 迈克尔·A·福布斯 , Sumanta Ghosh公司 , 尼丁·萨克塞纳 :
小敲击为微小的算术电路或:如何把坏的设计变成好的。 CoRR公司 abs/1702.07180 ( 2017 ) [i31] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 尼古拉斯·斯普纳 :
零知识校验及其应用。 CoRR公司 abs/1704.02086 ( 2017 ) [i30] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
用于小代数电路闭包的击中集的PSPACE构造。 CoRR公司 abs/1712.09967 ( 2017 ) [i29] 马宁德拉·阿格拉沃 , 迈克尔·A·福布斯 , Sumanta Ghosh公司 , 尼丁·萨克塞纳 :
小型运算电路的小型冲击集或:如何将糟糕的设计变成好的。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [第28条] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 尼古拉斯·斯普纳 :
零知识Sumcheck及其应用。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i27] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
用于小代数电路闭包的击中集的PSPACE构造。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i26] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
简洁碰撞集和代数电路下界证明的障碍。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i25] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 尼古拉斯·斯普纳 :
零知识Sumcheck及其应用。 IACR加密。 电子打印架构。 2017 : 305 ( 2017 ) 2016 [第10条] 马修·安德森 , 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
Read-k遗忘代数分支程序的恒等式检验和下界。 CCC公司 2016 : 30:1-30:25 【c9】 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 伊多·萨默雷 , 阿维·威格德森 :
从代数电路复杂性证明复杂性下限。 CCC公司 2016 : 32:1-32:17 【c8】 迈克尔·A·福布斯 , 姆里纳尔·库马尔 , Ramprasad Saptharishi公司 :
算术电路的函数下限和布尔电路复杂性的联系。 CCC公司 2016 : 33:1-33:19 【i24】 迈克尔·A·福布斯 , 姆里纳尔·库马尔 , 拉姆普拉萨德·萨普塔里希 :
算术电路和布尔电路复杂性连接的函数下限。 CoRR公司 abs/1605.04207 ( 2016 ) [第23条] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 伊多·萨默雷 , 阿维·威格德森 :
从代数电路复杂性证明复杂性下限。 CoRR公司 abs/1606.05050 ( 2016 ) [i22] 埃利·本·萨森 , 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 阿里尔·加比松 , 迈克尔·里亚布泽夫 , 尼古拉斯·斯普纳 :
论完全零知识中的概率检验。 CoRR公司 abs/1610.03798 ( 2016 ) [i21] 埃利·本·萨森 , 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 阿里尔·加比松 , 迈克尔·里亚布泽夫 , 尼古拉斯·斯普纳 :
论完全零知识中的概率检验。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) [i20] 迈克尔·A·福布斯 , 姆里纳尔·库马尔 , Ramprasad Saptharishi公司 :
算术电路和布尔电路复杂性连接的函数下限。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) [i19] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 , 伊多·萨默雷 , 阿维·威格德森 :
从代数电路复杂性证明复杂性下限。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) [i18] 埃利·本·萨森 , 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 , 阿里尔·加比松 , 迈克尔·里亚布泽夫 , 尼古拉斯·斯普纳 :
关于完全零知识中的概率检验。 IACR加密。 电子打印架构。 2016 : 988 ( 2016 ) 2015 【j4】 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
复杂性理论专栏88:多项式因子分解的挑战1。 SIGACT新闻 46 ( 4 ) : 32-49 ( 2015 ) 【c7】 迈克尔·A·福布斯 , 文卡特桑·古鲁斯瓦米 :
通过秩冷凝器的尺寸扩展器。 近似距离 2015 : 800-814 【c6】 迈克尔·A·福布斯 :
通过移位偏导数进行确定性可分性检验。 光纤通信系统 2015 : 451-465 [i17] 马修·安德森 , 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
Read-$k$遗忘代数分支程序的身份测试和下限。 CoRR公司 abs/1511.07136 ( 2015 ) [i16] 马修·安德森 , 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 , 本·李·沃尔克 :
身份测试和读取下限- k个 遗忘代数分支程序。 电子。 计算机学术讨论会。 复杂。 第15页 ( 2015 ) 2014 【b1】 迈克尔·A·福布斯 :
只读不经意代数分支程序的多项式身份测试。 麻省理工学院,剑桥,马萨诸塞州,美国, 2014 [j3] 迈克尔·A·福布斯 , 谢尔盖·叶卡宁 :
非线性码中码字符号的局部性。 谨慎。 数学。 324 : 78-84 ( 2014 ) 【c5】 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 :
任意顺序的多线性只读代数分支程序的命中集。 STOC公司 2014 : 867-875 【i15】 迈克尔·A·福布斯 , 文卡特桑·古鲁斯瓦米 :
通过秩冷凝器的尺寸扩展器。 CoRR公司 abs/1411.7455 ( 2014 ) [第14条] 迈克尔·A·福布斯 , 文卡特桑·古鲁斯瓦米 :
通过秩冷凝器的尺寸扩展器。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) 2013 [注2] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 :
使用多个校准器改进QMA的稳健性。 别致。 J.西奥。 计算。 科学。 2013 ( 2013 ) 【c4】 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
通过多项式恒等式检验实现同时共轭的显式Noether归一化。 近似距离 2013 : 527-542 【c3】 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
非交换和一次性不经意代数分支程序的拟多项式时间一致性测试。 焦点 2013 : 243-252 [i13] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
通过多项式恒等性测试实现同步共轭的显式Noether归一化。 CoRR公司 abs/1303.0084 ( 2013 ) [i12] 迈克尔·A·福布斯 , 谢尔盖·叶卡宁 :
非线性码中码字符号的局部性。 CoRR公司 abs/1303.3921 ( 2013 ) [i11] 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 :
任意顺序的多线性只读代数分支程序的伪随机性。 CoRR公司 abs/1309.5668 ( 2013 ) [i10] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
通过多项式恒等性测试实现同步共轭的显式Noether归一化。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) [第九章] 迈克尔·A·福布斯 , Ramprasad Saptharishi公司 , 阿米尔·什皮尔卡 :
任意顺序的多线性只读代数分支程序的伪随机性。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 【c2】 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
关于张量的一致性测试、低阶恢复和压缩感知。 STOC公司 2012 : 163-172 [i8] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
非交换和一次性不经意代数分支程序的拟多项式时间一致性测试。 CoRR公司 abs/1209.2408 ( 2012 ) [i7] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
非交换和一次性不经意代数分支程序的拟多项式时间一致性测试。 电子。 计算机学术讨论会。 复杂。 12号机房 ( 2012 ) 2011 [j1] 吉姆·劳伦斯 , 拉胡·卡克 , 于磊 , D.理查德·库恩 , 迈克尔·A·福布斯 :
二进制覆盖阵列综述。 电子。 J.库姆。 18 ( 1 ) ( 2011 ) 【c1】 鲍里斯·阿列克谢夫 , 迈克尔·A·福布斯 , 雅各布·齐默曼 :
张量秩:一些下限和上限。 CCC公司 2011 : 283-291 [i6] 鲍里斯·阿列克谢夫 , 迈克尔·A·福布斯 , 雅各布·齐默曼 :
张量秩:一些下限和上限。 CoRR公司 abs/1102.0072 ( 2011 ) [i5] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 :
使用多个校准器改进QMA的稳健性。 CoRR公司 abs/1108.2098 ( 2011 ) [i4] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
关于张量、低阶恢复和压缩传感的一致性测试。 CoRR公司 abs/1111.0663 ( 2011 ) [i3] 鲍里斯·阿列克谢夫 , 迈克尔·A·福布斯 , 雅各布·齐默曼 :
张量秩:一些下限和上限。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) [i2] 亚历山德罗·基耶萨 , 迈克尔·A·福布斯 :
使用多个校验器改进QMA的稳健性。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) [i1] 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
关于张量、低阶恢复和压缩传感的一致性测试。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)