计算机协会杂志 简短标题: J.协会计算。机器。 出版商: 纽约州纽约市计算机协会(ACM) 国际标准编号: 0004-5411 在线: http://dl.acm.org/citation.cfm?id=J401 继承人: 美国医学会杂志 评论: 期刊;不再索引 已编制索引的文档: 1779出版物(1955–1995) 索引的引用: 15出版物参考文献169篇。 全部的 前5名最新问题 421995年第6号 421995年第5号 42,第4号(1995年) 42,第3号(1995年) 421995年第2期 42,第1期(1995年) 41,第6号(1994年) 41,第5号(1994年) 41,第4号(1994年) 411994年第3期 411994年第2期 411994年第1期 40,第5号(1993) 40,第4号(1993) 40,第3号(1993) 40,第2号(1993) 40,第1号(1993) 39,第4期(1992年) 39,第3期(1992年) 39,第2期(1992年) 39,第1期(1992年) 38,第4期(1991年) 38,第3期(1991年) 38,第2期(1991年) 38,第1期(1991年) 37,第4号(1990) 37,第3期(1990年) 37,第2期(1990年) 37,第1期(1990年) 36,第4号(1989) 36,第3期(1989年) 36,第2期(1989年) 36,第1期(1989年) 351988年第4期 351988年第3期 35,第2期(1988年) 35,第1期(1988年) 34(1987) 33(1986) 32(1985) 31(1984) 30(1983) 29(1982) 28(1981) 27(1980) 26(1979) 25(1978) 24(1977) 23(1976) 22(1975) 21(1974) 20(1973) 19(1972) 18(1971) 17(1970) 16(1969年) 15(1968) 14(1967) 13(1966) 12(1965) 11(1964) 10(1963) 9(1962) 8(1961) 7(1960) 6(1959年) 5(1958) 2(1955年) 全部的 前5名作者 21 西摩金斯伯格 18 罗伯特·恩德雷·塔尔扬 15 Christos Harilaos的Papadimitriou 15 杰弗里·戴维·乌尔曼 13 拉维·塞提 12 科夫曼(Edward Grady jun Coffman)。 12 Joseph Yehuda Halpern 12 南希·安·林奇 12 米哈利斯·亚纳卡基斯 11 兹维·加利勒 11 阿诺德·伦纳德·罗森博格 11 Sarni,Sartaj K。 10 罗纳德·费金 10 詹姆斯·斯拉格尔(James R.Slagle)。 9 丹尼·多列夫 9 迈克尔·哈里森(Michael A.Harrison)。 9 奥斯卡·H·伊巴拉。 9 孔,H.T。 9 施穆尔·温诺格拉德 9 姚志智 8 迈克尔·菲舍尔。 8 叶霍舒亚·萨吉夫 8 约瑟夫·弗雷德里克·特劳布 7 伊加尔·阿迪里 7 啊,阿尔弗雷德·瓦伊诺 7 希拉·格雷巴赫。 7 约翰·爱德华·霍普克罗夫特。 7 亨特,哈里·鲍文三世 7 理查德·曼宁·卡普 7 阿兰·科海姆(Alan G.Konheim)。 7 尼姆罗德·梅吉多 7 杰勒德·索尔顿 7 Stockmeyer,Larry J。 7 唐纳德·弗雷德·托斯利 7 莱斯利·加布里埃尔·瓦利安特 7 Wong,Chak-Kuen先生 6 哈吉特·阿提亚 6 柯蒂斯·H·艾伦 6 迈克尔·伦道夫·加里 6 托马斯·N·希伯德。 6 理查德·杰·利普顿 6 艾伯特·罗纳德·梅耶 6 米特拉、德巴西 5 理查德·皮尔斯布伦特 5 约翰·布鲁诺。 5 格雷戈里·约翰·查廷 5 辛西娅·德沃克 5 埃文,西蒙 5 格雷格·弗雷德里克森。 5 萨米·埃罗·格伦贝 5 Teofilo F.冈萨雷斯。 5 Hartmanis,法学家 5 唐纳德·李·伊格哈特 5 唐纳德·约翰逊。 5 莱昂纳德·克莱诺克 5 莱斯利·兰波特 5 唐纳德·洛夫兰。 5 佐哈尔·曼纳 5 理查德·蒙兹(Richard R.Muntz)。 5 皮斯,马歇尔C.III 5 大卫·佩勒 5 尼古拉斯·皮彭格。 5 Preparia,Franco P。 5 约翰·赖夫(John H.Reif)。 5 吕迪格·赖舒克 5 罗伯特·肖斯塔克(Robert E.Shostak)。 5 伊莱·厄普法尔 5 莫西·亚亚科夫·瓦尔迪 5 罗伯特·瓦格纳。 5 阿维·威格德森 4 弗朗索瓦·路易斯,巴切利 4 布伦达·S·贝克。 4 凯特丽尔·比里 4 曼纽尔·布卢姆 4 书,罗纳德·弗农 4 贾努斯·安东尼·布尔佐夫斯基 4 卡尼安特拉·马尼·钱迪 4 伯纳德·夏泽尔 4 安德烈·埃伦菲赫特 4 帕特里克·卡尔·菲舍尔 4 迈克尔·弗雷德曼。 4 哈罗德·N·加博。 4 亚瑟·吉尔 4 格奥尔格·戈特洛布 4 艾坦·古拉里(Eitan M.Gurari)。 4 轩尼诗,Matthew C.B。 4 劳伦斯·J·亨森。 4 Daniel S.Hirschberg。 4 米迦·霍弗里 4 埃利斯·霍洛维茨 4 Ja'Ja',Joseph F。 4 大卫·斯蒂夫·约翰逊 4 拉文德兰坎南 4 南饶省科萨拉州 4 理查德·雷德纳(Richard E.Ladner)。 4 Stephen S.Lavenberg。 4 大卫·迈尔 4 伊莎·曼苏尔 4 库尔特·梅尔霍恩 4 迈克尔·梅里特。 …还有1683位作者 全部的 前5名字段 1,087 计算机科学(68至XX) 154 数值分析(65-XX) 122 数学逻辑和基础(03-XX) 119 运筹学、数学规划(90-XX) 92 信息与通信理论、电路(94-XX) 82 组合数学(05-XX) 58 概率论与随机过程(60-XX) 20 线性代数和多线性代数;矩阵理论(15-XX) 19 数论(11-XX) 11 群论与推广(20-XX) 10 场论和多项式(12-XX) 9 统计学(62-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 7 凸和离散几何(52至XX) 6 系统论;控制(93至XX) 5 一般代数系统(08-XX) 5 近似和展开(41至XX) 4 生物学和其他自然科学(92-XX) 三 阶、格、有序代数结构(06-XX) 三 实际功能(26年X月X日) 三 欧氏空间的调和分析(42至XX) 三 积分方程(45-XX) 三 变分法与最优控制;最优化(49至XX) 2 历史和传记(01-XX) 2 结合环与代数(16-XX) 2 复变量的函数(30年XX月) 2 常微分方程(34-XX) 2 偏微分方程(35-XX) 2 算子理论(47-XX) 1 交换代数(13-XX) 1 非结合环和代数(17-XX) 1 积分变换,运算微积分(44-XX) 1 几何图形(51至XX) 1 一般拓扑结构(54至XX) 1 代数拓扑(55-XX) 1 流形和细胞复合体(57至XX) 1 整体分析,流形分析(58至XX) 1 粒子和系统力学(70-XX) 1 地球物理学(86-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1,543出版物有被引用43481中的次31973文件 引用人▼ 年份▼ 使用半定规划改进最大割和可满足性问题的近似算法。 Zbl 0885.68088号 米歇尔·戈曼斯(Michel X·Goemans)。;大卫·P·威廉姆森。 704 1995 基于解析原理的面向机器的逻辑。 Zbl 0139.12303号 罗宾逊,J.A。 591 1965 交替。 Zbl 0473.68043号 Ashok K·钱德拉。;德克斯特·C·科赞。;Stockmeyer,Larry J。 521 1981 量化理论的计算过程。 Zbl 0212.34203号 M.戴维斯。;H.普特南。 419 1960 网络流问题算法效率的理论改进。 Zbl 0318.90024号 杰克·埃德蒙兹;理查德·卡普(Richard M.Karp)。 387 1972 在一个错误的过程中不可能达成分布式共识。 Zbl 0629.68027号 迈克尔·菲舍尔。;南希·林奇。;迈克尔·帕特森。 368 1985 多项式恒等式验证的快速概率算法。 Zbl 0452.68050号 J.T.施瓦茨。 366 1980 单点和多点迭代的最佳次序。 Zbl 0289.65023号 孔,H.T。;J.F.特劳布。 359 1974 合流约简:术语重写系统的抽象属性和应用。 Zbl 0458.68007号 杰拉德·休特 356 1980 旅行商问题的整数规划公式。 Zbl 0100.15101号 C.E.米勒。;A.W.塔克。;泽姆林,R.A。 353 1960 硬实时环境中多道程序的调度算法。 Zbl 0265.68013号 刘,C.L。;詹姆斯·莱兰德。 350 1973 不确定性和并发性的代数定律。 Zbl 0629.68021号 马修·轩尼诗;罗宾·米尔纳 342 1985 斐波那契堆及其在改进的网络优化算法中的应用。 Zbl 1412.68048号 迈克尔·弗雷德曼。;罗伯特·恩德雷·塔尔扬 330 1987 P-完全近似问题。 Zbl 0348.90152号 萨赫尼,萨尔塔吉;特奥菲洛·冈萨雷斯 327 1976 有效的平面度测试。 Zbl 0307.68025号 约翰·霍普克罗夫特;罗伯特·塔尔扬 318 1974 彩色编码。 Zbl 0885.68116号 诺加·阿龙;拉斐尔·尤斯特;乌里·兹威克 309 1995 可学习性和Vapnik-Chervonenkis维度。 Zbl 0697.68079号 安塞尔姆·布鲁默;安德烈·埃伦菲赫特;大卫·豪斯勒;曼弗雷德·沃穆特。 299 1989 在出现故障时达成协议。 Zbl 0434.68031号 M.皮斯。;肖斯塔克,R。;L·兰波特。 287 1980 最大流问题的一种新方法。 Zbl 0661.90031号 Andrew V.Goldberg。;Robert E.Tarjan。 285 1988 数字和统计问题的“直接搜索”解决方案。 Zbl 0111.12501号 胡克,R。;T·A·杰夫斯。 282 1961 通用逻辑程序的基础良好的语义。 Zbl 0799.68045号 范·盖尔德,艾伦;Kenneth A.Ross。;约翰·施利普夫(John S.Schlipf)。 278 1991 串对串校正问题。 Zbl 0278.68032号 罗伯特·瓦格纳。;迈克尔·菲舍尔。 268 1974 关于无语境语言。 Zbl 0154.25801号 R·J·帕里赫。 265 1966 背包和子集和问题的快速近似算法。 兹伯利0345.90049 奥斯卡·H·伊巴拉。;Kim,Chul E。 258 1975 谓词逻辑作为一种编程语言的语义。 Zbl 0339.68004号 范·埃姆登,M.H。;科瓦尔斯基,R.A。 257 1976 通信顺序过程的理论。 Zbl 0628.68025号 布鲁克斯,S.D。;霍尔,C.A.R。;A.W.罗斯科。 253 1984 平面图上NP-完全问题的近似算法。 Zbl 0807.68067号 布伦达·S·贝克。 248 1994 具有不同类别客户的开放、封闭和混合队列网络。 Zbl 0313.68055号 篮子,森林;K.Mani Chandy;理查德·蒙兹(Richard R.Muntz)。;费尔南多·帕拉西奥斯。 248 1975 递归函数复杂性的机器相关理论。 Zbl 0155.01503号 曼纽尔·布卢姆 244 1967 命题线性时序逻辑的复杂性。 Zbl 0632.68034号 西斯特拉,A.P。;E.M.克拉克。 234 1985 “强”NP完成结果:动机、示例和含义。 Zbl 0379.68035号 Garey,M.R。;D.S.约翰逊。 233 1978 机构:规范和编程的抽象模型理论。 Zbl 0799.68134号 约瑟夫·戈根(Joseph A.Goguen)。;罗德·M·伯斯托尔。 231 1992 第一类积分方程的数值解法。 Zbl 0108.29902号 菲利普斯,D.L。 230 1962 定义逻辑的框架。 Zbl 0778.03004号 罗伯特·哈珀;Furio Honsell;戈登·普洛金 225 1993 一个好的但不是线性的集合合并算法的效率。 Zbl 0307.68029号 罗伯特·恩德雷·塔尔扬 222 1975 初始代数语义和连续代数。 Zbl 0359.68018号 J.A.戈根。;J.W.撒切尔。;瓦格纳,E.G。;J.B.赖特。 219 1977 开放式车间调度以最小化完工时间。 Zbl 0343.68031号 特奥菲洛·冈萨雷斯;萨赫尼,萨尔塔吉 216 1976 布尔矩阵的一个定理。 Zbl 0118.33104号 南卡罗来纳州沃沙尔。 205 1962 重温“有时”和“从不”:关于分支与线性时间时序逻辑。 Zbl 0629.68020号 艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。 204 1986 程序大小理论在形式上与信息论相同。 兹比尔0309.68045 格雷戈里·查廷。 203 1975 关于多项式时间可约性的结构。 Zbl 0322.68028号 理查德·雷德纳(Richard E.Ladner)。 201 1975 在串行算法设计中应用并行计算算法。 Zbl 0627.68034号 尼姆罗德·梅吉多 201 1983 一种空间经济后缀树构造算法。 Zbl 0329.68042号 爱德华·麦克里特。 198 1976 正则表达式的导数。 Zbl 0225.94044号 Janusz A.Brzozowski。 197 1964 分布式环境中的知识和常识。 Zbl 0699.68115号 约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆 194 1990 关于非循环数据库方案的可取性。 Zbl 0624.68087号 凯特丽尔·比里;罗纳德·费金;大卫·迈尔;米哈利斯·亚纳卡基斯 192 1983 图像处理和超大规模集成电路中覆盖和封装问题的近似方案。 Zbl 0633.68027号 多里特·霍奇鲍姆。;沃尔夫冈·马斯 192 1985 除了有效性之外,证明或NP中的所有语言都具有零知识证明系统。 Zbl 0799.68101号 奥德·戈尔德雷奇;西尔维奥·米卡利;阿维·威格德森 189 1991 关于逼近极小化问题的困难。 Zbl 0814.68064号 卡斯滕·隆德;米哈利斯·亚纳卡基斯 183 1994 非线性积分方程的迭代程序。 Zbl 0149.11503号 D.G.安德森。 182 1965 可逆有界多计数器及其决策问题。 Zbl 0365.68059号 奥斯卡·H·伊巴拉。 176 1978 自调整二进制搜索树。 Zbl 0631.68060号 丹尼尔·多米尼克·斯莱特;罗伯特·恩德雷·塔尔扬 168 1985 调度独立任务的算法。 Zbl 0326.68024号 Sarni,Sartaj K。 167 1976 当尺寸固定时,线性时间内的线性规划。 Zbl 0637.90064号 尼姆罗德·梅吉多 155 1984 使用傅里叶分析快速直接求解泊松方程。 Zbl 0139.10902号 R.W.霍克尼。 152 1965 关于通信有限状态机。 兹比尔0512.68039 布兰德,丹尼尔;扎菲罗普洛,皮特罗 151 1983 一种用于开发递归程序的转换系统。 兹伯利0343.68014 R.M.伯斯托尔。;约翰·达林顿 150 1977 并行前缀计算。 Zbl 0445.68066号 理查德·雷德纳(Richard E.Ladner)。;迈克尔·菲舍尔。 148 1980 无法追踪相互模拟。 Zbl 0886.68027号 布鲁姆,巴德;索林·伊斯特拉尔;阿尔伯特·R·迈耶。 146 1995 通用算术表达式的并行计算。 Zbl 0276.68010号 理查德·布伦特(Richard P.Brent)。 146 1974 存储具有O(1)最坏情况访问时间的稀疏表。 兹比尔062968068 迈克尔·弗雷德曼。;科姆洛斯,贾诺斯;恩德雷·斯泽梅雷迪 142 1984 关于计算有限二进制序列的程序长度。 Zbl 0158.25301号 格雷戈里·查廷。 141 1966 交互式证明系统的代数方法。 Zbl 0799.68097号 卡斯滕·隆德;福特诺,兰斯;霍华德·卡洛夫;诺姆·尼桑 139 1992 索引语法-上下文无关语法的扩展。 Zbl 0175.27801号 阿霍,A.V。 137 1968 旅行推销员问题的动态规划处理。 Zbl 0106.14102号 理查·贝尔曼 136 1962 用于近似凸体体积的随机多项式时间算法。 Zbl 0799.68107号 马丁·戴尔;阿兰·弗里兹;拉维·坎南 135 1991 一些等式理论的全套约简。 Zbl 0479.68092号 杰拉尔德·彼得森。;Stickel,Mark E。 133 1981 搜索图形的复杂性。 Zbl 0637.68081号 新墨西哥州梅吉多。;哈基米,S.L。;Garey,M.R。;D.S.约翰逊。;Papadimitriou,C.H。 124 1988 关于子序列和超序列的一些问题的复杂性。 Zbl 0371.68018号 大卫·迈尔 124 1978 用有时间限制的计算机描述下推机器的特性。 Zbl 0222.02035号 斯蒂芬·库克。 123 1971 一种简单的在线二进制分组算法。 Zbl 0629.68045号 Lee,C.C.李。;Lee,D.T。 119 1985 概率验证的复杂性。 Zbl 0885.68109号 科斯塔斯·库库贝蒂斯;米哈利斯·亚纳卡基斯 118 1995 稀疏网络中最短路径的有效算法。 Zbl 0343.68028号 唐纳德·约翰逊。 118 1977 树操作系统和Church-Rosser定理。 Zbl 0267.68013号 巴里·罗森。 117 1973 恒定深度电路、傅里叶变换和可学习性。 Zbl 0781.94006号 内森·利尼尔;伊莎·曼苏尔;诺姆·尼桑 116 1993 放慢排序网络速度以获得更快的排序算法。 Zbl 1378.68037号 理查德·科尔 115 1987 使用背包问题的应用程序计算分区。 Zbl 0329.90046号 埃利斯·霍洛维茨;萨赫尼,萨尔塔吉 115 1974 网络同步的复杂性。 Zbl 0628.68045号 巴鲁克·奥尔布奇 115 1985 多处理器的异步迭代方法。 Zbl 0372.68015号 杰拉德·M·鲍德特。 115 1978 解决方案的硬性示例。 Zbl 0639.68093号 阿拉斯代尔·厄克哈特 112 1987 一个真正的时间逻辑。 Zbl 0807.68065号 拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 108 1994 超图和关系数据库方案的非循环度。 Zbl 0624.68088号 罗纳德·费金 108 1983 可逆语言的推理。 Zbl 0485.68066号 达纳州安格鲁因 108 1982 矩阵求逆直接方法的误差分析。 Zbl 0109.09005号 威尔金森,J.H。 107 1961 调度不相同处理器的精确和近似算法。 Zbl 0329.68041号 埃利斯·霍洛维茨;萨赫尼,萨尔塔吉 106 1976 求一组向量的最大值。 Zbl 0316.68030号 孔,H.T。;卢西奥,F。;预制件,F.P。 106 1975 多维点集的分解,应用于\(k)-最近邻和\(n)-体势场。 兹伯利0886.68078 保罗·B·卡拉汉。;南饶省科萨拉州 105 1995 关于知识和概率的推理。 Zbl 0806.68098号 罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 101 1994 无回溯搜索的充分条件。 Zbl 0477.68063号 尤金·弗洛伊德。 100 1982 对逻辑程序设计理论的贡献。 兹比尔048368004 Krzysztof R.阿普特。;范·埃姆登,M.H。 100 1982 时间间隔的命题模态逻辑。 Zbl 0799.68175号 约瑟夫·霍尔珀(Joseph Y.Halpern)。;约夫·肖姆 99 1991 从示例中学习的计算限制。 Zbl 0662.68086号 莱昂纳德·皮特;莱斯利·瓦利安特(Leslie G.Valiant)。 98 1988 使用傅里叶级数近似对拉普拉斯变换进行数值反演。 Zbl 0315.65074号 肯尼·克拉姆。 97 1976 子图同构的一种算法。 Zbl 0323.05138号 J.R.乌尔曼。 96 1976 一种基于局部过程的插值和平滑曲线拟合的新方法。 Zbl 0209.46805号 广岛明岛 96 1970 最长公共子序列问题的算法。 Zbl 0402.68041号 Daniel S.Hirschberg。 96 1977 再污染无助于搜索图形。 Zbl 0768.68048号 安德烈亚·拉帕。 95 1993 通过将拉普拉斯变换与有限傅里叶余弦变换联系起来进行数值反演。 Zbl 0165.51403号 H.杜布纳。;J·阿巴特。 95 1968 合流和其他类型的Thue系统。 Zbl 0478.68032号 罗纳德·V·布克。 95 1982 许多难以解决的例子。 Zbl 0712.03008号 瓦舍克·查塔尔;恩德雷·斯泽梅雷迪 94 1988 使用半定规划改进最大割和可满足性问题的近似算法。 Zbl 0885.68088号 米歇尔·戈曼斯(Michel X·Goemans)。;大卫·P·威廉姆森。 704 1995 颜色编码。 兹伯利0885.68116 诺加·阿龙;拉斐尔·尤斯特;乌里·兹威克 309 1995 无法追踪相互模拟。 Zbl 0886.68027号 布鲁姆,巴德;索林·伊斯特拉尔;阿尔伯特·R·迈耶。 146 1995 概率验证的复杂性。 Zbl 0885.68109号 科斯塔斯·库库贝蒂斯;米哈利斯·亚纳卡基斯 118 1995 多维点集的分解及其在(k)-最近邻和(n)-体势场中的应用。 Zbl 0886.68078号 保罗·B·卡拉汉。;南饶省科萨拉州 105 1995 设计检查他们工作的程序。 Zbl 0886.68046号 曼纽尔·布卢姆;桑帕斯·坎南 73 1995 分支互模拟的三种逻辑。 Zbl 0886.68064号 德尼古拉,罗科;Vaandrager,Frits公司 73 1995 时间关系推理:艾伦区间代数的一个最大可处理子类。 Zbl 0886.68077号 伯恩哈德内贝尔;汉斯·尤根·伯克特 68 1995 关于\(k\)-server猜想。 Zbl 0885.68075号 埃利亚斯·库索皮亚斯;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 66 1995 基于逻辑的诱拐的复杂性。 Zbl 0886.68121号 托马斯·艾特;格奥尔格·戈特洛布 64 1995 在消息传递系统中可靠地共享内存。 Zbl 0886.68018号 哈吉特·阿提亚;巴诺伊,阿莫茨;丹尼·多列夫 47 1995 寻找最小生成树的随机线性时间算法。 Zbl 0886.68079号 大卫·R·卡格。;菲利普·克莱恩(Philip N.Klein)。;Robert E.Tarjan。 47 1995 当维数较小时,用于线性和整数规划的拉斯维加斯算法。 Zbl 0885.65063号 肯尼思·克拉克森。 45 1995 面向对象和基于框架的语言的逻辑基础。 Zbl 0885.68054号 迈克尔·基弗;乔治·劳森;詹姆斯·吴 35 1995 参数和局部变量。 兹伯利0885.68039 运营;赫恩,P.W。;田纳西州。 29 1995 左线性完全项重写系统直和的终止。 Zbl 0885.68093号 Y.富山。;Klop,J.W。;巴伦德雷格特,H.P。 28 1995 关于行凸约束网络的极小性和全局一致性。 Zbl 0885.68087号 彼得·范比克;丽娜·德希特 25 1995 同构猜想相对于随机预言而言是失败的。 Zbl 0886.68068号 斯图亚特·库尔茨(Stuart A.Kurtz)。;斯蒂芬·马哈尼。;詹姆斯·罗耶(James S.Royer)。 23 1995 非合作最优流量控制中平衡点的存在性。 Zbl 0885.68015号 Yannis A.Korilis。;奥雷尔·拉扎尔(Aurel A.Lazar)。 21 1995 NP树和Carnap的模态逻辑。 Zbl 0886.68069号 格奥尔格·戈特洛布 17 1995 正则图的特征值和展开。 Zbl 0885.68117号 纳比尔·卡哈尔 16 1995 关于遗忘对学习机器的影响。 Zbl 0891.68088号 弗赖夫德斯(Rásiņsh);Efim金伯;卡尔·H·史密斯。 16 1995 移动用户的在线跟踪。 Zbl 0885.68017号 巴鲁克·奥尔布奇;大卫·佩勒 14 1995 一类可通过线性规划解决的逻辑问题。 Zbl 0900.03025号 米歇尔·孔夫蒂;杰拉德·科努约尔斯 14 1995 将默认逻辑转换为标准自认知逻辑。 Zbl 0884.03025号 格奥尔格·戈特洛布 13 1995 等式规范,完整项重写系统,可计算和半可计算代数。 Zbl 0885.68092号 J.A.伯格斯特拉。;J.V.塔克。 12 1995 动态容错时钟同步。 Zbl 0886.68008号 丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。;西蒙,芭芭拉;坚强,雷 10 1995 使用有故障的共享对象进行计算。 Zbl 0890.68019号 耶胡达·阿费克;大卫·S·格林伯格。;迈克尔·梅里特;加迪·陶本费尔德 10 1995 明显正确的行动理论。 Zbl 0886.68122号 林方珍;约夫·肖姆 6 1995 次二次零知识。 Zbl 0890.68054号 琼·博亚尔;吉尔·布拉萨尔;雷内·佩拉尔塔 5 1995 区域通用网络上的确定性在线路由。 Zbl 0885.68029号 保罗·贝;吉安弗兰科·比拉尔迪 4 1995 通过数值反演生成函数计算封闭排队网络的归一化常数。 Zbl 0885.68026号 加根·L·乔杜里。;梁建康(Leung,Kin K.)。;沃德·惠特 4 1995 平面自适应路由:多处理器的低成本自适应网络。 Zbl 0886.68017号 Andrew A.Chien。;Kim,Jae H。 三 1995 从正则变量构造单写多读取器多值原子变量。 Zbl 0886.68019号 哈尔达尔,S。;维迪亚桑卡尔,K。 三 1995 多层通道布线的近似最优算法和边界。 Zbl 0886.68021号 邦妮·伯杰;马丁·布雷迪;唐娜·布朗;汤姆·莱顿 三 1995 多处理系统中的预期死锁时间。 Zbl 0885.68040号 凯文·康普顿。;钦亚拉维桑卡 三 1995 异步分布式算法的平均通信复杂性。 兹比尔0886.68070 Tsitsiklis,John N。;乔治·D·斯塔穆利斯。 2 1995 缓冲系统的最佳服务策略。 Zbl 0885.68016号 亚历山大·伯曼;H.理查德·盖尔;西德尼·L·汉特勒。;兹维州罗斯伯格;莫西·西迪 2 1995 一种恒定时间最优并行字符串匹配算法。 Zbl 0885.68082号 兹维·加利勒 2 1995 并行处理系统中部分同步的加速和效率界限。 Zbl 0886.68020号 Chang,C.S。;R·纳尔逊。 1 1995 将历史用于方程式系统的理论及其应用。 Zbl 0885.68128号 Rakesh M.维尔玛。 1 1995 可恢复序列传输协议。 Zbl 0885.68018号 伊万·D·坦佩罗。;理查德·雷德纳(Richard E.Ladner)。 1 1995 平面图上NP-完全问题的近似算法。 Zbl 0807.68067号 布伦达·S·贝克。 248 1994 关于逼近极小化问题的困难。 Zbl 0814.68064号 卡斯滕·隆德;米哈利斯·亚纳卡基斯 183 1994 一个真正的时间逻辑。 Zbl 0807.68065号 拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 108 1994 关于知识和概率的推理。 Zbl 0806.68098号 罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 101 1994 学习布尔公式和有限自动机的密码限制。 Zbl 0807.68073号 迈克尔·卡恩斯;莱斯利·瓦利安特 73 1994 双连通近似和图形雕刻。 Zbl 0822.68082号 萨米尔·库勒;乌兹·维什金 50 1994 关于二进制约束问题。 兹伯利0813.03045 彼得·拉德金。;罗杰·D·麦德克斯。 41 1994 最短超弦的线性近似。 Zbl 0812.68075号 阿夫林·布鲁姆;姜涛;李明;约翰·特朗普;米哈利斯·亚纳卡基斯 38 1994 计算网络。 Zbl 0813.68050号 詹姆斯·阿斯普内斯;莫里斯·赫利希;沙维特,尼尔 26 1994 图着色的新近似算法。 Zbl 0821.68092号 阿夫林·布鲁姆 25 1994 关于有界并发的威力。一: 有限自动机。 Zbl 0813.68138号 多龙·德鲁辛斯基;大卫·哈雷 23 1994 等式推理、规范证明和证明顺序。 Zbl 0806.68095号 利奥·巴赫迈尔;纳鸿·德肖维茨 19 1994 实例复杂性。 Zbl 0807.68035号 佩卡·奥波宁;Ko、Ker-I;乌韦州Schöning;渡边,乌萨木 18 1994 带否定的数据日志程序的模块化分层和魔术集。 Zbl 0830.68028号 Kenneth A.Ross。 16 1994 学习布尔公式。 Zbl 0830.68108号 迈克尔·卡恩斯;李明;莱斯利·瓦利安特 16 1994 无等待算法速度快吗? Zbl 0812.68077号 哈吉特·阿提亚;南希·林奇;沙维特,尼尔 15 1994 计算非单调演绎数据库的混合整数规划方法。 Zbl 0830.68039号 科林·贝尔;尼禄,阿尼尔;Ng,Raymond T。;苏布拉曼尼亚,V.S。 13 1994 存在移动障碍物时的运动规划。 Zbl 0812.68115号 约翰·雷夫;米查·谢里尔 13 1994 平面中具有多边形障碍物的最短路径。 Zbl 0814.68129号 詹姆斯·斯托尔(James A.Storer)。;约翰·赖夫(John H.Reif)。 12 1994 概率递推关系。 Zbl 0830.68046号 理查德·卡普(Richard M.Karp)。 11 1994 匹配算法和相关问题的平均案例分析。 Zbl 0829.68070号 拉杰夫·莫特瓦尼 10 1994 更快的树模式匹配。 Zbl 0806.68055号 莫西·杜比纳;加利尔,兹维;伊迪丝·马根 10 1994 难以捉摸的原子寄存器。 Zbl 0806.68025号 Ambuj K·辛格。;詹姆斯·安德森。;穆罕默德·古达。 10 1994 ML典型性分析。 Zbl 0806.68016号 A.J.Kfoury。;Tiuryn,J。;Urzyczyn,P。 10 1994 在时间不确定的情况下,达成协议的时间受到限制。 Zbl 0807.68042号 哈吉特·阿提亚;辛西娅·德沃克;南希·林奇;拉里·斯托克迈耶 10 1994 关于方程和不方程的求解。 Zbl 0812.68064号 Wray L.邦廷。;汉斯·尤根·伯克特 8 1994 多端网络的信道路由。 Zbl 0812.68083号 高绍迪;迈克尔·考夫曼 8 1994 鱼梨:一种优先级队列算法。 Zbl 0807.68020号 迈克尔·菲舍尔。;迈克尔·帕特森。 6 1994 关于有界并发的威力。二: 下推自动机。 Zbl 0822.68067号 蒂尔扎·赫斯特;大卫·哈雷 6 1994 基于多样性的有限自动机推理。 Zbl 0821.68085号 里维斯,罗纳德·L·。;罗伯特·夏皮雷(Robert E.Schapire)。 6 1994 可修复计算机系统稳态可用度的计算界。 Zbl 0812.68059号 John C.S.Lui。;理查德·蒙兹(Richard R.Muntz)。 6 1994 蒙特卡罗求和和积分法应用于多类排队网络。 Zbl 0829.68010号 基思·W·罗斯。;Danny H.K.Tsang。;王杰 4 1994 贪婪解析和符号文本压缩之间的关系。 Zbl 0812.68071号 Timothy C.贝尔。;伊恩·威滕。 三 1994 用于评估集合操作序列的并行算法。 兹比尔083068056 米哈伊尔·阿塔拉。;迈克尔·T·古德里奇。;南饶省科萨拉州 2 1994 同态限定:解决等式和反例问题。 Zbl 0815.68089号 Peter K.Rathmann。;玛丽安·温斯利特;马克·马纳塞 2 1994 匿名环上概率孤立性验证的严格下限。 Zbl 0806.68038号 卡尔·亚伯拉罕森;安德鲁·阿德勒;丽莎·海姆;大卫·柯克帕特里克 2 1994 定维并行线性规划几乎可以在恒定时间内实现。 Zbl 0807.90080号 诺加·阿龙;尼姆罗德·梅吉多 2 1994 有限群傅里叶反演的有效计算。 Zbl 0832.20027号 丹尼尔·罗克摩尔(Daniel N.Rockmore)。 2 1994 求三维最短路径的单指数上界。 Zbl 0814.68079号 约翰·赖夫(John H.Reif)。;詹姆斯·斯托尔(James A.Storer)。 1 1994 粗粒度PRAM上并行Givens分解的优化算法。 Zbl 0802.65024号 米歇尔·科斯纳德;El Mostafa Daoudi 1 1994 多设施阻塞模型分析的有效分解方法。 Zbl 0812.68060号 阿德里安·康韦(Adrian E.Conway)。;尤金·平斯基;特里丹达帕尼,斯里尼瓦桑 1 1994 定义逻辑的框架。 Zbl 0778.03004号 罗伯特·哈珀;Furio Honsell;戈登·普洛金 225 1993 恒定深度电路、傅里叶变换和可学习性。 Zbl 0781.94006号 内森·利尼尔;伊莎·曼苏尔;诺姆·尼桑 116 1993 再污染无助于搜索图形。 Zbl 0768.68048号 安德烈亚·拉帕。 95 1993 完美安全的信息传输。 Zbl 0774.68017号 多列夫,丹尼;辛西娅·德沃克;奥利·沃茨;Moti Yung 91 1993 共享内存的原子快照。 兹比尔0783.68029 耶胡达·阿费克;哈吉特·阿提亚;丹尼·多列夫;埃利·加夫尼;迈克尔·梅里特;沙维特,尼尔 86 1993 通过查询学习只读公式。 Zbl 0764.68139号 达纳州安格鲁因;丽莎·海勒斯坦;马雷克·卡宾斯基 52 1993 时间推理的复杂性和算法:图形理论方法。 Zbl 0795.68095号 马丁·查尔斯·格伦比奇;罗恩·沙米尔 47 1993 生成无上下文语言的过程的互模拟等价性的判定。 Zbl 0801.68102号 巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 41 1993 图约简的代数理论。 Zbl 0795.68156号 斯特凡·阿恩伯格;布鲁诺·库塞尔;安德烈·普洛斯科洛夫斯基;Seese,Detlef公司 41 1993 加权图上的随机游动及其在在线算法中的应用。 Zbl 0785.68071号 唐·科珀史密斯;彼得·多伊尔;普拉巴卡尔·拉加万;马克·斯尼尔 30 1993 知识、概率和对手。 Zbl 0783.68120号 约瑟夫·霍尔珀(Joseph Y.Halpern)。;马克·塔特尔(Mark R.Tuttle)。 28 1993 最小一致DFA问题不能在任何多项式内近似。 Zbl 0774.68084号 莱昂纳德·皮特;曼弗雷德·沃穆特。 27 1993 数据库逻辑程序的不确定优化问题。 Zbl 0785.68021号 哈伊姆·盖夫曼;哈里·梅森;叶霍舒亚·萨吉夫;莫舍·瓦尔迪。 27 1993 推理关系中可处理性的自动识别。 Zbl 0770.68106号 David A.McAllester。 26 1993 回溯搜索和分枝定界计算的随机并行算法。 Zbl 0789.68066号 理查德·卡普(Richard M.Karp)。;张彦军 18 1993 一种在多项式时间内寻找基本重写规则的正则集的算法。 兹比尔0779.68050 吉恩·加利耶;巴利亚特·纳伦德兰;大卫·普拉斯泰德;斯坦·拉茨;韦恩·斯奈德 16 1993 模态非单调逻辑:范围,特征,计算。 Zbl 0783.68121号 V.Wiktor马雷克;格里戈里·施瓦兹。;特鲁什琴斯基,米洛斯奥 14 1993 …还有1443个文档 所有引用出版物 前5名被引用出版物 全部的 前5名32269作者引用 116 奥斯卡·H·伊巴拉。 94 马丁·库特里布 80 桑杰·贾恩 76 利亚·爱泼斯坦 70 弗里德里希·奥托 68 萨科特·索拉布 64 米歇尔·雷纳尔 61 费多尔·福明。 55 卢卡·埃特罗 55 艾丽西亚·科德罗 55 托雷格罗萨·桑切斯,胡安·拉蒙 54 莫西·亚亚科夫·瓦尔迪 53 安德烈亚斯·马尔彻 53 米查·谢里尔 53 弗兰克·斯蒂芬 50 塞尔吉奥·拉杰斯鲍姆 50 格哈德·沃金格 47 Anna Ingólfsdóttir 44 罗伯特·恩德雷·塔尔扬 43 Bodlaender,Hans L。 43 Petr A.Golovach。 43 伍德,德里克 42 凯斯,约翰 42 顺介英纳加 41 阿吉罗斯、伊奥尼斯·康斯坦蒂诺斯 41 Joseph Yehuda Halpern 41 梅拉夫·泽哈维 40 Jan A.Bergstra。 40 书,罗纳德·弗农 40 大卫·约翰·埃文斯 40 格奥尔格·戈特洛布 40 马库斯·霍尔泽 40 Vitaly A.Strusevich。 39 托马斯·艾特 39 茨城,东芝 39 阿萨夫·莱文 39 亚历山大·奥霍金 39 卡斯滕·施耐德 38 亨宁费尔瑙 38 拉希德·格拉乌伊 38 科斯塔斯·S·伊利奥普洛斯。 38 马库斯·洛伊 38 安吉洛·蒙塔纳里 37 陈子怡 37 约斯特·恩格尔弗里特 37 何塞·梅塞盖尔·瓜伊塔 37 维克托·雅科夫列维奇·潘 37 大卫·佩勒 36 阿米尔,阿米胡德 36 奥德·戈尔德雷奇 35 拉兹万·迪亚科内斯库 35 丹尼尔·洛克什塔诺夫 35 克里希纳·苏布拉马尼 35 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 34 安德烈·佩尔克 34 米歇尔·史密斯。 34 法兹洛拉·索莱马尼 33 克里斯蒂安·卡鲁德。 33 陈剑儿 33 佐尔坦·埃西克 33 兹维·加利勒 33 克劳斯·扬森 33 洛塔尔·雷切尔 33 王海涛 32 陈茂文 32 吉尔伯特·拉波特 32 巴利亚特·纳伦德兰 32 格列泽戈兹·罗森贝格 32 保罗·斯皮拉基斯。 31 拉曼代普·贝尔 31 马克西姆·克罗西莫尔 31 大卫·亚瑟·爱普斯坦 31 井上,Katsushi 31 库尔特·梅尔霍恩 31 武田,Masayuki 30 潘卡杰·库马尔·阿加瓦尔 30 菲利普·比尔 30 劳拉·博泽利 30 克里希南德·查特吉 30 伊恩·麦克奎伦 30 Christos Harilaos的Papadimitriou 30 沃伊切赫·莱特 30 范格拉贝克、罗伯特·扬 30 杨伯丁 29 Bose,Prosenjit K。 29 卡雷尔·库利克二世 29 罗德尼·格雷厄姆·唐尼 29 Hemaspandra,A巷。 29 安德烈·林加 29 南希·安·林奇 29 阿尼尔·马赫什瓦里 29 罗尔夫·尼德迈尔 29 约翰·赖夫(John H.Reif)。 29 阿尔托·库斯塔·萨洛马 29 Kai T.Salomaa。 29 阿里·塔米尔 28 诺加·阿龙 28 维克拉曼·阿尔文德 28 伊迪奥·班奈 28 埃里克·D·德曼。 …还有32169名作者 全部的 前5名955种期刊引用 3,282 理论计算机科学 1,293 信息处理信件 1,027 计算机与系统科学杂志 952 离散应用数学 765 欧洲运筹学杂志 744 信息与计算 703 算法 559 人工智能 405 计算机与运筹学 359 信息学报 291 信息科学 289 分布式计算 287 国际计算机科学基础杂志 284 国际计算机数学杂志 271 数学编程。A系列B系列 270 运筹学信函 269 应用数学与计算 268 符号计算杂志 266 计算与应用数学杂志 252 离散数学 252 计算系统理论 246 自动推理杂志 242 计算机与数学及其应用 230 线性代数及应用 228 运筹学年鉴 222 数学系统理论 219 计算 215 计算几何 212 数学与人工智能年鉴 210 组合优化期刊 190 SIAM计算机杂志 171 计算数学 171 离散算法杂志 163 网络 163 数值数学 154 离散和计算几何 149 比特币 137 实时系统 131 计算机科学中的逻辑方法 130 排队系统 123 计算复杂性 119 纯逻辑与应用逻辑年鉴 117 MSCS公司。计算机科学中的数学结构 117 调度日志 116 计算的形式方面 115 数值算法 111 离散优化 110 符号逻辑杂志 107 模式识别 103 计算物理杂志 102 逻辑程序设计理论与实践 100 复杂性杂志 94 模糊集与系统 94 全球优化杂志 93 比特。Nordisk Tidskrift信息处理 92 程序设计中的逻辑和代数方法杂志 90 国际计算几何与应用杂志 88 卡尔科洛 86 国际近似推理杂志 84 系统设计中的形式化方法 82 最优化理论与应用杂志 81 组合数学 80 国际计算机与信息科学杂志 76 组合理论杂志。B系列 76 逻辑与代数程序设计杂志 74 RAIRO公司。Informatique Théorique et Applications公司 70 苏联数学杂志 70 数学和计算机建模 70 SIAM离散数学杂志 70 密码学杂志 69 计算优化与应用 65 Automatica公司 65 机器学习 65 随机结构与算法 64 数学规划 64 应用非经典逻辑杂志 63 优化信函 62 应用数值数学 62 计算机科学与技术杂志 61 数学分析与应用杂志 61 RAIRO,Informatique Théorique公司 61 逻辑研究 59 应用逻辑杂志 58 应用数学建模 57 应用力学与工程中的计算机方法 57 控制论 57 信息计算杂志 56 SIAM科学计算杂志 55 凯贝内提卡 55 模拟中的数学与计算机 55 欧洲组合数学杂志 55 控制论与系统分析 55 运筹学国际交易 54 函数编程杂志 53 海军研究后勤 53 国际生产研究杂志 52 并行与分布式计算杂志 50 工程和信息科学中的概率 50 ACM计算逻辑事务 49 算法 …还有855种期刊 全部的 前5名62个领域被引用 20,609 计算机科学(68至XX) 6,160 运筹学、数学规划(90-XX) 3,904 组合数学(05-XX) 3,483 数值分析(65-XX) 3,468 数学逻辑和基础(03-XX) 1324年 信息与通信理论、电路(94-XX) 888 概率论与随机过程(60-XX) 872 博弈论、经济学、金融和其他社会和行为科学(91-XX) 500 统计学(62-XX) 483 线性代数和多线性代数;矩阵理论(15-XX) 454 数论(11-XX) 420 生物学和其他自然科学(92-XX) 413 凸和离散几何(52至XX) 400 系统论;控制(93至XX) 343 群论与推广(20-XX) 292 阶、格、有序代数结构(06-XX) 254 偏微分方程(35-XX) 248 量子理论(81-XX) 235 常微分方程(34-XX) 223 近似和展开(41至XX) 216 场论和多项式(12-XX) 202 流体力学(76-XX) 194 范畴理论;同调代数(18-XX) 177 可变形固体力学(74-XX) 166 变分法与最优控制;最优化(49至XX) 164 交换代数(13-XX) 158 一般代数系统(08-XX) 140 代数几何(14-XX) 124 动力系统和遍历理论(37至XX) 123 统计力学,物质结构(82-XX) 114 积分方程(45-XX) 108 算子理论(47-XX) 98 特殊功能(33至XX) 91 实际功能(26年X月X日) 86 历史和传记(01-XX) 86 积分变换,运算微积分(44-XX) 85 复变量的函数(30年XX月) 78 几何图形(51至XX) 71 欧氏空间的调和分析(42至XX) 69 结合环与代数(16-XX) 69 一般拓扑结构(54至XX) 55 总体主题;集合(00-XX) 49 流形和细胞复合体(57至XX) 49 粒子和系统力学(70-XX) 44 差分方程和函数方程(39至XX) 43 功能分析(46倍X倍) 43 光学、电磁理论(78-XX) 37 代数拓扑(55-XX) 37 地球物理学(86-XX) 36 经典热力学,传热(80-XX) 26 测量和集成(28-XX) 23 非结合环和代数(17-XX) 23 微分几何(53至XX) 15 整体分析,流形分析(58至XX) 10 拓扑群、李群(22日至XX日) 10 序列、级数、可和性(40-XX) 9 相对论和引力理论(83至XX) 7 势能理论(31日至XX日) 7 数学教育(97-XX) 6 几个复变量和分析空间(32-XX) 5 抽象谐波分析(43-XX) 1 天文学和天体物理学(85-XX) 按年份列出的引文