拉里·斯托克梅耶
人员信息
奖项(2007年): 迪克斯特拉奖
优化列表
2000 – 2009
2006 [公元34年] 米克洛斯·阿杰泰 , 辛提亚·沃克 , 拉里·斯托克梅耶 :
可证明安全计算的体系结构。 拉丁语 2006 : 56-67 2004 [公元51年] 郑天豪 , 拉里·斯托克梅耶 :
网格连接并行计算机容错虫洞路由的一种新方法。 IEEE传输。 计算机 53 ( 4 ) : 427-439 ( 2004 ) 2003 [约50] 辛提亚·沃克 , 莫尼·纳尔 , 奥马尔·莱因戈尔德 , 拉里·斯托克梅耶 :
魔法函数。 美国临床医学杂志 50 ( 6 ) : 852-921 ( 2003 ) [j49] Randal C.Burns公司 , 拉里·斯托克梅耶 , 达雷尔·D·E·朗 :
版本差异的就地重建。 IEEE传输。 知识。 数据工程。 15 ( 4 ) : 973-984 ( 2003 ) 2002 [公元48年] 米克洛斯·阿杰泰 , Randal C.Burns公司 , 罗纳德·费金 , 达雷尔·D·E·朗 , 拉里·斯托克梅耶 :
使用差分压缩对非结构化输入进行紧凑编码。 美国临床医学杂志 49 ( 三 ) : 318-367 ( 2002 ) [公元47年] 拉里·斯托克梅耶 , 阿尔伯特·梅耶 :
宇宙学下限是关于逻辑电路复杂性的一个小问题。 美国临床医学杂志 49 ( 6 ) : 753-784 ( 2002 ) [公元46年] 拉里·斯托克梅耶 , Dharmendra S.Modha公司 :
复杂性理论和约束块编码之间的联系。 IEEE传输。 Inf.理论 48 ( 1 ) : 59-88 ( 2002 ) [公元33年] 郑天豪 , 拉里·斯托克梅耶 :
网格连接并行计算机容错虫洞路由的一种新方法。 IPDPS公司 2002 [公元32年] 辛提亚·沃克 , 拉里·斯托克梅耶 :
2轮零知识和证明审计师。 STOC公司 2002 : 322-331 2001 [j45] Randal C.Burns公司 , 罗伯特·M·里斯 , 拉里·斯托克梅耶 , 达雷尔·D·E·朗 :
分布式文件系统的可扩展会话锁定。 线索。 计算。 4 ( 4 ) : 295-306 ( 2001 ) [公元31年] 拉里·斯托克梅耶 , Dharmendra S.Modha公司 :
复杂性理论和约束块编码之间的联系。 CCC公司 2001 : 226-243 2000 [公元44年] 米克洛斯·阿杰泰 , 罗纳德·费金 , 拉里·斯托克梅耶 :
一元NP的闭包。 J.计算。 系统。 科学。 60 ( 三 ) : 660-716 ( 2000 )
1990 – 1999
1999 [公元30年] 辛提亚·沃克 , 莫尼·纳尔 , Omer Reingold公司 , 拉里·斯托克梅耶 :
魔法函数。 光纤通信系统 1999 : 523-534 1998 [公元43年] 罗纳德·费金 , 拉里·斯托克梅耶 :
放松模式匹配中的三角形不等式。 国际期刊计算。 视觉。 30 ( 三 ) : 219-231 ( 1998 ) [公元29年] 吉列尔莫·A·阿尔瓦雷斯 , 沃尔特·伯克哈德 , 拉里·斯托克梅耶 , 弗拉维乌·克里斯蒂安 :
具有最佳和近最佳并行性的分簇磁盘阵列体系结构。 国际标准协会 1998 : 109-120 [公元28年] 米克洛斯·阿杰泰 , 罗纳德·费金 , 拉里·斯托克梅耶 :
一元NP的闭包(扩展摘要)。 STOC公司 1998 : 309-318 1996 [公元42年] 大卫·M·崔 , 罗纳德·费金 , 拉里·斯托克梅耶 :
平衡数据分布的有效可扩展映射。 算法 16 ( 2 ) : 215-232 ( 1996 ) [公元41年] 阿兰·梅耶 , 拉里·斯托克梅耶 :
具有交错的PDL的复杂性。 西奥。 计算。 科学。 161 ( 1&2 ) : 109-122 ( 1996 ) 1995 [j40] 罗纳德·费金 , 拉里·斯托克梅耶 , 莫舍·瓦尔迪 :
关于Monadic NP与Monadic co-NP。 Inf.计算。 120 ( 1 ) : 78-92 ( 1995 ) [公元39年] 莫尼·纳尔 , 拉里·斯托克梅耶 :
什么可以在本地计算? SIAM J.计算。 24 ( 6 ) : 1259-1277 ( 1995 ) [公元27年] 阿兰·梅耶 , 莫尼·纳尔 , 拉里·斯托克梅耶 :
静态和动态图的局部计算(初步版本)。 ISTCS公司 1995 : 268-278 1994 [公元38年] 阿兰·梅耶 , 拉里·斯托克梅耶 :
单词问题的复杂性——这次是交错。 Inf.计算。 115 ( 2 ) : 293-311 ( 1994 ) [公元37年] 哈吉特·阿提亚 , 辛提亚·沃克 , 南希·A·林奇 , 拉里·斯托克梅耶 :
在时间不确定性存在的情况下,达成协议的时间受到限制。 美国临床医学杂志 41 ( 1 ) : 122-152 ( 1994 ) [公元36年] 诺加·艾伦 , 卡拉伊 , 莫蒂·瑞克林 , 拉里·斯托克梅耶 :
移动用户跟踪和分布式作业调度的竞争比率下限。 西奥。 计算。 科学。 130 ( 1 ) : 175-201 ( 1994 ) 1993 [c26] 罗纳德·费金 , 拉里·斯托克梅耶 , 莫舍·瓦尔迪 :
关于一元NP与一元co-NP(扩展摘要)。 SCT公司 1993 : 19-30 [公元25年] 莫尼·纳尔 , 拉里·斯托克梅耶 :
什么可以在本地计算? STOC公司 1993 : 184-193 1992 [j35] 辛提亚·沃克 , 拉里·斯托克梅耶 :
有限状态验证器I:交互的力量。 美国临床医学杂志 39 ( 4 ) : 800-828 ( 1992 ) [公元34年] 辛提亚·沃克 , 拉里·斯托克梅耶 :
有限状态验证器II:零知识。 美国临床医学杂志 39 ( 4 ) : 829-858 ( 1992 ) [c24] 诺加·艾伦 , 卡拉伊 , 莫蒂·瑞克林 , 拉里·斯托克梅耶 :
移动用户跟踪和分布式作业调度的竞争比率下限(扩展摘要)。 光纤通信系统 1992 : 334-343 1991 【c23】 哈吉特·阿提亚 , 辛提亚·沃克 , 南希·A·林奇 , 拉里·斯托克梅耶 :
在时间不确定性存在的情况下,达成协议的时间受到限制。 STOC公司 1991 : 359-369 1990 [公元33年] 辛提亚·沃克 , 大卫·B·什莫伊斯 , 拉里·斯托克梅耶 :
在恒定时间内进行有说服力的翻转。 SIAM J.计算。 19 ( 三 ) : 472-499 ( 1990 ) [公元32年] 辛提亚·沃克 , 拉里·斯托克梅耶 :
双向概率有限状态自动机的时间复杂性缺口。 SIAM J.计算。 19 ( 6 ) : 1011-1023 ( 1990 )
1980 – 1989
1989 [公元31年] 布莱恩·科恩 , 丹尼·多列夫 , 辛提亚·沃克 , 拉里·斯托克梅耶 :
分布式火力小组问题。 SIAM J.计算。 18 ( 5 ) : 990-1012 ( 1989 ) [公元22年] 辛提亚·沃克 , 拉里·斯托克梅耶 :
关于双向概率有限状态自动机的能力(扩展抽象)。 光纤通信系统 1989 : 480-485 1988 [j30] 辛提亚·沃克 , 南希·A·林奇 , 拉里·斯托克梅耶 :
部分同步存在下的共识。 美国临床医学杂志 35 ( 2 ) : 288-323 ( 1988 ) [公元29年] 辛提亚·沃克 , 巴黎C.Kanellakis , 拉里·斯托克梅耶 :
术语匹配的并行算法。 SIAM J.计算。 17 ( 4 ) : 711-731 ( 1988 ) 【c21】 辛提亚·沃克 , 拉里·斯托克梅耶 :
有限状态验证器的零知识。 密码 1988 : 71-75 1987 [公元28年] 丹尼·多列夫 , 辛提亚·沃克 , 拉里·斯托克梅耶 :
分布式共识所需的最小同步。 美国临床医学杂志 34 ( 1 ) : 77-97 ( 1987 ) [公元27年] 拉里·斯托克梅耶 :
对问题的计算复杂性进行分类。 J.塞姆。 日志。 52 ( 1 ) : 1-43 ( 1987 ) 1986 [公元20年] 辛提亚·沃克 , 巴黎C.卡内拉基斯 , 拉里·斯托克梅耶 :
术语匹配的并行算法。 CADE公司 1986 : 416-430 [第19条] 辛提亚·沃克 , 大卫·B·什莫伊斯 , 拉里·斯托克梅耶 :
在恒定的预期时间内进行有说服力的翻转(初步版本)。 光纤通信系统 1986 : 222-232 1985 [公元26年] 梅里克·L·福斯特 , 理查德·利普顿 , 拉里·斯托克梅耶 :
伪随机数的产生和空间复杂性。 信息控制。 64 ( 1-3 ) : 43-51 ( 1985 ) [公元25年] 拉里·斯托克梅耶 :
关于#P的近似算法。 SIAM J.计算。 14 ( 4 ) : 849-861 ( 1985 ) [公元24年] 罗纳德·费金 , 玛丽亚·M·克拉维 , 尼古拉斯·皮彭格 , 拉里·斯托克梅耶 :
对称函数的有界深度多项式尺寸电路。 西奥。 计算。 科学。 36 : 239-250 ( 1985 ) [第18条] 莫舍·瓦尔迪 , 拉里·斯托克梅耶 :
程序模态逻辑的改进上限和下限:初步报告。 STOC公司 1985 : 240-251 [第17条] 布赖恩·A·科恩 , 丹尼·多列夫 , 辛提亚·沃克 , 拉里·斯托克梅耶 :
分布式火力小组问题(初步版本)。 STOC公司 1985 : 335-345 [第16条] 赖瑞·卡特 , 拉里·斯托克梅耶 , 马克·韦格曼 :
回溯搜索的复杂性(初步版本)。 STOC公司 1985 : 449-457 1984 [公元23年] 理查德·拉德纳 , 拉里·斯托克梅耶 , 理查德·利普顿 :
交替有界辅助下推自动机。 信息控制。 62 ( 2/3 ) : 93-108 ( 1984 ) [公元22年] 尤里·古雷维奇 , 拉里·斯托克梅耶 , 乌兹·维什金 :
在几乎是树的图上求解NP-Hard问题及其在设施选址问题中的应用。 美国临床医学杂志 31 ( 三 ) : 459-473 ( 1984 ) [公元21年] 理查德·拉德纳 , 理查德·利普顿 , 拉里·斯托克梅耶 :
交替下推和叠加自动机。 SIAM J.计算。 13 ( 1 ) : 135-155 ( 1984 ) [公元20年] 拉里·斯托克梅耶 , 乌兹·维什金 :
通过电路模拟并行随机存取机。 SIAM J.计算。 13 ( 2 ) : 409-422 ( 1984 ) [公元19年] 阿肖克·K·钱德拉 , 拉里·斯托克梅耶 , 乌兹·维什金 :
恒定深度可还原性。 SIAM J.计算。 13 ( 2 ) : 423-439 ( 1984 ) [第15条] 辛提亚·沃克 , 南希·A·林奇 , 拉里·斯托克梅耶 :
部分同步存在下的共识(初步版本)。 PODC公司 1984 : 103-118 1983 [公元18年] 拉里·斯托克梅耶 :
分层平面设计中单元的最佳方向。 信息控制。 57 ( 2/3 ) : 91-101 ( 1983 ) [第14条] 梅里克·L·福斯特 , 理查德·利普顿 , 拉里·斯托克梅耶 :
伪随机数的产生和空间复杂性。 FCT公司 1983 : 171-176 [第13条] 丹尼·多列夫 , 辛提亚·沃克 , 拉里·斯托克梅耶 :
关于分布式共识所需的最小同步。 光纤通信系统 1983 : 393-402 [第12条] 拉里·斯托克梅耶 :
近似计数的复杂性(初步版本)。 STOC公司 1983 : 118-126 1982 [公元17年] 拉里·斯托克梅耶 , 维杰·瓦齐拉尼 :
最大匹配问题某些推广的NP-完全性。 信息处理。 莱特。 15 ( 1 ) : 14-19 ( 1982 ) [公元16年] 托马斯·奥特曼 , 阿诺德·罗森博格 , 拉里·斯托克梅耶 :
字典机(用于VLSI)。 IEEE传输。 计算机 31 ( 9 ) : 892-897 ( 1982 ) [第11条] 阿肖克·K·钱德拉 , 拉里·斯托克梅耶 , 乌兹·维什金 :
无限扇入并行的复杂性理论。 光纤通信系统 1982 : 1-13 1981 [公元15年] 阿肖克·K·钱德拉 , 德克斯特·科赞 , 拉里·斯托克梅耶 :
交替。 美国临床医学杂志 28 ( 1 ) : 114-133 ( 1981 ) 1980 [公元14年] 阿诺德·罗森博格 , 拉里·斯托克梅耶 , 劳伦斯·斯奈德 :
统一数据编码。 西奥。 计算。 科学。 11 : 145-165 ( 1980 )
1970 – 1979
1979 [j13] 拉里·斯托克梅耶 , 阿肖克·K·钱德拉 :
难度极高的组合游戏。 SIAM J.计算。 8 ( 2 ) : 151-174 ( 1979 ) [公元12年] 拉里·斯托克梅耶 , C.K.Wong先生 :
关于寻找两个关系交集的比较次数。 SIAM J.计算。 8 ( 三 ) : 388-404 ( 1979 ) 1978 [公元11年] 劳伦斯·寇 , 拉里·斯托克梅耶 , C.K.Wong先生 :
关于关键字冲突和交集图的团覆盖边。 Commun公司。 ACM公司 21 ( 2 ) : 135-139 ( 1978 ) [公元10年] 理查德·利普顿 , 拉里·斯托克梅耶 :
超预处理多项式的求值。 J.计算。 系统。 科学。 16 ( 2 ) : 124-139 ( 1978 ) [第10条] 理查德·拉德纳 , 理查德·利普顿 , 拉里·斯托克梅耶 :
交替下推自动装置(初步报告)。 光纤通信系统 1978 : 92-106 1977 [公元9年] 阿诺德·罗森博格 , 拉里·斯托克梅耶 :
有界可扩展阵列的存储方案。 信息学报 7 : 289-303 ( 1977 ) [j8] 阿诺德·罗森博格 , 拉里·斯托克梅耶 :
可扩展数组的散列方案。 美国临床医学杂志 24 ( 2 ) : 199-221 ( 1977 ) [j7] 拉里·斯托克梅耶 :
关于某些对称布尔函数的组合复杂性。 数学。 系统。 理论 10 : 323-336 ( 1977 ) 1976 [j6] 沃恩·R·普拉特 , 拉里·斯托克梅耶 :
向量机能力的表征。 J.计算。 系统。 科学。 12 ( 2 ) : 198-221 ( 1976 ) [j5] M.R.Garey先生 , 大卫·约翰逊 , 拉里·斯托克梅耶 :
一些简化的NP-完全图问题。 西奥。 计算。 科学。 1 ( 三 ) : 237-267 ( 1976 ) 【j4】 拉里·斯托克梅耶 :
多项式时间层次。 西奥。 计算。 科学。 三 ( 1 ) : 1-22 ( 1976 ) 【c9】 阿肖克·K·钱德拉 , 拉里·斯托克梅耶 :
交替。 光纤通信系统 1976 : 98-108 【c8】 理查德·利普顿 , 拉里·斯托克梅耶 :
超预处理多项式的求值。 STOC公司 1976 : 174-180 1975 【c7】 阿诺德·罗森博格 , 拉里·斯托克梅耶 :
可扩展数组的散列方案(扩展数组)。 STOC公司 1975 : 159-166 1974 【b1】 拉里·斯托克梅耶 :
自动机理论和逻辑中决策问题的复杂性。 美国麻省理工学院, 1974 [j3] 迈克尔·菲舍尔 , 拉里·斯托克梅耶 :
快速在线整数乘法。 J.计算。 系统。 科学。 9 ( 三 ) : 317-331 ( 1974 ) 【c6】 M.R.Garey先生 , 大卫·约翰逊 , 拉里·斯托克梅耶 :
一些简化的NP-完全问题。 STOC公司 1974 : 47-63 【c5】 沃恩·R·普拉特 , 迈克尔·拉宾 , 拉里·斯托克梅耶 :
向量机能力的表征。 STOC公司 1974 : 122-134 1973 [注2] 迈克·帕特森 , 拉里·斯托克梅耶 :
关于多项式求值所需的非标量乘法数。 SIAM J.计算。 2 ( 1 ) : 60-66 ( 1973 ) [j1] 拉里·斯托克梅耶 :
平面3-可色性是多项式完备的。 SIGACT新闻 5 ( 三 ) : 19-25 ( 1973 ) 【c4】 拉里·斯托克梅耶 , 阿尔伯特·梅耶 :
需要指数时间的单词问题:初步报告。 STOC公司 1973 : 1-9 【c3】 迈克尔·菲舍尔 , 拉里·斯托克梅耶 :
快速在线整数乘法。 STOC公司 1973 : 67-72 1972 [c2] 阿尔伯特·梅耶 , 拉里·斯托克梅耶 :
具有平方的正则表达式的等价问题需要指数空间。 重拍 1972 : 125-129 1971 【c1】 迈克·帕特森 , 拉里·斯托克梅耶 :
有理多项式求值时间的界限。 重拍 1971 : 140-143