本杰明·罗斯曼
人员信息
优化列表
2020年–今天
2024 [公元30年] 本杰明·罗斯曼 :
迭代子置换矩阵乘法的公式大小深度权衡。 STOC公司 2024 : 1386-1395 2023 [公元21年] 迪潘舒库什 , 本杰明·罗斯曼 :
树深度与子图同构的公式复杂性。 SIAM J.计算。 52 ( 1 ) : 273-325 ( 2023 ) [公元29年] 威廉·何 , 本杰明·罗斯曼 :
置换乘积的对称公式。 国际贸易中心 2023 : 68:1-68:23 2022 [公元20年] 布鲁诺·帕斯夸洛托·卡瓦拉尔 , 姆里纳尔·库马尔 , 本杰明·罗斯曼 :
稳健向日葵的单音电路下限。 算法 84 ( 12 ) : 3655-3685 ( 2022 ) [i27] 威廉·何 , 本杰明·罗斯曼 :
置换乘积的对称公式。 CoRR公司 abs/2211.15520 ( 2022 ) 2021 [公元28年] 本杰明·罗斯曼 :
决策列表和DNF公式的缩减。 国际贸易中心 2021 : 70:1-70:14 2020 [公元27年] 迪潘舒库什 , 本杰明·罗斯曼 :
子图同构的树深度和公式复杂性。 光纤通信系统 2020 : 31-42 [公元26年] 布鲁诺·帕斯夸洛托·卡瓦拉尔 , 姆里纳尔·库马尔 , 本杰明·罗斯曼 :
稳健向日葵的单音电路下限。 拉丁语 2020 : 311-322 [公元25年] 本杰明·罗斯曼 :
$\mathbb子空间格中的阈值 {F} (_q) ^新币。 拉丁语 2020 : 504-515 [i26] 迪潘舒库什 , 本杰明·罗斯曼 :
树的深度和子图同构的公式复杂性。 CoRR公司 abs/2004.13302 ( 2020 ) [i25] 布鲁诺·帕斯夸洛托·卡瓦拉尔 , 姆里纳尔·库马尔 , 本杰明·罗斯曼 :
稳健向日葵的单音电路下限。 CoRR公司 abs/2012.03883 ( 2020 ) 【i24】 本杰明·罗斯曼 :
决策列表和DNF公式的缩减。 CoRR公司 腹肌/2012.05132 ( 2020 ) [第23条] 布鲁诺·帕斯夸洛托·卡瓦拉尔 , 姆里纳尔·库马尔 , 本杰明·罗斯曼 :
稳健向日葵的单音电路下限。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [i22] 迪潘舒·库什 , 本杰明·罗斯曼 :
子图同构的树深度和公式复杂性。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) 【i21】 本杰明·罗斯曼 :
决策列表和DNF公式的缩减。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 )
2010 – 2019
2019 [公元19年] 本杰明·罗斯曼 :
子空间非变量AC00^0公式。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) [公元18年] 本杰明·罗斯曼 , 斯里坎斯·斯里尼瓦桑 :
AC的分离 0 公式和电路。 理论计算。 15 : 1-20 ( 2019 ) [公元24年] 本杰明·罗斯曼 :
正则公式的关键性。 CCC公司 2019 : 1:1-1:28 [i20] 本杰明·罗斯曼 :
(F)子空间格上的阈值 q个 ) n个 . CoRR公司 腹肌/1910.00656 ( 2019 ) 2018 [公元17年] 本杰明·罗斯曼 :
有界深度公式的平均灵敏度。 计算。 复杂。 27 ( 2 ) : 209-223 ( 2018 ) [公元16年] 本杰明·罗斯曼 :
小距离连接的公式与电路。 SIAM J.计算。 47 ( 5 ) : 1986-2028 ( 2018 ) 【c23】 川崎敬一 , 本杰明·罗斯曼 :
Treedepth的多项式排除次逼近。 SODA公司 2018 : 234-246 [i19] 本杰明·罗斯曼 :
子空间非变量AC 0 公式。 CoRR公司 abs/1806.04831 ( 2018 ) 2017 [j15] 约翰·霍斯塔德 , 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
布尔电路的平均情况深度层次定理。 J.ACM公司 64 ( 5 ) : 35:1-35:27 ( 2017 ) [公元14年] 川崎骏 , 本杰明·罗斯曼 , 渡边修(Osamu Watanabe) :
证人发现的查询复杂性。 理论计算。 系统。 61 ( 2 ) : 305-321 ( 2017 ) [j13] 袁丽(音) , 亚历山大·拉兹博罗夫 , 本杰明·罗斯曼 :
在AC上 0 子图同构的复杂性。 SIAM J.计算。 46 ( 三 ) : 936-971 ( 2017 ) [公元22年] 本杰明·罗斯曼 , 斯里坎斯·斯里尼瓦桑 :
AC^0[oplus]公式和电路的分离。 ICALP公司 2017 : 50:1-50:13 【c21】 本杰明·罗斯曼 :
子空间非变AC^0公式。 ICALP公司 2017 : 93:1-93:11 [公元20年] 本杰明·罗斯曼 :
改进的电路复杂性下界同态保持定理。 国际贸易中心 2017 : 27:1-27:17 [i18] 本杰明·罗斯曼 , 斯里坎斯·斯里尼瓦桑 :
AC$^0[\oplus]$公式和电路的分离。 CoRR公司 abs/1702.03625 ( 2017 ) [i17] 本杰明·罗斯曼 , 斯里坎斯·斯里尼瓦桑 :
AC的分离 0 [ɋ]公式和电路。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) 2016 [公元12年] 本杰明·罗斯曼 :
从电路复杂度的下界提出了一个改进的同态保持定理。 ACM SIGLOG新闻 三 ( 4 ) : 33-46 ( 2016 ) [第19条] 罗伯特·罗伯尔 , 托尼安·皮塔西 , 本杰明·罗斯曼 , 史提芬·古克 :
单调跨度程序的指数下限。 光纤通信系统 2016 : 406-415 [第18条] 托尼安·皮塔西 , 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
通过扩展器切换引理得到多进制Frege深度下限。 STOC公司 2016 : 644-657 [i16] 本杰明·罗斯曼 :
改进的电路复杂性下界同态保持定理。 CoRR公司 abs/1612.08192 ( 2016 ) 【i15】 史提芬·古克 , 托尼安·皮塔西 , 罗伯特·罗伯尔 , 本杰明·罗斯曼 :
单调跨度程序的指数下限。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) [i14] 本杰明·罗斯曼 :
改进的电路复杂性下界同态保持定理。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 [公元11年] 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
复杂性理论专栏89:多项式层次、随机预言和布尔电路。 SIGACT新闻 46 ( 4 ) : 50-68 ( 2015 ) [第17条] 本杰明·罗斯曼 :
单调NC^1的相关界限。 CCC公司 2015 : 392-411 [第16条] 本杰明·罗斯曼 :
有界深度公式的平均灵敏度。 光纤通信系统 2015 : 424-430 [第15条] 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
布尔电路的平均情况深度层次定理。 光纤通信系统 2015 : 1030-1048 [i13] 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
布尔电路的平均情况深度层次定理。 CoRR公司 腹肌/1504.03398 ( 2015 ) [i12] 本杰明·罗斯曼 :
有界深度公式的平均灵敏度。 CoRR公司 abs/1508.07677 ( 2015 ) [i11] 本杰明·罗斯曼 :
有界深度公式的平均灵敏度。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) [i10] 本杰明·罗斯曼 , 洛科·A·塞韦迪奥 , 李阳潭 :
布尔电路的平均情况深度层次定理。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2014 [公元10年] 本杰明·罗斯曼 :
随机图上k-团的单调复杂性。 SIAM J.计算。 43 ( 1 ) : 256-279 ( 2014 ) [第14条] 川崎骏 , 本杰明·罗斯曼 , 渡边修(Osamu Watanabe) :
证人查找的查询复杂性。 企业社会责任 2014 : 218-231 [第13条] 袁丽(音) , 亚历山大·拉兹博罗夫 , 本杰明·罗斯曼 :
关于子图同构的AC0复杂性。 光纤通信系统 2014 : 344-353 [第12条] 本杰明·罗斯曼 :
小距离连接的公式与电路。 STOC公司 2014 : 203-212 [第九章] 袁丽(音) , 亚历山大·拉兹博罗夫 , 本杰明·罗斯曼 :
在AC上 0 子图同构的复杂性。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) 2013 [i8] 本杰明·罗斯曼 :
小距离连接的公式与电路。 CoRR公司 abs/1312.0355 ( 2013 ) [i7] 本杰明·罗斯曼 :
小距离连接的公式与电路。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 [第11条] 本杰明·罗斯曼 :
有序图上平均情形k-团的变量个数的紧上界。 沃尔利克 2012 : 282-290 [i6] 川崎骏 , 本杰明·罗斯曼 , 渡边修(Osamu Watanabe) :
见证查找算法的查询复杂性和容错性。 电子。 计算机学术讨论会。 复杂。 12号机房 ( 2012 ) 2011 [公元9年] 纳粹党徽Kopparty , 本杰明·罗斯曼 :
同态控制指数。 Eur.J.库姆。 32 ( 7 ) : 1097-1114 ( 2011 ) 2010 【b1】 本杰明·罗斯曼 :
检测团的平均案例复杂性。 麻省理工学院,剑桥,马萨诸塞州,美国, 2010 [第10条] 本杰明·罗斯曼 :
选择性计算与对称。 逻辑与计算领域 2010 : 565-580 【c9】 本杰明·罗斯曼 :
随机图上k-团的单调复杂性。 光纤通信系统 2010 : 193-201 [电子1] 本杰明·罗斯曼 , 托马斯·施温蒂克 , 丹尼斯·塞利安 , 赫里贝特·沃尔默 :
电路、逻辑和游戏,07.02 12.02.2010. 达格斯图尔研讨会记录 10061, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2010 [目录] [i5] 本杰明·罗斯曼 , 托马斯·施温蒂克 , 丹尼斯·塞利安 , 赫里贝特·沃尔默 :
10061摘要集-电路、逻辑和游戏。 电路、逻辑和游戏 2010 [i4] 本杰明·罗斯曼 , 托马斯·施文蒂克 , 丹尼斯·塞利安 , 赫里贝特·沃尔默 :
10061执行摘要-电路、逻辑和游戏。 电路、逻辑和游戏 2010
2000 – 2009
2009 [j8] 埃里克·D·德迈恩 , 谢伊·莫泽斯 , 本杰明·罗斯曼 , 奥伦·魏曼 :
树编辑距离的最优分解算法。 ACM事务处理。 算法 6 ( 1 ) : 2:1-2:19 ( 2009 ) 【c8】 本杰明·罗斯曼 :
组合Ehrenfeucht-Fraísse Games。 低收入国家 2009 : 331 【c7】 本杰明·罗斯曼 :
随机结构上的Ehrenfeucht-Fraíssé博弈。 沃尔利克 2009 : 350-364 2008 [j7] 阿努杰·达瓦尔 , 大卫·里切比 , 本杰明·罗斯曼 :
无选择多项式时间、计数和Cai-Fürer-Immerman图。 Ann.纯粹应用。 日志。 152 ( 1-3 ) : 31-50 ( 2008 ) [j6] 本杰明·罗斯曼 :
同态保持定理。 J.ACM公司 55 ( 三 ) : 15:1-15:53 ( 2008 ) 【c6】 本杰明·罗斯曼 :
关于k-团的恒深复杂性。 STOC公司 2008 : 721-730 2007 [j5] 本杰明·罗斯曼 :
有限结构上的后继变一阶逻辑。 J.塞姆。 日志。 72 ( 2 ) : 601-618 ( 2007 ) 【j4】 安德烈亚斯·布拉斯 , 尤里·古雷维奇 , 罗森茨威格院长 , 本杰明·罗斯曼 :
交互式小步算法I:公理化。 日志。 方法计算。 科学。 三 ( 4 ) ( 2007 ) [j3] 安德烈亚斯·布拉斯 , 尤里·古雷维奇 , 罗森茨威格院长 , 本杰明·罗斯曼 :
交互式小步算法II:抽象状态机和特征定理。 日志。 方法计算。 科学。 三 ( 4 ) ( 2007 ) 【c5】 埃里克·D·德曼 , 谢伊·莫泽斯 , 本杰明·罗斯曼 , 奥伦·魏曼 :
树编辑距离的最优分解算法。 ICALP公司 2007 : 146-157 [i3] 安德烈亚斯·布拉斯 , 尤里·古雷维奇 , 罗森茨威格院长 , 本杰明·罗斯曼 :
交互式小步算法I:公理化。 CoRR公司 abs/0707.3782 ( 2007 ) [i2] 安德烈亚斯·布拉斯 , 尤里·古雷维奇 , 罗森茨威格院长 , 本杰明·罗斯曼 :
交互式小步算法II:抽象状态机和特征定理。 CoRR公司 abs/0707.3789 ( 2007 ) 2006 [i1] 埃里克·D·德曼 , 谢伊·莫泽斯 , 本杰明·罗斯曼 , 奥伦·魏曼 :
树编辑距离的O(n^3)-时间算法。 CoRR公司 abs/cs/0604037 ( 2006 ) 2005 [注2] 安德烈亚斯·布拉斯 , 本杰明·罗斯曼 :
具有扩展属性的显式图。 牛市。 EATCS公司 86 : 166-175 ( 2005 ) [j1] 尤里·古雷维奇 , 本杰明·罗斯曼 , 沃尔夫拉姆·舒尔特 :
AsmL的语义本质。 理论。 计算。 科学。 343 ( 三 ) : 370-412 ( 2005 ) 【c4】 本杰明·罗斯曼 :
存在正类型与同胚下的保持。 低收入国家 2005 : 467-476 【c3】 阿努杰·达瓦尔 , 大卫·理查德比 , 本杰明·罗斯曼 :
无选择多项式时间,计数和Cai-Fürer-Immerman图:(扩展抽象)。 沃尔利克 2005 : 13-26 2003 【c2】 尤里·古雷维奇 , 本杰明·罗斯曼 , 沃尔夫拉姆·舒尔特 :
AsmL的语义本质。 FMCO公司 2003 : 240-259 [c1] 本杰明·罗斯曼 :
有限中的后继不等式。 低收入国家 2003 : 148-