倒排索引综述ACM调查与辅导杂志 简短标题： ACM计算。Surv公司。 出版商： 纽约州纽约市计算机协会（ACM） 国际标准编号： 0360-0300; 1557-7341/年 在线： http://dl.acm.org/pub.cfm？id=J204网址：https://dl.acm.org/loi/csur 前任： 计算调查 评论： 期刊；不再索引 已编制索引的文档： 91出版物(1986–2017) 引用索引： 18出版物参考文献2150。 全部的 前5名最新问题 502017年第3号 472014年第1期 462014年第4号 462014年第3期 462013年第2期 462013年第1期 452013年第4号 452013年第3期 452013年第2期 452012年第1期 442012年第4号 44，第3号（2012年） 442012年第1期 432011年第4号 432011年第3期 43，第2号（2011年） 412009年第4期 28，第1号（1996） 21，第1期（1989年） 201988年第4期 201988年第3期 20，第1期（1988年） 19，第3期（1987年） 18，第3号（1986年） 全部的 前5名作者 2 穆罕默德·本纳穆恩 2 牧场克利夫兰 2 彼得·丰塔纳 2 乔安·加马 2 C.A.R.Tony Hoare 2 Gary T.Leavens。 2 贾亚德夫·米斯拉 2 Natarajan Shankar 1 谢尔盖·阿比特布尔 1 查鲁·C·阿加瓦尔。 1 卡洛斯·阿贡 1 阿尼萨·阿赫菲德 1 Luiz C.P.阿尔比尼。 1 阿尔塞耶德·阿尔盖尔盖伊 1 阿尔卑斯山、坦苏 1 托尔斯滕·安德斯 1 阿鲁齐奥·福斯托·里贝罗（Aluizio Fausto Ribeiro） 1 朱奈德·阿尔沙德 1 马可·阿滕 1 塔梅尔·巴克萨尔 1 罗德里戈·C·巴罗斯。 1 伯纳迪，西蒙 1 罗伯特·比德尔 1 比尔扎，康查 1 阿尔伯特·比菲 1 谢尔盖·布拉戈杜罗夫 1 阿卜杜勒哈米德·布查奇亚 1 艾伦·D·伯恩斯。 1 本杰明·布斯托斯 1 马塞尔·坎彭 1 克劳迪奥·卡皮内托 1 Francky V.M.Catthoor。 1 Chaovalit，皮姆瓦德 1 陈志远 1 索尼娅·基亚松 1 楚、白城 1 卢卡·西塔迪尼 1 克里斯蒂安·科伦坡 1 Marta R.Costa-Jussá。 1 乔·雷宾舍克（Matej） 1 马克西姆·克罗西莫尔 1 斯科特·丹福思 1 罗伯特·戴维斯。 1 洛科·德尼古拉 1 豪尔赫·弗雷尔·德·索萨 1 罗纳德·德马拉。 1 伊莎贝·德梅里 1 朱尔斯·德沙奈斯 1 朱塞佩·迪巴蒂斯塔 1 董静 1 劳伦斯·杜利。 1 埃利亚斯·杜阿尔特（Elias P.jun Duarte）。 1 罗兰·杜库诺 1 安德里斯·彼得鲁斯·恩格尔布雷希特 1 菲利普·埃斯林 1 弗拉维奥·埃斯波西托 1 伊莱恩·法里亚（Elaine R.Faria）。 1 西蒙·法罗 1 米雷亚·法鲁斯 1 费利克斯·C·弗雷林。 1 马格里奥·马奎斯·弗雷尔 1 卡洛·阿尔贝托·福里亚 1 珍妮·雷蒙德·加涅 1 阿丽亚·甘戈帕德亚伊 1 马修·格伯（Matthew J.Gerber）。 1 苏比尔·库马尔·戈什 1 乔安·五·戈麦斯。 1 佩德罗·贡内特 1 帕塔·普拉蒂姆·戈斯瓦米 1 科斯塔斯·古提斯（Costas E.Goutis）。 1 泽维尔·格雷汉特 1 拉希德·格拉乌伊 1 吉安·卢普·纪尧姆 1 贾维尔·古蒂雷兹 1 埃尔基·哈朱拉 1 约翰·哈特克利夫 1 马尔代·赫尔比格 1 迈克尔·亨森（Michael A.Henson）。 1 Daniel S.Hirschberg。 1 史蒂芬·C·H·海。 1 凯瑟琳·霍华德 1 爱德华多·劳尔·赫鲁什卡 1 Jean-Pierre Hubaux 1 露西恩·伊利 1 佩德罗·R·M·伊纳西奥。 1 瓦切·伊沙基安 1 安德烈·贾兹奇克 1 雅普，斯维尔 1 兰吉特·贾拉 1 杰，魏 1 阿利皮奥·马里奥·豪尔赫 1 乔治·卡拉巴蒂斯 1 萨夫纳斯·卡里米 1 古尔·C·卡马卡。 1 奥索·卡斯宁 1 Jeroen J.A.Keiren。 1 凯莱福拉斯，瓦西利奥斯一世。 1 斯蒂芬·凯利。 1 马克·克莱因 1 凯文·奈特。 …还有124位作者 全部的 前5名领域 87 计算机科学（68至XX） 8 信息与通信理论、电路（94-XX） 4 组合数学（05-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 2 总体主题；集合（00-XX） 2 统计学（62-XX） 1 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用1010中的次983文件 引用人▼ 年份▼ 静态网络中的最短路径查询。 兹比尔1305.68137 克里斯蒂安·索默 111 2014 概念漂移适应研究综述。 Zbl 1305.68141号 乔安·加马；朱利奥贝特；阿尔伯特·比菲；Mykola Pechenizkiy；阿卜杜勒哈米德·布查奇亚 65 2014 网络中重叠社区检测的最新研究和比较。 Zbl 1288.68191号 谢杰瑞；斯蒂芬凯利；Szymanski，Boleslaw K。 59 2013 轮询模型的排队分析。 Zbl 0649.68032号 Hideaki Takagi 47 1988 局部算法综述。 Zbl 1293.68306号 朱卡·索米拉 44 2013 进化算法的探索与利用：综述。 Zbl 1293.68251号 乔·雷宾舍克（Matej）；刘世喜；马尔扬·默尼克 42 2013 博弈论符合网络安全和隐私。 Zbl 1293.91042号 穆罕默德·侯赛因·曼沙伊；朱全燕；阿尔卑斯山、坦苏；塔梅尔·巴克萨尔；Jean-Pierre Hubaux 40 2013 多处理机系统硬实时调度综述。 Zbl 1293.68068号 罗伯特·戴维斯。；艾伦·伯恩斯 39 2011 可逆电路的合成与优化——综述。 Zbl 1293.94141号 迈赫迪·赛迪；伊戈尔·马尔科夫。 30 2013 空间、树和颜色：基于序列的文档检索的算法景观。 Zbl 1305.68078号 冈萨洛·纳瓦罗 30 2014 时间序列数据挖掘。 Zbl 1293.68104号 菲利普·埃斯林；卡洛斯·阿贡 26 2012 精确在线字符串匹配问题：最新结果综述。 兹比尔1293.68314 西蒙·法罗；蒂埃里·勒克罗克 26 2013 统一：多学科调查。 Zbl 0677.68098号 凯文·奈特 25 1989 在线投资组合选择：一项调查。 Zbl 1306.91129号 李斌；史蒂芬·C·H·海。 24 2014 组合测试综述。 Zbl 1293.68080号 聂长海；哈里顿·梁 20 2011 离散贝叶斯网络分类器：一项调查。 Zbl 1322.68147号 比尔扎，康查；佩德罗·拉拉纳加 20 2014 回归的集合方法：一项调查。 Zbl 1293.68234号 乔昂·门德斯·莫雷拉；卡洛斯·苏亚雷斯；阿利皮奥·马里奥·豪尔赫；豪尔赫·弗雷尔·德·索萨 19 2012 点、线段和多边形可见性图中未解决的问题。 Zbl 1288.05056号 戈什，苏比尔·K。；戈斯瓦米，Partha P。 16 2013 传感器网络中的覆盖问题：调查。 Zbl 1293.68042号 王邦 15 2011 数据压缩。 Zbl 0647.94002号 黛布拉·莱勒（Debra A.Lelewer）。；Daniel S.Hirschberg。 14 1987 自适应正交误差估计综述。 Zbl 1293.65037号 佩德罗·贡内特 13 2012 行为接口规范语言。 Zbl 1293.68078号 约翰·哈特克利夫；Gary T.Leavens。；Leino，K.Rustan M。；彼得·米勒；马修·帕金森 12 2012 多边形网格修复：应用前景。 Zbl 1293.68279号 马可·阿滕；马塞尔·坎彭；莱夫·科贝特 12 2013 进化网络分析：一项调查。 Zbl 1322.68138号 查鲁·阿加瓦尔；卡提克省苏比安 12 2014 随机过程计算的统一定义。 Zbl 1288.68184号 尼古拉·洛科·德；迭戈·拉特拉；米歇尔·洛雷蒂；梅克·马西克 12 2013 数据库系统中的统计轮廓估计。 Zbl 0661.68114号 迈克尔五世·曼尼诺。；楚、白城；托马斯·萨格尔 11 1988 数据流聚类，一项调查。 Zbl 1288.68200号 乔纳森·席尔瓦。；伊莱恩·法里亚（Elaine R.Faria）。；罗德里戈·C·巴罗斯。；爱德华多·赫鲁什卡。；安德烈·C·P·L·F·德·卡瓦略。；乔安·加马 11 2013 基于程序切片技术的词汇表。 Zbl 1293.68081号 乔塞普·席尔瓦 9 2012 软件模型检查。 Zbl 1507.68188号 兰吉特·贾拉；鲁帕克·马朱姆达尔 9 2009 基于比较的系统级诊断综述。 Zbl 1293.68064号 埃利亚斯·杜阿尔特。；Roverli P.齐威奇。；Luiz C.P.阿尔比尼。 8 2011 类型理论和面向对象编程。 Zbl 0649.68009号 斯科特·丹福思；汤姆林森，克里斯 6 1988 故障检测器抽象。 Zbl 1293.68053号 费利克斯·C·弗雷林。；拉希德·格拉乌伊；彼得·库兹涅佐夫 6 2011 从文本中学习本体：回顾与展望。 Zbl 1293.68243号 Wong，Wilson（威尔逊·王）；刘伟；穆罕默德·本纳穆恩 6 2012 基于索引的Lempel-Ziv LZ77分解算法的比较。 Zbl 1293.68312号 阿尼萨·阿赫菲德；马克西姆·克罗西莫尔；露西恩·伊利；Evguenia科佩洛娃；西弗·史密斯。；德国蒂施勒；穆尼纳·优素福 6 2012 自动扣除进行验证。 Zbl 1507.68197号 Natarajan Shankar 6 2009 lambda演算的严格交集类型。 Zbl 1293.68073号 史蒂夫·范·贝克尔 5 2011 成本敏感决策树归纳算法综述。 Zbl 1293.68232号 苏珊·洛马克斯；苏尼尔·瓦德拉 5 2013 序列模式挖掘——方法和算法。 Zbl 1293.68246号 卡尔·穆尼。；约翰·F·罗迪克。 5 2013 动态多目标优化算法的基准。 Zbl 1306.90144号 马尔代·赫尔比格；安德里斯·恩格尔布雷希特（Andries P.Engelbrecht）。 5 2014 DHT安全技术调查。 Zbl 1293.68040号 乌尔达内塔，圭多；皮埃尔·纪尧姆；马滕·范·斯蒂恩 4 2011 拍卖和投标：计算机科学家指南。 Zbl 1293.91090号 西蒙·帕森斯；Rodriguez-Aguilar，Juan A。；马克·克莱因 4 2011 多核处理器中寻址共享资源的调度技术综述。 Zbl 1293.68071号 谢尔盖·朱拉夫列夫；胡安·卡洛斯（Juan Carlos Saez）；谢尔盖·布拉戈杜罗夫；亚历山德拉·费多罗娃；曼努埃尔·普列托 4 2012 经验证的软件倡议：宣言。 Zbl 1507.68089号 C.A.R.霍尔。；贾亚德夫·米斯拉；Gary T.Leavens。；Natarajan Shankar 4 2009 复杂领域中的非度量相似搜索问题。 Zbl 1293.68106号 托马斯·斯科帕尔；本杰明·布斯托斯 三 2011 面向流的QoS保证方法。 Zbl 1293.68051号 罗伯特·Wójcik；安德烈·贾兹奇克 三 2012 功能程序的控制流分析。 Zbl 1293.68074号 Midtgaard，一月 三 2012 语义数据模型。 Zbl 0661.68019号 乔安·佩克姆；弗雷德·玛丽安斯基 三 1988 内存加密：对现有技术的调查。 Zbl 1305.68081号 迈克尔·汉森；斯蒂芬·泰勒 三 2014 XML数据聚类：概述。 Zbl 1293.68083号 阿尔塞耶德·阿尔杰加维；马可·梅西蒂；里奇·内亚克；冈特萨克 2 2011 信息检索中的自动查询扩展综述。 Zbl 1293.68103号 克劳迪奥·卡皮内托；乔瓦尼·罗曼诺 2 2012 无线传感器网络中的QoS路由——一项调查。 Zbl 1293.68049号 安妮·乌特拉；S.V.Kasmir Raja 2 2012 在长时间运行的事务中进行恢复。 Zbl 1293.68063号 克里斯蒂安·科伦坡；戈登·佩斯。 2 2013 循环不变量：分析、分类和示例。 Zbl 1305.68054号 卡罗·福里亚（Carlo A.Furia）。；贝特朗·梅耶；谢尔盖·维尔德 2 2014 基于离散小波变换的时间序列分析与挖掘。 兹比尔1293.68218 皮姆瓦黛·查瓦利特；阿丽亚·甘戈帕德亚伊；乔治·卡拉巴蒂斯；陈志远 1 2011 随机故障和攻击对泊松和幂律随机网络的影响。 Zbl 1293.68039号 Clémence Magnien；马蒂厄·拉塔比；吉安·卢普·纪尧姆 1 2011 实现静态类型的面向对象编程语言。 Zbl 1293.68072号 罗兰·杜库诺 1 2011 音乐理论和作曲建模的约束编程系统。 Zbl 1293.68303号 托尔斯滕·安德斯；爱德华多·米兰达。 1 2011 流程计算的流程逻辑。 Zbl 1293.68192号 尼尔森、汉内·里斯；弗莱明·尼尔森；亨利克·皮利加德 1 2012 图形密码：从前十二年开始学习。 Zbl 1293.94100号 罗伯特·比德尔；索尼娅·基亚松；宾夕法尼亚州凡奥斯肖特。 1 2012 用UML指定的软件系统的可靠性建模和分析。 Zbl 1293.68075号 西蒙娜·伯纳迪；何塞·梅尔塞格尔；多丽娜·佩特里乌（Dorina C.Petriu）。 1 2012 一种对设计时间全局调度技术进行分类的系统方法。 兹比尔1293.68069 安吉利基·克里蒂卡库；弗朗基·卡托尔；凯莱福拉斯、瓦西里奥斯；科斯塔斯·古提斯 1 2013 离线阿拉伯语手写文本识别：一项调查。 Zbl 1293.68247号 穆罕默德·坦维尔；Sabri A.马哈茂德。 1 2013 小矩形集合的层次表示。 Zbl 0664.68022号 哈南·萨米特 1 1988 一群定时自动机。 Zbl 1305.68113号 彼得·丰塔纳；牧场克利夫兰 1 2014 同构实时系统中的容错调度。 Zbl 1305.68044号 克里希纳，C.M。 1 2014 静态网络中的最短路径查询。 兹比尔1305.68137 克里斯蒂安·索默 111 2014 概念漂移适应研究综述。 Zbl 1305.68141号 乔安·加马；朱利奥贝特；阿尔伯特·比菲；Mykola Pechenizkiy；阿卜杜勒哈米德·布查奇亚 65 2014 空间、树和颜色：基于序列的文档检索的算法景观。 Zbl 1305.68078号 冈萨洛·纳瓦罗 30 2014 在线投资组合选择：一项调查。 Zbl 1306.91129号 李斌；史蒂芬·C·H·海。 24 2014 离散贝叶斯网络分类器：一项调查。 Zbl 1322.68147号 比尔扎，康查；佩德罗·拉拉纳加 20 2014 进化网络分析：一项调查。 Zbl 1322.68138号 查鲁·阿加瓦尔；卡提克省苏比安 12 2014 动态多目标优化算法的基准。 Zbl 1306.90144号 马尔代·赫尔比格；安德里斯·恩格尔布雷希特（Andries P.Engelbrecht）。 5 2014 内存加密：对现有技术的调查。 Zbl 1305.68081号 迈克尔·汉森；斯蒂芬·泰勒 三 2014 循环不变量：分析、分类和示例。 Zbl 1305.68054号 卡罗·福里亚（Carlo A.Furia）。；贝特朗·梅耶；谢尔盖·维尔德 2 2014 一群定时自动机。 Zbl 1305.68113号 彼得·丰塔纳；牧场克利夫兰 1 2014 同构实时系统中的容错调度。 Zbl 1305.68044号 克里希纳，C.M。 1 2014 网络中重叠社区检测的最新研究和比较。 Zbl 1288.68191号 谢杰瑞；斯蒂芬·凯利；Szymanski，Boleslaw K。 59 2013 局部算法综述。 Zbl 1293.68306号 朱卡·索米拉 44 2013 进化算法的探索与利用：一项调查。 Zbl 1293.68251号 乔·雷宾舍克（Matej）；刘世喜；马尔扬·默尼克 42 2013 博弈论符合网络安全和隐私。 Zbl 1293.91042号 穆罕默德·侯赛因·曼沙伊；朱全燕；阿尔卑斯山、坦苏；塔梅尔·巴克萨尔；Jean-Pierre Hubaux 40 2013 可逆电路的合成与优化——综述。 Zbl 1293.94141号 迈赫迪·赛迪；伊戈尔·马尔科夫。 30 2013 精确在线字符串匹配问题：最新结果综述。 Zbl 1293.68314号 西蒙·法罗；蒂埃里·勒克罗克 26 2013 点、线段和多边形的可见性图中未解决的问题。 Zbl 1288.05056号 苏比尔·戈什。；戈斯瓦米，Partha P。 16 2013 多边形网格修复：应用前景。 Zbl 1293.68279号 马可·阿滕；马塞尔·坎彭；莱夫·科贝特 12 2013 随机过程计算的统一定义。 Zbl 1288.68184号 尼古拉·洛科·德；迭戈·拉特拉；米歇尔·洛雷蒂；梅克·马西克 12 2013 数据流聚类，一项调查。 Zbl 1288.68200号 乔纳森·席尔瓦。；伊莱恩·法里亚（Elaine R.Faria）。；罗德里戈·C·巴罗斯。；爱德华多·赫鲁什卡。；安德烈·C·P·L·F·德·卡瓦略。；乔安·加马 11 2013 成本敏感决策树归纳算法综述。 Zbl 1293.68232号 苏珊·洛马克斯；苏尼尔·瓦德拉 5 2013 序列模式挖掘——方法和算法。 Zbl 1293.68246号 卡尔·H·穆尼。；约翰·F·罗迪克。 5 2013 在长时间运行的事务中进行恢复。 Zbl 1293.68063号 克里斯蒂安·科伦坡；戈登·佩斯。 2 2013 一种对设计时间全局调度技术进行分类的系统方法。 兹比尔1293.68069 安吉利基·克里蒂卡库；弗朗基·卡托尔；凯莱福拉斯、瓦西里奥斯；科斯塔斯·古提斯 1 2013 离线阿拉伯语手写文本识别：一项调查。 Zbl 1293.68247号 穆罕默德·坦维尔；Sabri A.马哈茂德。 1 2013 时间序列数据挖掘。 Zbl 1293.68104号 菲利普·埃斯林；卡洛斯·阿贡 26 2012 回归的集合方法：一项调查。 Zbl 1293.68234号 乔昂·门德斯·莫雷拉；卡洛斯·苏亚雷斯；阿利皮奥·马里奥·豪尔赫；豪尔赫·弗雷尔·德·索萨 19 2012 自适应正交误差估计综述。 Zbl 1293.65037号 佩德罗·贡内特 13 2012 行为接口规范语言。 Zbl 1293.68078号 约翰·哈特克利夫；Gary T.Leavens。；Leino，K.Rustan M。；彼得·米勒；马修·帕金森 12 2012 基于程序切片技术的词汇表。 Zbl 1293.68081号 乔塞普·席尔瓦 9 2012 从文本中学习本体：回顾与展望。 Zbl 1293.68243号 Wong，Wilson（威尔逊·王）；刘伟；穆罕默德·本纳穆恩 6 2012 基于索引的Lempel-Ziv LZ77分解算法的比较。 Zbl 1293.68312号 阿尼萨·阿赫菲德；马克西姆·克罗西莫尔；露西恩·伊利；Evguenia科佩洛娃；西弗·史密斯。；德国蒂施勒；穆尼纳·优素福 6 2012 多核处理器中寻址共享资源的调度技术综述。 Zbl 1293.68071号 谢尔盖·朱拉夫列夫；胡安·卡洛斯（Juan Carlos Saez）；谢尔盖·布拉戈杜罗夫；亚历山大·费多罗娃；曼努埃尔·普列托 4 2012 面向流的QoS保证方法。 Zbl 1293.68051号 罗伯特·Wójcik；安德烈·贾兹奇克 三 2012 功能程序的控制流分析。 Zbl 1293.68074号 Midtgaard，一月 三 2012 信息检索中的自动查询扩展综述。 兹比尔1293.68103 克劳迪奥·卡皮内托；乔瓦尼·罗曼诺 2 2012 无线传感器网络中的QoS路由——一项调查。 Zbl 1293.68049号 乌特拉·R·安妮；S.V.Kasmir Raja 2 2012 流程结石的流程逻辑。 Zbl 1293.68192号 尼尔森、汉内·里斯；弗莱明·尼尔森；亨利克·皮利加德 1 2012 图形密码：从前十二年开始学习。 Zbl 1293.94100号 罗伯特·比德尔；索尼娅·基亚松；宾夕法尼亚州凡奥斯肖特。 1 2012 用UML指定的软件系统的可靠性建模和分析。 Zbl 1293.68075号 西蒙娜·伯纳迪；何塞·梅尔塞格尔；多丽娜·佩特里乌（Dorina C.Petriu）。 1 2012 多处理机系统硬实时调度综述。 Zbl 1293.68068号 罗伯特·戴维斯。；艾伦·伯恩斯 39 2011 组合测试综述。 Zbl 1293.68080号 聂长海；哈里顿·梁 20 2011 传感器网络中的覆盖问题：调查。 Zbl 1293.68042号 王邦 15 2011 基于比较的系统级诊断调查。 Zbl 1293.68064号 埃利亚斯·杜阿尔特。；Roverli P.齐威奇。；Luiz C.P.阿尔比尼。 8 2011 故障检测器抽象。 Zbl 1293.68053号 费利克斯·C·弗雷林。；拉希德·格拉乌伊；彼得·库兹涅佐夫 6 2011 lambda演算的严格交集类型。 Zbl 1293.68073号 史蒂夫·范·贝克尔 5 2011 DHT安全技术调查。 Zbl 1293.68040号 乌尔达内塔，圭多；纪尧姆·皮埃尔；马尔滕·范·斯廷 4 2011 拍卖和投标：计算机科学家指南。 Zbl 1293.91090号 西蒙·帕森斯；Rodriguez-Aguilar，Juan A。；马克·克莱因 4 2011 复杂领域中的非度量相似搜索问题。 Zbl 1293.68106号 托马斯·斯科帕尔；本杰明·布斯托斯 三 2011 XML数据聚类：概述。 Zbl 1293.68083号 阿尔萨耶德，阿尔热加维；马可·梅西蒂；里奇·内亚克；冈特·萨克 2 2011 基于离散小波变换的时间序列分析与挖掘。 Zbl 1293.68218号 皮姆瓦黛·查瓦利特；阿丽亚·甘戈帕德亚伊；乔治·卡拉巴蒂斯；陈志远 1 2011 随机故障和攻击对泊松和幂律随机网络的影响。 Zbl 1293.68039号 Clémence Magnien；马蒂厄·拉塔比；吉安·卢普·纪尧姆 1 2011 实现静态类型的面向对象编程语言。 Zbl 1293.68072号 罗兰·杜库诺 1 2011 音乐理论和作曲建模的约束编程系统。 Zbl 1293.68303号 托尔斯滕·安德斯；爱德华多·米兰达。 1 2011 软件模型检查。 Zbl 1507.68188号 兰吉特·贾拉；鲁帕克·马朱姆达尔 9 2009 自动扣除进行验证。 Zbl 1507.68197号 Natarajan Shankar 6 2009 经验证的软件倡议：宣言。 Zbl 1507.68089号 C.A.R.霍尔。；贾亚德夫·米斯拉；Gary T.Leavens。；Natarajan Shankar 4 2009 统一：多学科调查。 Zbl 0677.68098号 凯文·奈特 25 1989 轮询模型的排队分析。 Zbl 0649.68032号 Hideaki Takagi 47 1988 数据库系统中的统计轮廓估计。 Zbl 0661.68114号 迈克尔五世·曼尼诺。；楚、白城；托马斯·萨格尔 11 1988 类型理论和面向对象编程。 兹比尔0649.68009 斯科特·丹福思；克里斯·汤姆林森 6 1988 语义数据模型。 Zbl 0661.68019号 乔安·佩克姆；弗雷德·玛丽安斯基 三 1988 小矩形集合的层次表示。 兹比尔0664.68022 哈南·萨米特 1 1988 数据压缩。 Zbl 0647.94002号 黛布拉·莱勒（Debra A.Lelewer）。；Daniel S.Hirschberg。 14 1987 所有引用的出版物 前5名被引用出版物 全部的 前5名2423位作者引用 12 西蒙·法罗 12 夏尔马五世（Sharma V.Thankachan）。 10 查尔斯·科尔伯恩。 9 冈萨洛·纳瓦罗 8 沙阿，拉胡尔 8 朱卡·索米拉 7 比尔扎，康查 7 佩德罗·拉拉纳加 6 皮埃尔·弗拉吉奥德 6 沃伊切赫·沃兹尼亚克 5 阿尔伯特·比菲 5 马克·布恩（Marko A.A.Boon）。 5 哈维尔·德尔塞 5 胡胡·赫沃宁 5 J.Ian Munro 5 乔塞普·席尔瓦 5 朱全燕 4 巴沙尔，塔梅尔 4 马可·贝尔纳多 4 奥诺·约翰·博克斯马 4 安德烈·齐格利诺 4 史蒂夫·德雷基克 4 甘古利，阿纳布 4 西蒙·高格 4 米查·汉奇·科维亚克 4 雅科夫·奈克里奇 4 弗朗索瓦·佩蒂让 4 斯特凡诺·斯卡菲蒂 4 何塞·托雷斯-希梅内兹 4 杰弗里·韦伯。 4 张春霞 三 艾沃·J·B·F·阿丹。 三 阿格拉瓦尔、库纳尔 三 亚历山大·安多尼 三 尼基尔·班萨尔 三 菲利普·比尔 三 苏迪普·比斯瓦斯 三 陈建嘉 三 卡洛斯·科埃洛·科埃洛。 三 斯特凡·克里默斯 三 乔·雷宾舍克（Matej） 三 方良达 三 高，杨 三 丹尼·加迪 三 乔·古森 三 凯文·格兰维尔 三 顾倩萍 三 焦立成 三 川崎敬一 三 巴托斯·克劳茨克 三 托马斯·克劳茨克 三 安蒂·库西斯托 三 赖、赵荣 三 马克·兰布雷希特。 三 李海林 三 李静 三 刘燕 三 Lobo，Jesus L。 三 米歇尔·洛雷蒂 三 沙查·洛维特 三 陆晨阳 三 拉胡·梅卡 三 马尔扬·默尼克 三 穆西亚·卡塔兹纳 三 丹农纳农开 三 阿里安娜·帕沃内 三 塞尔吉奥·拉杰斯鲍姆 三 莫妮卡·劳赫·亨津格 三 罗伊，博德扬 三 贾里德·赛亚 三 斯特凡·施密德 三 卡洛斯·塞古拉 三 迪米特里斯·西蒙斯（Dimitris E.Simos）。 三 保罗·G·斯皮拉基斯。 三 孙鹏刚 三 Syrotiuk，Violet R。 三 尼古拉·塔蒂 三 米克尔·索洛普 三 王彤科 三 马钦·维特科夫斯基 三 吴晓天 三 杨晓凡 三 杨·麦克斯韦 三 赵鹏 三 周志华 2 斯科特·亚伦森 2 迪维什·阿加瓦尔 2 阿坎沙阿格拉瓦尔 2 伊姆蒂亚斯·艾哈迈德 2 Akutsu、Tatsuya 2 侯赛因·巴哈迪利 2 穆罕默德·阿尔法拉卡维 2 莱拉阿尔特卡维 2 安德烈斯·安巴尼斯 2 普拉门·帕尔瓦诺夫·安杰洛夫 2 大卫·阿提恩扎 2 波阿斯·巴拉克 2 马可·本朱梅达 2 德克·拜尔 2 尚卡尔，巴米迪 …还有2323名作者 全部的 前5名222种期刊被引用 59 理论计算机科学 50 信息科学 29 机器学习 26 物理A 26 数据挖掘与知识发现 18 实时系统 16 排队系统 14 量子信息处理 13 算法 12 国际近似推理杂志 12 欧洲运筹学杂志 11 离散算法杂志 10 计算机与系统科学杂志 10 计算机与运筹学 10 分布式计算 10 程序设计中的逻辑和代数方法杂志 9 Automatica公司 9 计算的形式方面 9 运筹学年鉴 9 计算机科学评论 8 应用数学与计算 8 计算 8 信息与计算 8 机器学习研究杂志（JMLR） 7 人工智能 6 离散应用数学 6 计算与图形统计杂志 6 动态游戏和应用 5 自动推理杂志 5 国际计算机数学杂志 5 计算系统理论 5 自然计算 4 计算机与数学及其应用 4 信息处理信件 4 物理报告 4 美国统计协会杂志 4 SIAM计算机杂志 4 计算机辅助几何设计 4 离散和计算几何 4 系统设计中的形式化方法 4 函数编程杂志 4 组合优化期刊 4 应用统计学杂志 4 国际应用数学与计算机科学杂志 三 倒排索引综述 三 信息学报 三 国际理论物理杂志 三 富兰克林学院学报 三 模拟中的数学和计算机 三 运营研究信件 三 MSCS公司。计算机科学中的数学结构 三 国际计算机科学基础杂志 三 统计传播。理论与方法 三 模式识别 三 控制论与系统分析 三 工程中的数学问题 三 调度日志 三 工程与信息科学中的概率论 三 计算机基础理论 三 定量金融学 三 OR光谱 三 ACM实验算法杂志 三 统计力学杂志：理论与实验 三 数学生物科学与工程 三 计算机科学中的数学 2 应用力学与工程中的计算机方法 2 反问题 2 ACM数学软件汇刊 2 比特币 2 模糊集与系统 2 国际工程数值方法杂志 2 计算与应用数学杂志 2 海军研究后勤 2 网络 2 莫斯科大学计算数学与控制论 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 ACM图形事务 2 SIAM离散数学杂志 2 离散事件动态系统 2 数值算法 2 计算统计学 2 自动化和远程控制 2 计算统计与数据分析 2 测试 2 人工智能研究杂志 2 复杂性 2 约束条件 2 数学金融学 2 软计算 2 图形算法与应用杂志 2 美国医学会杂志 2 离散数学科学与密码学杂志 2 优化与工程 2 计算数学基础 2 逻辑程序设计理论与实践 2 网络与空间经济学 2 工业与管理优化杂志 2 数据分析和分类进展。ADAC公司 2 优化信函 …还有122种期刊 全部的 前5名42个领域被引用 676 计算机科学（68至XX） 162 运筹学、数学规划（90-XX） 138 统计学（62-XX） 131 组合数学（05-XX） 116 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 63 信息与通信理论、电路（94-XX） 46 数值分析（65-XX） 41 概率论与随机过程（60-XX） 32 量子理论（81-XX） 30 数理逻辑与基础（03-XX） 26 系统论；控制（93至XX） 18 统计力学，物质结构（82-XX） 17 生物学和其他自然科学（92-XX） 6 总体主题；集合（00-XX） 5 数论（11-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 群论与推广（20-XX） 4 近似和展开（41至XX） 4 变分法与最优控制；最优化（49至XX） 三 动力系统和遍历理论（37至XX） 三 可变形固体力学（74-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 2 实际功能（26年X月X日） 2 常微分方程（34-XX） 2 偏微分方程（35-XX） 2 算子理论（47-XX） 2 凸和离散几何（52至XX） 2 地球物理学（86-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 非结合环和代数（17-XX） 1 拓扑群、李群（22日至XX日） 1 特殊功能（33至XX） 1 欧氏空间的调和分析（42至XX） 1 积分变换，运算微积分（44-XX） 1 几何图形（51至XX） 1 微分几何（53至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文