×

计算机协会杂志

简短标题: J.协会计算。机器。
出版商: 纽约州纽约市计算机协会(ACM)
国际标准编号: 0004-5411
在线: http://dl.acm.org/citation.cfm?id=J401
继承人: 美国医学会杂志
评论: 期刊;不再索引
已编制索引的文档: 1779出版物(1955–1995)
索引的引用: 15出版物参考文献169篇。
全部的 前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位作者

按年份列出的出版物

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名

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)

按年份列出的引文