或迈尔
人员信息
附属： 以色列海法大学计算机科学系 附属： 以色列Rehovot魏兹曼科学研究所
其他同名人员
优化列表
2020年–今天
2024 
[公元21年] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
通过提升的KRW合成定理。 计算。 复杂。 33 ( 1 ) : 4 ( 2024 ) [公元36年] 亚赫尔庄园 , 或迈尔 :
多项式差分内函数的提升。 CoRR公司 abs/2404.07606 ( 2024 ) [i35] 亚赫尔庄园 , 或迈尔 :
多项式差分内函数的提升。 电子。 计算机学术讨论会。 复杂。 24号机房 : TR24-071号机组 ( 2024 ) 2023 [第16条] 或迈尔 :
走向更好的深度下限：强合成的类KRW定理。 光纤通信系统 2023 : 1056-1081 [i34] 或迈尔 :
走向更好的深度下限：强合成的类KRW定理。 CoRR公司 腹肌/2306.00615 ( 2023 ) [i33] 或迈尔 :
走向更好的深度下限：强合成的类KRW定理。 电子。 计算机学术讨论会。 复杂。 第二十三条 ( 2023 ) 2022 [第15条] 亚赫尔庄园 , 或迈尔 
:
多项式差分内函数的提升。 近似/随机 2022 : 26:1-26:17 2021 [公元20年] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 罗伯特·罗伯尔 :
Nullstellensatz Size-Degree权衡可逆卵石。 计算。 复杂。 30 ( 1 ) : 4 ( 2021 ) [j19] 阿尔卡德夫·查托帕迪耶 , Yuval Filmus公司 , 萨金·科洛特 , 或迈尔 , 托尼安·皮塔西 :
使用低损耗小工具进行查询通信吊装。 SIAM J.计算。 50 ( 1 ) : 171-210 ( 2021 ) [第14条] Yuval Filmus公司 , 或迈尔 , Avishay Tal公司 :
随机投影下的收缩率和AC0的三次公式下限（扩展抽象）。 国际贸易中心 2021 : 89:1-89:7 2020 [公元18年] 或迈尔 :
走向更好的深度下限：关于乘法器关系的两个结果。 计算。 复杂。 29 ( 1 ) : 4 ( 2020 ) [第13条] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 , 马克·维尼亚尔斯 :
用简单的小工具提升电路和证明复杂性的应用。 光纤通信系统 2020 : 24-30 [第12条] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
通过提升的KRW合成定理。 光纤通信系统 2020 : 43-49 [第1页] 密码学基础 , 或迈尔 :
在分配测试人员的差距放大中缩小一个小差距。 计算复杂性和性能测试 2020 : 9-16 [i32] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 , 马克·维尼亚尔斯 :
用简单的小工具提升电路和证明复杂性的应用。 CoRR公司 abs/2001.02144 ( 2020 ) [i31] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 罗伯特·罗伯尔 :
Nullstellensatz Size-Degree权衡可逆卵石。 CoRR公司 abs/2001.02481 ( 2020 ) [i30] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
通过提升的KRW合成定理。 CoRR公司 abs/2007.02740 ( 2020 ) [i29] Yuval Filmus公司 , 或迈尔 , 阿维沙伊·塔尔 :
随机投影下的收缩和AC的三次公式下限 0 . CoRR公司 abs/2012.02210 ( 2020 ) [第28条] Yuval Filmus公司 , 或迈尔 , 阿维沙伊·塔尔 :
随机投影下的收缩和AC的三次公式下限 0 . 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [i27] 或迈尔 , 雅各布·诺德斯特伦 , 罗伯特·罗伯尔 , 苏珊娜·德·雷泽德 :
Nullstellensatz Size-Degree权衡可逆卵石。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [i26] 苏珊娜·德·雷泽德 , 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
通过提升的KRW合成定理。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 )
2010 – 2019
2019 [公元17年] 或迈尔 , 阿维·维格德森 :
从部分信息和后见进行预测，并应用于电路下限。 计算。 复杂。 28 ( 2 ) : 145-183 ( 2019 ) [公元16年] 或迈尔 :
布尔函数的去随机合成。 计算。 复杂。 28 ( 4 ) : 661-708 ( 2019 ) [公元15年] Irit恐龙 , 或迈尔 , 纳粹党徽Kopparty :
第五十七届IEEE计算机科学基础年会（FOCS 2016）专题部分。 SIAM J.计算。 48 ( 2 ) : 451 ( 2019 ) [第11条] 苏珊娜·德·雷泽德 , 雅各布·诺德斯特伦 , 或迈尔 , 罗伯特·罗伯尔 :
Nullstellensatz Size-Degree权衡可逆卵石。 CCC公司 2019 : 18:1-18:16 [第10条] 阿尔卡德夫·查托帕迪耶 , Yuval Filmus公司 , 萨金·科洛特 , 或迈尔 , 托尼安·皮塔西 :
使用内部产品的BPP的查询-通信吊装。 ICALP公司 2019 : 35:1-35:15 [i25] 阿尔卡德夫·查托帕迪耶 , Yuval Filmus公司 , 萨金·科洛特 , 或迈尔 , 托尼安·皮塔西 :
使用内部产品对BPP进行查询通信提升。 CoRR公司 abs/1904.13056 ( 2019 ) 【i24】 阿尔卡德夫·查托帕迪耶 , Yuval Filmus公司 , 萨金·科洛特 , 或迈尔 , 托尼安·皮塔西 :
使用低差异小工具查询通信提升。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) [第23条] 或迈尔 :
走向更好的深度下限：关于乘法器关系的两个结果。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) [i22] 或迈尔 , 雅各布·诺德斯特伦 , 托尼安·皮塔西 , 罗伯特·罗伯尔 , 苏珊娜·德·雷泽德 :
用简单的小工具提升，以及在电路和证明复杂性方面的应用。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2018 [公元14年] Irit恐龙 , 或迈尔 :
朝向KRW合成猜想：通过通信复杂性的三次公式下限。 计算。 复杂。 27 ( 三 ) : 375-462 ( 2018 ) [j13] 或迈尔 , 阿维沙伊·塔尔 :
随机函数的选择和一致性问题。 Inf.流程。 莱特。 133 : 16-20 ( 2018 ) [公元12年] 或迈尔 :
普遍关系的直接总和。 Inf.流程。 莱特。 136 : 105-111 ( 2018 ) 【c9】 萨金·科洛特 , 或迈尔 :
改进的函数和关系合成定理。 近似距离 2018 : 48:1-48:18 2017 [公元11年] 纳粹党徽Kopparty , 或迈尔 , 诺加·罗恩·泽维 , Shubhangi Saraf公司 :
具有子多项式查询复杂性的高速局部可纠正和局部可测试代码。 美国临床医学杂志 64 ( 2 ) : 11:1-11:42 ( 2017 ) [公元10年] 德米特里·加文斯基 , 或迈尔 , 欧姆里·温斯坦 , 阿维·威格德森 :
走向更好的公式下限：函数的构成和泛关系。 SIAM J.计算。 46 ( 1 ) : 114-131 ( 2017 ) 【i21】 或迈尔 :
普遍关系的直接和。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i20] 或迈尔 :
一种有效的两轮Karchmer-Wigderson关系的随机化协议。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i19] 或迈尔 :
布尔函数的去随机合成。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i18] 或迈尔 , 阿维沙伊·塔尔 :
随机函数的选择与一致性问题。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i17] 或者梅尔 , 阿维·威格德森 :
从部分信息和后见进行预测，并应用于电路下限。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) 2016 [j9] 或迈尔 :
具有短证明的组合PCP。 计算。 复杂。 25 ( 1 ) : 1-102 ( 2016 ) [j8] 埃利·本·萨森 , 尤海·卡普兰 , 纳粹党徽Kopparty , 或迈尔 , 亨宁·斯蒂奇特诺思 :
具有次线性查询复杂性的电路SAT的恒速PCP。 美国临床医学杂志 63 ( 4 ) : 32:1-32:57 ( 2016 ) 【c8】 Irit恐龙 , 或迈尔 :
朝向KRW合成猜想：通过通信复杂性的三次公式下限。 CCC公司 2016 : 3:1-3:51 【c7】 纳粹党徽Kopparty , 或迈尔 , 诺加·隆·泽维 , Shubhangi Saraf公司 :
具有子多项式查询复杂性的高速局部可纠正和局部可测试代码。 STOC公司 2016 : 202-215 [i16] Irit恐龙 , 或迈尔 :
朝向KRW合成猜想：通过通信复杂性的三次公式下限。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 [j7] 密码学基础 , 或迈尔 :
P/poly上的输入允许证明系统和统一复杂性观点。 ACM事务处理。 计算。 理论 7 ( 4 ) : 16:1-16:13 ( 2015 ) 【i15】 纳粹党徽Kopparty , 或迈尔 , 诺加·隆·泽维 , Shubhangi Saraf公司 :
具有子多项式查询复杂性的高速本地可纠正和本地可测试代码。 CoRR公司 abs/1504.05653 ( 2015 ) [第14条] 纳粹党徽Kopparty , 或迈尔 , 诺加·隆·泽维 , Shubhangi Saraf公司 :
具有准多对数查询复杂性的高速局部可测代码。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2014 [j6] 或迈尔 :
具有高效验证程序的组合PCP。 计算。 复杂。 23 ( 三 ) : 355-478 ( 2014 ) 【c6】 德米特里·加文斯基 , 或迈尔 , 欧姆里·温斯坦 , 阿维·威格德森 :
朝向更好的公式下限：KRW组合猜想的信息复杂性方法。 STOC公司 2014 : 213-222 [i13] 或迈尔 :
接近单点界的局部可纠正和可测试代码。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) 2013 [j5] 或迈尔 :
IP=PSPACE使用纠错代码。 SIAM J.计算。 42 ( 1 ) : 380-403 ( 2013 ) 【c5】 埃利·本·萨森 , 尤海·卡普兰 , 纳粹党徽Kopparty , 或迈尔 , 亨宁·斯蒂奇特诺思 :
具有次线性查询复杂性的电路SAT的恒速PCP。 光纤通信系统 2013 : 320-329 [i12] 埃利·本·萨森 , 尤海·卡普兰 , 纳粹党徽Kopparty , 或迈尔 , 亨宁·斯蒂奇特诺思 :
具有次线性查询复杂性的circuit-SAT的恒速PCP。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) [i11] 德米特里·加文斯基 , 或迈尔 , 欧姆里·温斯坦 , 阿维·威格德森 :
走向更好的公式下限：KRW合成猜想的信息复杂性方法。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) [i10] 或迈尔 :
具有短证明的组合PCP。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 【j4】 或迈尔 :
关于张量积稳健性证明中的矩形方法。 Inf.流程。 莱特。 112 ( 6 ) : 257-260 ( 2012 ) [j3] 密码学基础 , 或迈尔 :
两个好码的张量积不一定是可测的。 Inf.流程。 莱特。 112 ( 8-9 ) : 351-355 ( 2012 ) 【c4】 或迈尔 :
具有短证明的组合PCP。 CCC公司 2012 : 345-355 2011 [注2] Irit恐龙 , 或迈尔 :
通过结构化PCP的去随机并行重复。 计算。 复杂。 20 ( 2 ) : 207-327 ( 2011 ) [第九章] 密码学基础 , 或迈尔 :
P/poly上的输入允许证明系统和统一复杂性观点。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) [i8] 或迈尔 :
组合PCP与高效验证器。 电子。 计算机学术讨论会。 复杂。 11号机房 ( 2011 ) 2010 【c3】 Irit恐龙 , 或迈尔 :
结构化PCP的去随机并行重复。 CCC公司 2010 : 16-27 [i7] 爱尔兰第纳尔 , 或迈尔 :
结构化PCP的去随机并行重复。 CoRR公司 abs/1002.1606 ( 2010 ) [i6] Irit恐龙 , 或迈尔 :
通过结构化PCP的去随机并行重复。 电子。 计算机学术讨论会。 复杂。 10号机房 ( 2010 ) [i5] 或迈尔 :
IP=使用纠错代码的PSPACE。 电子。 计算机学术讨论会。 复杂。 10号机房 ( 2010 )
2000 – 2009
2009 [j1] 或迈尔 :
局部可测试码的组合构造。 SIAM J.计算。 39 ( 2 ) : 491-544 ( 2009 ) 【c2】 或迈尔 :
具有高效验证程序的组合PCP。 光纤通信系统 2009 : 463-471 2008 【c1】 或迈尔 :
局部可测试代码的组合构造。 STOC公司 2008 : 285-294 [i4] 或迈尔 :
非一致PCPP验证程序的效率。 电子。 计算机学术讨论会。 复杂。 08土耳其里拉 ( 2008 ) 2007 [i3] 密码学基础 , 或迈尔 :
两个好码的张量积不一定是鲁棒可测的。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 ) [i2] 或迈尔 :
张量积稳健性证明中的矩形方法。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 ) [i1] 或迈尔 :
局部可测试码的组合构造。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 )
合著者索引
