编辑配置文件(在新选项卡中打开) 斯蒂芬·阿瑟·库克 合著者距离 作者ID: 厨师.stephen-a 发布日期: 斯蒂芬·库克。;斯蒂芬·库克;S.A.库克。;库克,S。 更多。。。较少的 主页: http://www.cs.toronto.edu/~萨库克/ 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 奖品: 图灵奖(1982) 已编制索引的文档: 98出版物自1966年起,包括2本书 1作为编辑的贡献·3进一步捐款 合著者: 55位合著者具有67份联合出版物 1529名合著者 全部的 前5名合著者 29 单作者的 6 艾伦·B·博罗丁。 5 皮埃尔·麦肯齐 5 托尼安·皮塔西 4 保罗·比姆。 4 马克·布拉夫曼 4 Robert A.Reckhow。 三 帕特里克·戴蒙德(Patrick W.Dymond)。 三 杰夫·埃德蒙兹(Jeff A.Edmonds)。 三 Fontes,莉拉 三 H.James胡佛 三 罗素·英帕利亚佐 三 布鲁斯·卡普伦。 三 莱塞,戴特里曼 三 拉胡尔·桑塔纳姆 三 达斯汀·韦尔 2 圣奥拉夫阿安德拉 2 克劳斯·埃利格 2 川村,秋田 2 Derek C.奥本。 2 尼古拉斯·皮彭格。 2 拉维·塞提 2 迈克尔·索尔提斯 2 马丁·汤帕 2 伊多·扎梅雷特 2 阿拉斯代尔·厄克哈特 1 阿尼尔·艾达 1 潘卡杰·库马尔·阿加瓦尔 1 达纳州安格鲁因 1 斯蒂芬·贝兰托尼。 1 Bloniarz,Peter A。 1 恩里科·波比里 1 理查德·皮尔斯布伦特 1 Donna J·布朗。 1 Samuel R.巴斯。 1 大卫·A·卡尔森。 1 詹姆斯·卡尔森(James A.Carlson)。 1 阿尔卡德夫查托帕迪亚伊 1 伯纳德·夏泽尔 1 Cypher,A。 1 皮埃尔·迪林 1 理查德·艾伦·德米洛 1 戴维·多布金(David P.Dobkin)。 1 辛西娅·德沃克 1 哈特穆特·埃里格 1 罗纳德·费金 1 查尔斯·路易斯·费弗曼 1 尤瓦尔·菲莫斯 1 费洛蒂,I.S。 1 迈克尔·菲舍尔。 1 格雷格·弗雷德里克森。 1 卡维·加塞姆卢 1 杰里米·格雷 1 列奥尼达斯·约翰·吉巴斯 1 古普塔,阿文德·库马尔 1 阿明·哈肯 1 乔斯·海因茨 1 克里斯托夫·霍夫曼。 1 洪嘉伟 1 奥斯卡·H·伊巴拉。 1 亚瑟·迈克尔·杰菲 1 Ja'Ja',Joseph F。 1 唐纳德·约翰逊。 1 黛博拉·约瑟夫 1 拉文德兰坎南 1 理查德·曼宁·卡普 1 安东尼娜·科洛科洛娃 1 米查尔·库克 1 简·克拉契克 1 孔,H.T。 1 Brian S.Leininger。 1 大卫·利希滕斯坦 1 理查德·杰·利普顿 1 刘永梅 1 埃罗尔·劳埃德。 1 南希·安·林奇 1 伯恩德·马赫 1 杰克·梅耶(Jack N.Mayer)。 1 文卡提什·梅达巴利米 1 库尔特·梅尔霍恩 1 艾伯特·罗纳德·梅耶 1 米勒,加里·李 1 雷蒙德·米勒(Raymond E.Miller)。 1 约翰·威拉德·米尔诺 1 格拉兹纳·米尔考斯卡 1 大卫·G·M·米切尔(David G.M.Mitchell)。 1 津桥森冈 1 马克·奥弗马斯(Mark H.Overmars)。 1 Jan K·帕希尔。 1 罗希特·帕里赫 1 迈克·帕特森。 1 沃尔夫冈·雅各布·保罗 1 大卫·艾伦(David Alan),Plaisted 1 Pratt,Vaughan R。 1 Pressman,Irwin S。 1 帕维尔·普德拉克 1 查尔斯·莱科夫。 1 维贾亚·拉马钱德兰 1 约翰·赖夫(John H.Reif)。 1 爱德华·马丁·莱因戈尔德 1 吕迪格·赖舒克 ……还有27位合著者 全部的 前5名系列 12 SIAM计算机杂志 7 计算机与系统科学杂志 4 ACM计算理论汇刊 三 信息和控制 三 Kiberneticheskiĭ斯博尼克。Novaya Seriya公司 三 纯逻辑与应用逻辑年鉴 三 计算复杂性 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算机协会杂志 2 符号逻辑杂志 2 信息与计算 2 美国医学会杂志 2 ACM计算逻辑事务 2 逻辑观点 1 数学年刊 1 美国数学学会汇刊 1 逻辑部分公告 1 算法杂志 1 逻辑与计算杂志 1 ACM通信 1 《环境数学》。2e塞里 1 Pokroky Matematiky、Fyziky和天文学 1 美国数学学会通告 1 分布式计算 1 数学逻辑档案 1 符号逻辑公报 1 软件维护与进化杂志。研究与实践 全部的 前5名字段 89 计算机科学(68至XX) 43 数学逻辑和基础(03-XX) 7 信息与通信理论、电路(94-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 5 组合数学(05-XX) 4 总体主题;集合(00-XX) 2 数值分析(65-XX) 1 历史和传记(01-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 88出版物有被引用2660次中的次2129文件 引用人▼ 年份▼ 理论证明程序的复杂性。 Zbl 0253.68020号 斯蒂芬·库克。 446 1971 命题证明系统的相对效率。 Zbl 0408.03044号 斯蒂芬·库克。;Robert A.Reckhow。 249 1979 快速并行算法问题分类。 兹比尔0575.68045 斯蒂芬·库克。 193 1985 理论证明程序的复杂性。 Zbl 0363.68125号 S.A.库克。 130 1975 多时间函数的一种新的递归理论表征。 Zbl 0766.68037号 斯蒂芬·贝兰托尼;斯蒂芬·库克 129 1992 用有时间限制的计算机描述下推机器的特性。 Zbl 0222.02035号 斯蒂芬·库克。 123 1971 程序验证公理系统的健全性和完整性。 Zbl 0374.68009号 斯蒂芬·库克。 113 1978 没有同时写入的并行随机访问机器的上下限。 Zbl 0591.68049号 斯蒂芬·库克;辛西娅,德沃克;吕迪格·赖舒克 87 1986 有时间限制的随机存取机器。 Zbl 0284.68038号 斯蒂芬·库克。;Robert A.Reckhow。 70 1973 记录深度回路的划分和相关问题。 Zbl 0619.68047号 保罗·比姆。;斯蒂芬·库克。;H.James胡佛 60 1986 对时间存储权衡的观察。 Zbl 0306.68026号 斯蒂芬·库克。 58 1974 可行的构造性证明和命题演算。 Zbl 0357.68061号 斯蒂芬·库克。 54 1975 证明复杂性的逻辑基础。 兹比尔1206.03051 斯蒂芬·库克;阮富城 52 2010 关于命题演算中证明的长度。初步版本。 Zbl 0375.0204号 斯蒂芬·库克;罗伯特·雷克霍 48 1974 确定性对数空间的问题已完成。 Zbl 0644.68058号 斯蒂芬·库克。;皮埃尔·麦肯齐 45 1987 可行性构造算法的函数解释。 Zbl 0780.03026号 斯蒂芬·库克;阿拉斯代尔·厄克哈特 43 1993 在一般的顺序计算模型上进行排序的时空权衡。 Zbl 0478.68061号 博罗丁,A。;库克,S。 43 1982 赋能环和空间有界概率机的并行计算。 Zbl 0598.68043号 博罗丁,A。;库克,S。;皮彭格,N。 42 1983 寻找可满足性问题的困难实例:一项调查。 Zbl 0889.68073号 斯蒂芬·库克。;大卫·G·米切尔。 37 1997 实域上的计算:科学计算的基础。 Zbl 1092.68038号 马克·布拉夫曼;斯蒂芬·库克 36 2006 NP搜索问题的相对复杂性。 Zbl 0920.68051号 比姆,保罗;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西 34 1998 受限机器上迷宫线程化的空间下限。 Zbl 0445.68038号 斯蒂芬·库克。;查尔斯·莱科夫。 34 1980 非确定性时间复杂性的层次结构。 Zbl 0278.68042号 斯蒂芬·库克。 34 1973 归纳计数在互补问题中的两个应用。 Zbl 0678.68031号 艾伦·博罗丁;斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。;沃尔特·鲁佐。;马丁·汤帕 33 1989 公式计算的最佳并行算法。 Zbl 0825.68424号 巴斯,S。;库克,S。;阿文德·古普塔;拉马钱德兰,V。 29 1992 千年奖问题。 Zbl 1155.00001号 28 2006 2型可行性的新特征。 Zbl 0843.68028号 卡普伦,B.M。;S.A.库克。 25 1996 同步并行计算的复杂性理论。 Zbl 0473.68041号 斯蒂芬·库克。 24 1981 分析中运算符的复杂性理论。 兹比尔1322.68083 川村,秋田;斯蒂芬·库克 20 2012 关于函数的最小计算时间。 Zbl 0188.33402号 S.A.库克。;圣奥州阿安德拉。 17 1969 (\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 Zbl 1133.03035号 斯蒂芬·库克;简·克拉契克 15 2007 短命题公式表示不确定性计算。 Zbl 0633.68034号 斯蒂芬·库克。 15 1988 更高类型函数的可计算性和复杂性。 兹伯利0757.03021 斯蒂芬·库克。 15 1992 确定性多项式时间可识别语言的存储要求。 Zbl 0337.68031号 斯蒂芬·库克;拉维·塞提 14 1976 关于计算特定多项式的加法数。 Zbl 0341.65034号 艾伦·博罗丁;斯蒂芬·库克 14 1976 有限型基本可行泛函的刻画。 Zbl 0788.03068号 斯蒂芬·库克。;布鲁斯·卡普伦。 14 1990 证明复杂性的逻辑基础。2010年精装版再版。 Zbl 1284.03001号 斯蒂芬·库克;阮富城 14 2014 P与NP问题。 Zbl 1194.68001号 斯蒂芬·库克 13 2006 NP搜索问题的相对复杂性。 Zbl 0978.68526号 保罗·比姆;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西 12 1995 一条深度覆盖的电路。 Zbl 0573.94015号 斯蒂芬·库克。;H.James胡佛 12 1985 确定性双向下推自动机的线性时间模拟。 兹比尔0255.68015 斯蒂芬·库克。 10 1972 对时间存储权衡的观察。 Zbl 0305.68066号 斯蒂芬·库克。 10 1973 量化命题演算与NC(^{text\textbf{1}})的二阶理论。 Zbl 1090.03029号 斯蒂芬·库克;津桥森冈 10 2005 计算复杂性概述。 Zbl 0622.68039号 斯蒂芬·库克。 10 1983 有时限的随机存取机器。 Zbl 0357.68055号 斯蒂芬·库克。;Robert A.Reckhow。 9 1972 TC(^0)和其他小复杂度类的理论。 Zbl 1126.68048号 阮富城;斯蒂芬·库克 9 2006 线性代数的证明复杂性。 Zbl 1059.03064号 迈克尔·索尔提斯;斯蒂芬·库克 9 2004 单调实电路大小的指数下界。 Zbl 0922.68065号 阿明·哈肯;斯蒂芬·库克。 8 1999 交换置换群问题的并行复杂性。 兹比尔0647.68045 皮埃尔·麦肯齐;斯蒂芬·库克。 8 1987 复杂性类理论及其命题翻译。 Zbl 1084.03044号 斯蒂芬·库克 8 2004 分析中运算符的复杂性理论。 Zbl 1293.68134号 川村,秋田;斯蒂芬·库克 8 2010 并行时间和硬件的复杂性理论。 Zbl 0666.68045号 帕特里克·戴蒙德(Patrick W.Dymond)。;斯蒂芬·库克。 7 1989 弱运算中替换的强度。 Zbl 1407.03075号 斯蒂芬·库克;尼尔·萨彭 7 2006 具有快速并行算法的问题的分类。 Zbl 0529.68014号 斯蒂芬·库克。 7 1983 隐私的艰难。 兹比尔1321.94032 阿尼尔·艾达;阿尔卡德夫查托帕迪亚伊;斯蒂芬·库克。;Fontes,莉拉;米查尔·库克;托尼安·皮塔西 6 2014 “程序验证公理系统的健全性和完整性”的勘误表。 Zbl 0466.68015号 斯蒂芬·库克。 6 1981 类属预言与第二类复杂性理论之间的紧密关系。 Zbl 0881.68051号 斯蒂芬·库克;罗素·英帕利亚佐;山崎富代 5 1997 可行性构造算法的函数解释。摘要。 Zbl 0776.03028号 斯蒂芬·库克;阿拉斯代尔·厄克哈特 5 1990 在小时间和小空间内识别确定性CFL。 兹伯利0535.68023 冯·布劳恩穆尔(von Braunmühl,Burchard);斯蒂芬·库克;库尔特·梅尔霍恩;罗格斯·韦贝克 5 1983 记录深度回路的划分和相关问题。 Zbl 0797.68074号 保罗·比姆。;斯蒂芬·库克。;H.James胡佛 4 1986 将(mathbf P)的可证明坍塌与(mathbfNmathbfC^1)和逻辑理论的力量联系起来。 Zbl 0892.03024号 斯蒂芬·库克 4 1998 确定性多项式时间可识别语言的存储要求。 Zbl 0412.68078号 斯蒂芬·库克;拉维·塞提 4 1974 单正规系统可导性问题的可解性。 Zbl 0207.31204号 S.A.库克。 4 1966 布尔程序和量化命题证明系统。 Zbl 0951.03052号 斯蒂芬·库克;迈克尔·索尔提斯 4 1999 将小型复杂类及其理论进行比较。 Zbl 1179.68059号 克劳斯·埃利格;斯蒂芬·库克;阮富城 三 2007 平行指针机器。 Zbl 0781.68052号 斯蒂芬·库克。;帕特里克·戴蒙德。 三 1993 非确定性时间复杂性的层次结构。 Zbl 0361.68074号 斯蒂芬·库克。 三 1972 方块世界的完整公理化。 Zbl 1046.68101号 斯蒂芬·库克。;刘永梅 三 2003 比较器电路值问题的复杂性。 Zbl 1347.68156号 斯蒂芬·库克。;尤瓦尔·菲莫斯;莱塞,戴特里曼 三 2014 非确定性语义只读分支程序的下限。 Zbl 1388.68028号 斯蒂芬·库克;杰夫·埃德蒙兹;文卡特什Medabalimi;托尼安·皮塔西 三 2016 高等类型函数的计算复杂性。 Zbl 0749.03031号 斯蒂芬·库克。 三 1991 下推式机器的变化(详细摘要)。 Zbl 1282.68103号 斯蒂芬·库克。 三 1969 数据结构的断言语言。 Zbl 0382.68017号 斯蒂芬·库克。;Derek C.奥本。 2 1975 用有时间限制的计算机描述下推机器的特性。 Zbl 0289.02021号 S.A.库克。 2 1974 一种基于Grädel定理的二阶多面体推理系统。 Zbl 1036.03042号 斯蒂芬·库克;安东尼娜·科洛科洛娃 2 2003 使用READ-ON-WRITE-ALL策略的网络中副本的最佳位置。 Zbl 1448.68040号 斯蒂芬·库克。;简·帕希尔;Pressman,Irwin S。 2 2002 关于函数的最小计算时间。 Zbl 0231.02047号 S.A.库克。;圣奥州阿安德拉。 2 1971 解析证明的可行构造下限。 Zbl 0702.68065号 斯蒂芬·库克;托尼安·皮塔西 2 1990 同步并行计算的复杂性理论。 Zbl 0484.68036号 斯蒂芬·库克。 2 1982 证明有关操作数据结构的程序的断言。 兹比尔0359.68011 Derek C.奥本。;斯蒂芬·库克。 1 1975 行列式恒等式的统一、积分和有效证明。 Zbl 1453.03064号 伊多·扎梅雷特;斯蒂芬·库克。 1 2017 线性代数的形式理论。 Zbl 1238.03020号 斯蒂芬·库克;Fontes,莉拉 1 2012 将小型复杂类及其理论进行比较。 Zbl 1336.68084号 克劳斯·埃利格;斯蒂芬·库克;阮富城 1 2016 树木评估的鹅卵石和树枝程序。 兹比尔1322.68059 斯蒂芬·库克;皮埃尔·麦肯齐;达斯汀·韦尔;马克·布拉夫曼;拉胡尔·桑塔纳姆 1 2012 P与NP问题的重要性。 Zbl 1326.68140号 斯蒂芬·库克 1 2003 用于树评估的分支程序。 Zbl 1250.68106号 马克·布拉夫曼;斯蒂芬·库克;皮埃尔·麦肯齐;拉胡尔·桑塔纳姆;Wehr,达斯汀 1 2009 与稳定婚姻问题相关的复杂性类的正式理论。 Zbl 1247.68095号 莱塞,戴特里曼;斯蒂芬·库克。;叶玉莉 1 2011 线性代数的形式理论。 Zbl 1238.03019号 斯蒂芬·库克;Fontes,莉拉 1 2010 行列式恒等式的统一、积分和有效证明。 Zbl 1453.03064号 伊多·扎梅雷特;斯蒂芬·库克。 1 2017 非确定性语义只读分支程序的下限。 Zbl 1388.68028号 斯蒂芬·库克;杰夫·埃德蒙兹;文卡提什·梅达巴利米;托尼安·皮塔西 三 2016 相对化小的复杂性类及其理论。 Zbl 1336.68084号 克劳斯·埃利格;斯蒂芬·库克;阮富城 1 2016 证明复杂性的逻辑基础。2010年精装版再版。 Zbl 1284.03001号 斯蒂芬·库克;阮富城 14 2014 隐私的艰难。 Zbl 1321.94032号 阿尼尔·艾达;阿尔卡德夫查托帕迪亚伊;斯蒂芬·库克。;Fontes,莉拉;米查尔·库克;托尼安·皮塔西 6 2014 比较器电路值问题的复杂性。 Zbl 1347.68156号 斯蒂芬·库克。;尤瓦尔·菲莫斯;莱塞,戴特里曼 三 2014 分析中运算符的复杂性理论。 Zbl 1322.68083号 川村,秋田;斯蒂芬·库克 20 2012 线性代数的形式理论。 Zbl 1238.03020号 斯蒂芬·库克;Fontes,莉拉 1 2012 用于树评估的Pebbles和分支程序。 Zbl 1322.68059号 斯蒂芬·库克;皮埃尔·麦肯齐;达斯汀·韦尔;马克·布拉夫曼;拉胡尔·桑塔纳姆 1 2012 与稳定婚姻问题相关的复杂性类的正式理论。 Zbl 1247.68095号 莱塞,戴特里曼;斯蒂芬·库克。;叶玉莉 1 2011 证明复杂性的逻辑基础。 Zbl 1206.03051号 斯蒂芬·库克;阮富城 52 2010 分析中运算符的复杂性理论。 Zbl 1293.68134号 川村,秋田;斯蒂芬·库克 8 2010 线性代数的形式理论。 兹比尔1238.03019 斯蒂芬·库克;Fontes,莉拉 1 2010 用于树评估的分支程序。 Zbl 1250.68106号 马克·布拉夫曼;斯蒂芬·库克;皮埃尔·麦肯齐;拉胡尔·桑塔纳姆;达斯汀·韦尔 1 2009 (\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 Zbl 1133.03035号 斯蒂芬·库克;简·克拉契克 15 2007 相对化小的复杂性类及其理论。 Zbl 1179.68059号 克劳斯·埃利格;斯蒂芬·库克;阮富城 三 2007 实域上的计算:科学计算的基础。 Zbl 1092.68038号 马克·布拉夫曼;斯蒂芬·库克 36 2006 千年奖问题。 Zbl 1155.00001号 28 2006 P与NP问题。 Zbl 1194.68001号 斯蒂芬·库克 13 2006 TC(^0)和其他小型复杂类的理论。 兹比尔1126.68048 阮富城;斯蒂芬·库克 9 2006 弱运算中替换的强度。 Zbl 1407.03075号 斯蒂芬·库克;尼尔·萨彭 7 2006 量化命题演算与NC(^{text\textbf{1}})的二阶理论。 Zbl 1090.03029号 斯蒂芬·库克;津桥森冈 10 2005 线性代数的证明复杂性。 Zbl 1059.03064号 迈克尔·索尔提斯;斯蒂芬·库克 9 2004 复杂性类理论及其命题翻译。 兹比尔1084.03044 斯蒂芬·库克 8 2004 Blocks World的完全公理化。 Zbl 1046.68101号 斯蒂芬·库克。;刘永梅 三 2003 基于Grädel定理的二阶多时间推理系统。 Zbl 1036.03042号 斯蒂芬·库克;安东尼娜·科洛科洛娃 2 2003 P与NP问题的重要性。 Zbl 1326.68140号 斯蒂芬·库克 1 2003 使用READ-ON-WRITE-ALL策略的网络中副本的最佳位置。 Zbl 1448.68040号 斯蒂芬·库克。;简·帕希尔;Pressman,Irwin S。 2 2002 单调实电路大小的指数下界。 Zbl 0922.68065号 阿明·哈肯;斯蒂芬·库克。 8 1999 布尔程序和量化命题证明系统。 Zbl 0951.03052号 斯蒂芬·库克;迈克尔·索尔提斯 4 1999 NP搜索问题的相对复杂性。 Zbl 0920.68051号 保罗·比姆;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西 34 1998 将(mathbf P)的可证明坍塌与(mathbfNmathbfC^1)和逻辑理论的力量联系起来。 Zbl 0892.03024号 斯蒂芬·库克 4 1998 寻找可满足性问题的困难实例:一项调查。 Zbl 0889.68073号 斯蒂芬·库克。;大卫·G·米切尔。 37 1997 类属预言与第二类复杂性理论之间的紧密关系。 Zbl 0881.68051号 斯蒂芬·库克;罗素·英帕利亚佐;山崎富代 5 1997 2型可行性的新特征。 Zbl 0843.68028号 卡普伦,B.M。;S.A.库克。 25 1996 NP搜索问题的相对复杂性。 Zbl 0978.68526号 比姆,保罗;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西 12 1995 可行性构造算法的函数解释。 Zbl 0780.03026号 斯蒂芬·库克;阿拉斯代尔·厄克哈特 43 1993 平行指针机器。 Zbl 0781.68052号 斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。 三 1993 多时间函数的一种新的递归理论表征。 Zbl 0766.68037号 斯蒂芬·贝兰托尼;斯蒂芬·库克 129 1992 公式计算的最佳并行算法。 兹比尔0825.68424 巴斯,S。;库克,S。;阿文德·古普塔;拉马钱德兰,V。 29 1992 更高类型函数的可计算性和复杂性。 Zbl 0757.03021号 斯蒂芬·库克。 15 1992 高等类型函数的计算复杂性。 Zbl 0749.03031号 斯蒂芬·库克。 三 1991 有限型基本可行泛函的刻画。 Zbl 0788.03068号 斯蒂芬·库克。;布鲁斯·卡普伦。 14 1990 可行构造算术的函数解释。摘要。 Zbl 0776.03028号 斯蒂芬·库克;阿拉斯代尔·厄克哈特 5 1990 解析证明的可行构造下限。 Zbl 0702.68065号 斯蒂芬·库克;托尼安·皮塔西 2 1990 归纳计数在互补问题中的两个应用。 Zbl 0678.68031号 艾伦·博罗丁;斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。;沃尔特·卢佐。;马丁·汤帕 33 1989 并行时间和硬件的复杂性理论。 兹伯利0666.68045 帕特里克·戴蒙德(Patrick W.Dymond)。;斯蒂芬·库克。 7 1989 简短的命题公式表示不确定性计算。 Zbl 0633.68034号 斯蒂芬·库克。 15 1988 确定性对数空间的问题已完成。 Zbl 0644.68058号 斯蒂芬·库克。;皮埃尔·麦肯齐 45 1987 交换置换群问题的并行复杂性。 Zbl 0647.68045号 皮埃尔·麦肯齐;斯蒂芬·库克。 8 1987 没有同时写入的并行随机访问机器的上下限。 Zbl 0591.68049号 斯蒂芬·库克;辛西娅·德沃克;吕迪格·赖舒克 87 1986 记录深度回路的划分和相关问题。 Zbl 0619.68047号 保罗·W·比姆。;斯蒂芬·库克。;H.James胡佛 60 1986 记录深度回路的划分和相关问题。 Zbl 0797.68074号 保罗·比姆。;斯蒂芬·库克。;H.James胡佛 4 1986 快速并行算法问题分类。 Zbl 0575.68045号 斯蒂芬·库克。 193 1985 一条深度覆盖的电路。 Zbl 0573.94015号 斯蒂芬·库克。;H.James胡佛 12 1985 赋能环和空间有界概率机的并行计算。 Zbl 0598.68043号 博罗丁,A。;库克,S。;皮彭格,N。 42 1983 计算复杂性概述。 Zbl 0622.68039号 斯蒂芬·库克。 10 1983 具有快速并行算法的问题的分类。 Zbl 0529.68014号 斯蒂芬·库克。 7 1983 在小时间和小空间内识别确定性CFL。 Zbl 0535.68023号 冯·布劳恩穆尔(von Braunmühl,Burchard);斯蒂芬·库克;库尔特·梅尔霍恩;罗格斯·韦贝克 5 1983 在一般的顺序计算模型上进行排序的时空权衡。 Zbl 0478.68061号 鲍罗丁,A。;库克,S。 43 1982 同步并行计算的复杂性理论。 Zbl 0484.68036号 斯蒂芬·库克。 2 1982 同步并行计算的复杂性理论。 Zbl 0473.68041号 斯蒂芬·库克。 24 1981 “程序验证公理系统的健全性和完整性”的勘误表。 Zbl 0466.68015号 斯蒂芬·库克。 6 1981 受限机器上迷宫线程化的空间下限。 Zbl 0445.68038号 斯蒂芬·库克。;查尔斯·莱科夫。 34 1980 命题证明系统的相对效率。 Zbl 0408.03044号 斯蒂芬·库克。;Robert A.Reckhow。 249 1979 程序验证公理系统的健全性和完整性。 Zbl 0374.68009号 斯蒂芬·库克。 113 1978 确定性多项式时间可识别语言的存储要求。 Zbl 0337.68031号 斯蒂芬·库克;拉维·塞提 14 1976 关于计算特定多项式的加法数。 Zbl 0341.65034号 艾伦·博罗丁;斯蒂芬·库克 14 1976 理论证明程序的复杂性。 Zbl 0363.68125号 S.A.库克。 130 1975 可行的构造性证明和命题演算。 Zbl 0357.68061号 斯蒂芬·库克。 54 1975 数据结构的断言语言。 Zbl 0382.68017号 斯蒂芬·库克。;Derek C.奥本。 2 1975 证明有关操作数据结构的程序的断言。 Zbl 0359.68011号 Derek C.奥本。;斯蒂芬·库克。 1 1975 对时间存储权衡的观察。 Zbl 0306.68026号 斯蒂芬·库克。 58 1974 关于命题演算中证明的长度。初步版本。 Zbl 0375.0204号 斯蒂芬·库克;罗伯特·雷克霍 48 1974 确定性多项式时间可识别语言的存储要求。 Zbl 0412.68078号 斯蒂芬·库克;拉维·塞提 4 1974 用有时间限制的计算机描述下推机器的特性。 兹比尔0289.02021 S.A.库克。 2 1974 有时间限制的随机存取机器。 Zbl 0284.68038号 斯蒂芬·库克。;Robert A.Reckhow。 70 1973 非确定性时间复杂性的层次结构。 Zbl 0278.68042号 斯蒂芬·库克。 34 1973 对时间存储权衡的观察。 Zbl 0305.68066号 斯蒂芬·库克。 10 1973 确定性双向下推自动机的线性时间模拟。 Zbl 0255.68015号 斯蒂芬·库克。 10 1972 有时限的随机存取机器。 兹比尔0357.68055 斯蒂芬·库克。;Robert A.Reckhow。 9 1972 非确定性时间复杂性的层次结构。 Zbl 0361.68074号 斯蒂芬·库克。 三 1972 理论证明程序的复杂性。 Zbl 0253.68020号 斯蒂芬·库克。 446 1971 用有时间限制的计算机描述下推机器的特性。 Zbl 0222.02035号 斯蒂芬·库克。 123 1971 关于函数的最小计算时间。 Zbl 0231.02047号 S.A.库克。;圣奥州阿安德拉。 2 1971 关于函数的最小计算时间。 兹比尔0188.33402 S.A.库克。;圣奥州阿安德拉。 17 1969 下推式机器的变化(详细摘要)。 Zbl 1282.68103号 斯蒂芬·库克。 三 1969 单正规系统可导性问题的可解性。 Zbl 0207.31204号 S.A.库克。 4 1966 所有引用出版物 前5名被引用出版物 全部的 前5名2712位作者引用 33 奥拉夫·拜尔斯多夫 30 Samuel R.巴斯。 24 简·克拉契克 19 埃里克·艾伦德。 17 斯蒂芬·阿瑟·库克 16 托尼安·皮塔西 15 乌戈·达尔拉戈 15 奥斯卡·H·伊巴拉。 15 皮埃尔·麦肯齐 14 埃米尔·杰瓦贝克 14 帕维尔·普德拉克 12 Jan A.Bergstra。 12 米纳·马哈扬 11 克劳斯·约恩·兰格 11 尼尔·萨彭 10 莫里茨·米勒 10 马丁·齐格勒 9 尼古拉·加莱西 9 马丁·霍夫曼 9 Huynh,Dung T。 9 马雷克·卡宾斯基 9 约翰·科布勒 9 马西莫·劳里亚 9 Jean-Yves玛丽恩 9 罗曼·佩乔 9 伊恩·斯图尔特(Iain A.Stewart)。 9 赫里贝特·沃尔默 8 保罗·比姆。 8 乔舒亚·布林霍恩 8 恩德雷·博罗斯 8 达斯,阿努帕姆 8 伊曼纽尔·海因里 8 Dmitry M.Itsykson。 8 比吉特·詹纳 8 努坦利马耶 8 杰克·H·卢茨。 8 Mix Barrington,David A。 8 雅各布·诺德斯特伦 8 Christos Harilaos的Papadimitriou 8 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 8 弗洛里安·斯坦伯格 8 卢茨斯特拉汉堡 8 伊多·扎梅雷特 7 阿尔伯特·阿塞里亚斯 7 帕特里克·贝洛特 7 玛丽亚·路易莎 7 书,罗纳德·弗农 7 艾伦·B·博罗丁。 7 勒罗伊·周 7 兰斯·福特诺(Lance J.Fortnow)。 7 马西米利亚诺·戈德伍姆 7 爱德华·赫施。 7 罗素·英帕利亚佐 7 尼尔·D·琼斯。 7 丹尼尔·莱万特(Daniel M.Leivant)。 7 Joáo P.塞尔瓦侯爵。 7 卡尔·海因茨·奈格尔 7 伊莎贝尔·奥塔维姆 7 文卡特斯·拉曼 7 迈克尔·索尔提斯 7 丹尼斯·塞里安 7 马丁·汤帕 7 约翰·V·塔克。 7 山崎富代 6 斯蒂芬·贝兰托尼。 6 阿尔贝托·贝托尼 6 哈里·布尔曼 6 彼得·克洛特(Peter G.Clote)。 6 帕特里克·戴蒙德(Patrick W.Dymond)。 6 约斯特·恩格尔弗里特 6 费希·埃伦 6 傅斌 6 安娜·加尔 6 保罗·戈德伯格(Paul W.Goldberg)。 6 马库斯·霍尔泽 6 汉斯·克莱恩·勃宁 6 安德烈亚斯·克雷布斯 6 库蒂·奥斯基(Kutyłowski)、米洛斯·aw 6 埃尔维拉·马约多莫 6 阿恩·迈尔 6 博克哈德·莫尼恩 6 沃尔特·鲁佐。 6 拉胡尔·桑塔纳姆 6 Sarma M.N.,贾亚拉尔 6 艾伦·路易斯·塞尔曼 6 伊万·哈尔·苏德伯勒 6 斯泽德,斯特凡 6 雅各布·托兰 6 阿拉斯代尔·厄克哈特 5 Krzysztof Rafal公寓 5 马丁·阿文齐尼 5 奥利维尔·伯内兹 5 马克·布拉夫曼 5 陈林 5 伊莱亚斯·达尔豪斯 5 该死,卡斯滕 5 萨米尔·达塔 5 剂量,提图斯 5 克里斯蒂安·格拉(Christian Glaßer) 5 米卡·哥尔斯 …还有2612位作者 全部的 前5名236篇连载文章被引用 291 理论计算机科学 164 计算机与系统科学杂志 102 信息与计算 100 信息处理信件 66 纯逻辑与应用逻辑年鉴 54 离散应用数学 46 数学系统理论 41 计算系统理论 39 计算复杂性 37 人工智能 30 符号逻辑杂志 30 算法 30 数学逻辑档案 28 数学与人工智能年鉴 28 计算机科学中的逻辑方法 26 信息学报 26 SIAM计算机杂志 20 自动推理杂志 16 符号逻辑公报 14 ACM计算逻辑事务 13 符号计算杂志 13 国际计算机科学基础杂志 13 欧洲运筹学杂志 11 信息科学 11 MSCS公司。计算机科学中的数学结构 10 复杂性杂志 10 数学逻辑季刊(MLQ) 9 比特币 9 运营研究信件 9 组合数学 9 密码学杂志 9 RAIRO公司。Informatique Théorique et Applications公司 9 Prikladnaya Diskretnaya Matematika公司 8 RAIRO公司。理论信息学及其应用 7 苏联数学杂志 7 分布式计算 6 离散数学 6 计算 6 RAIRO,Informatique Théorique公司 6 逻辑研究 6 计算机科学与技术杂志 6 国际计算机数学杂志 6 数学科学杂志(纽约) 5 计算机与数学及其应用 5 数学规划 5 合成 5 离散和计算几何 5 计算的形式方面 5 运筹学年鉴 5 随机结构与算法 5 计算几何 5 运筹学国际交易 5 约束条件 5 组合优化期刊 5 计算理论 4 控制论 4 订单 4 国际并行程序设计杂志 4 国际代数与计算杂志 4 数学编程。A系列B系列 4 俄罗斯数学 4 美国医学会杂志 4 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 4 逻辑程序设计理论与实践 4 量子信息处理 4 离散算法杂志 4 统计力学杂志:理论与实验 4 可满足性、布尔建模与计算杂志 4 埃里温州立大学学报。物理与数学科学 三 哲学逻辑杂志 三 SIAM代数和离散方法杂志 三 计算机与运筹学 三 国际近似推理杂志 三 数学和计算机建模 三 设计、代码和密码 三 逻辑、语言与信息杂志 三 人工智能研究杂志 三 自然计算 三 符号逻辑述评 三 统计与计算 三 理论生物学杂志 三 可计算性 三 程序设计中的逻辑和代数方法杂志 2 统计物理杂志 2 计算数学 2 混沌、孤子和分形 2 Automatica公司 2 卡尔科洛 2 纯粹与应用代数杂志 2 斯洛伐克数学 2 美国数学学会汇刊 2 莫斯科大学计算数学与控制论 2 计算机程序设计科学 2 美国数学学会杂志 2 SIAM离散数学杂志 2 MCSS公司。控制、信号和系统数学 2 应用概率年鉴 2 全球优化杂志 2 游戏与经济行为 2 自动化和远程控制 …还有136部连续剧 全部的 前5名47个领域被引用 1,711 计算机科学(68至XX) 713 数学逻辑和基础(03-XX) 175 组合数学(05-XX) 133 信息与通信理论、电路(94-XX) 129 运筹学、数学规划(90-XX) 54 博弈论、经济学、金融和其他社会和行为科学(91-XX) 47 数值分析(65-XX) 35 量子理论(81-XX) 33 阶、格、有序代数结构(06-XX) 28 数论(11-XX) 27 群论与推广(20-XX) 21 线性代数和多线性代数;矩阵理论(15-XX) 16 生物学和其他自然科学(92-XX) 14 总体主题;集合(00-XX) 14 场论和多项式(12-XX) 11 范畴理论;同调代数(18-XX) 11 概率论与随机过程(60-XX) 9 交换代数(13-XX) 9 代数几何(14-XX) 9 动力系统和遍历理论(37至XX) 9 凸和离散几何(52至XX) 9 统计学(62-XX) 9 统计力学,物质结构(82-XX) 8 一般代数系统(08-XX) 8 系统论;控制(93至XX) 6 测量和集成(28-XX) 5 常微分方程(34-XX) 4 历史和传记(01-XX) 4 结合环与代数(16-XX) 4 复变量的函数(30年XX月) 三 流形和细胞复合体(57至XX) 2 实际功能(26年X月X日) 2 欧氏空间的调和分析(42至XX) 2 整体分析,流形分析(58至XX) 2 粒子和系统力学(70-XX) 2 相对论和引力理论(83至XX) 1 势能理论(31日至XX日) 1 几个复变量和分析空间(32-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 变异微积分和最优控制;最优化(49至XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 一般拓扑结构(54至XX) 1 代数拓扑(55-XX) 1 流体力学(76-XX) 1 数学教育(97-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.