IEEE软件工程汇刊 简短标题： IEEE传输。柔和。工程师。 出版商： 华盛顿特区电气与电子工程师协会（IEEE） 国际标准编号： 0098-5589 在线： http://ieeexplore.ieee.org/xpl/RecentIssue.jsp？punumber=32 评论： 期刊；不再索引 编入索引的文档： 385出版物(1976–1994) 索引的引用： 1出版物参考文献30篇。 全部的 前5名最新问题 201994年第05号 15，第04号（1989） 15，第02号（1989） 15，第01号（1989） 14，第12号（1988） 14，第11号（1988） 14，第10号（1988） 14，第09号（1988） 14，第04号（1988） 14，第01号（1988） 13(1987) 12(1986) 11(1985) 10(1984) 9(1983) 8(1982) 7(1981) 6(1980) 5(1979) 4(1978) 三（1977年） 2(1976) 全部的 前5名作者 7 亚伯拉罕·西尔伯沙茨 5 贾亚德夫·米斯拉 5 Ng，Peter Ann-Beng（彼得·安·本） 5 哈罗德·斯通。 4 亚瑟·伯恩斯坦。 4 苏希尔·贾乔迪亚 4 佐哈尔·曼纳 4 大岛村田 4 伊莱恩·韦尤克。 4 斯图亚特·H·兹韦本。 三 维克托·巴西利（Victor R.Basili）。 三 Farokh B.巴斯塔尼。 三 卡尼安特拉·马尼·钱迪 三 Chang，Chin-Chen先生 三 张世国 三 杜敏文 三 大卫·格里斯 三 威廉·豪登（William E.Howden）。 三 李嘉栋 三 大卫·E·摩根。 三 罗德尼·奥德霍夫特。 三 David Lorge，帕纳斯 三 尼古拉斯·D·鲁索普洛斯。 三 是的，雷蒙德·T。 2 格雷戈里·安德鲁斯。 2 艾伯特·L·贝克。 2 西蒙娜塔·巴萨莫 2 萨纳特·巴苏。 2 本特利，乔恩·路易斯 2 菲利普·伯恩斯坦。 2 詹姆斯·布莱克。 2 泰勒·L·布斯。 2 布林奇·汉森（Brinch Hansen，Per） 2 罗伊·H·坎贝尔。 2 郑武宏 2 张德逸 2 Chin、Francis Y.L。 2 基思·L·克拉克。 2 雅克·科恩 2 纳鸿·德肖维茨 2 卡尔文·艾尔戈特（Calvin C.Elgot）。 2 尼西姆·弗朗西兹 2 约翰·甘农（John D.Gannon）。 2 萨米·埃罗尔·盖伦贝 2 萨克蒂·帕达·戈什 2 罗纳德·戈登。 2 穆罕默德·古达。 2 莫里斯·H·哈尔斯特德。 2 理查德·哈姆雷特。 2 黄凯 2 朱塞佩·G·伊泽奥拉。 2 兰加萨米·卡西亚普。 2 Shmuel Katz 2 理查德·基伯茨。 2 Victor O.K.李。 2 Leszek Lilien 2 雷蒙德·玛丽（Raymond A.Marie）。 2 米尔斯，哈兰·D。 2 阿卜哈·莫伊特拉 2 Shamkant B.纳瓦西。 2 Ni，Lionel M。 2 古特金·奥兹索奥格鲁 2 彼得·佩珀 2 高原，布里吉特·D。 2 诺亚·S·普利斯。 2 奇多五世拉马莫西。 2 巴巴拉·莱德。 2 斯蒂芬·夏皮罗。 2 玛丽·肖 2 桑托什·库马尔·施里瓦斯塔瓦 2 罗宾·西特尔 2 史密斯、阿兰·杰伊 2 Su，Stanley Y.W.（斯坦利·Y·W·苏）。 2 Tai、Kuo-Chung 2 大卫·J·泰勒。 2 萨姆·图格 2 唐纳德·弗雷德·托斯利 2 范·埃姆登（Maarten H.van Emden）。 2 理查德·沃丁格。 2 本·威格布雷特 2 杨朝池 2 姚，S.Bing 1 雅各布·A·亚伯拉罕。 1 保罗·W·亚伯拉罕。 1 Sudhir Aggarwal 1 阿格拉瓦尔（Dharma P.Agrawal）。 1 维诺德·库马尔·阿格拉瓦尔 1 阿格拉瓦拉（Ashok K.Agrawala）。 1 Akkoyunlu，Eralp A。 1 伊恩·福亚特·阿基尔迪兹 1 Al-Fedaghi，沙巴S。 1 文森佐·安布里奥拉 1 保罗·安奇洛蒂 1 纯一·奥伊 1 广岛阿里萨瓦 1 胡安·阿里斯蒂扎巴尔 1 M.Erol，Arkun 1 亚瑟，詹姆斯·D。 1 罗素·R·阿特金森。 1 大卫·奥蒂 …还有462名作者 全部的 前5名领域 377 计算机科学（68至XX） 17 运筹学、数学规划（90-XX） 13 概率论与随机过程（60-XX） 11 信息与通信理论、电路（94-XX） 4 数学逻辑和基础（03-XX） 4 数值分析（65-XX） 2 组合数学（05-XX） 2 统计学（62-XX） 1 系统理论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 224出版物有被引用1392中的次1208文件 引用人▼ 年份▼ 证明多进程程序的正确性。 Zbl 0349.68006号 莱斯利·兰波特 78 1977 程序切片。 Zbl 0552.68004号 马克·威瑟 64 1984 过程网络的证明。 Zbl 0468.68030号 贾亚德夫·米斯拉;K.Mani Chandy 60 1981 用有限状态机建模的测试软件设计。 Zbl 0379.68039号 Chow，Tsun S.先生。 59 1978 借助网络流算法的多处理器调度。 Zbl 0355.68042号 哈罗德·斯通。 50 1977 复杂性度量。 Zbl 0352.68066号 托马斯·麦卡贝。 50 1976 有向图中的路径覆盖问题及其在程序测试中的应用。 Zbl 0412.68052号 南卡罗来纳州恩塔福斯。;圣路易斯·哈基米 38 1979 使用Petri网对异步并发系统进行性能评估。 Zbl 0444.68044号 拉马穆尔蒂，C.V。;Ho，Gary S。 37 1980 带有流表达式的软件描述。 Zbl 0381.68035号 阿兰·肖（Alan C.Shaw）。 36 1978 分布式系统的检查点和回滚恢复。 Zbl 0603.68018号 理查德·库;萨姆·图格 27 1987 一般排队网络的一种近似分析方法。 Zbl 0422.90037号 雷蒙德·玛丽（Raymond A.Marie）。 19 1979 分布式计算中的图遍历技术和最大流问题。 Zbl 0513.68066号 张德逸 16 1983 存在处理器和通信故障时的分布式协议。 Zbl 0587.68026号 肯尼思·佩里。;萨姆·图格 16 1986 异构双服务器指数排队系统的控制。 Zbl 0517.90031号 罗纳德·拉森。;阿格拉瓦拉（Ashok K.Agrawala）。 16 1983 参数化编程。 Zbl 0545.68017号 约瑟夫·戈根（Joseph A.Goguen）。 16 1984 使用或不使用G0 T0语句的结构化编程。 Zbl 0348.68008号 卡尔文·艾尔戈特（Calvin C.Elgot）。 16 1976 分布式仿真：分布式程序设计和验证的案例研究。 Zbl 0416.68014号 K.Mani Chandy;贾亚德夫·米斯拉 16 1979 软件可靠性增长的指数顺序统计模型。 兹比尔0575.68038 道格拉斯·米勒。 15 1986 离散时间随机Petri网。 Zbl 0558.68053号 迈克尔·K·莫洛伊。 14 1985 保留随机性的删除。 Zbl 0355.68036号 唐纳德·科努特（Donald E.Knuth）。 14 1977 双处理器分布式系统中的临界负载系数。 Zbl 0379.68041号 哈罗德·斯通。 14 1978 通过预测进行协议验证。 Zbl 0552.68022号 Lam，Simon S。;A.Udaya Shankar 13 1984 类型状态：一种用于增强软件可靠性的编程语言概念。 Zbl 0575.68036号 罗伯特·斯特罗姆（Robert E.Strom）。;沙乌拉·耶米尼 13 1986 统计数据库中的审计和推理控制。 Zbl 0491.68102号 Chin，Francis Y。;古特金·奥兹索奥格鲁 13 1982 数据库应用程序中的多维二进制搜索树。 Zbl 0411.68055号 本特利，乔恩·路易斯 13 1979 根据示例计算构造程序。 Zbl 0352.68036号 艾伦·W·比尔曼。;拉马钱德兰·克里希纳斯瓦米 13 1976 最近点问题的数据结构和算法。 Zbl 0513.68057号 伊拉克卡兰塔里;杰拉德·麦克唐纳 12 1983 可扩展散列分析。 Zbl 0491.68096号 哈伊姆·门德尔森 12 1982 B树并发的一种新方法。 兹伯利048668057 广，Yat-Sang;伍德，德里克 12 1982 数据库并发控制中序列化的形式化方面。 Zbl 0396.68020号 菲利普·伯恩斯坦。;David W.希普曼。;Wong，Wing S。 12 1979 分布式数据库系统中的查询处理。 Zbl 0396.68021号 艾伦·R·海夫纳。;姚，S.Bing 12 1979 分布式程序可靠性分析。 Zbl 0575.68028号 Prasanna Kumar，V.K。;萨利姆·哈里里;拉加文德拉，C.S。 11 1986 由于等待空间有限而阻塞的队列序列的吞吐量。 Zbl 0428.68002号 保罗·卡索;普约尔，盖伊 11 1979 合成：梦想\（\Rightarrow\）节目。 Zbl 0416.68013号 佐哈尔·曼纳;理查德·沃尔丁格 11 1979 在多处理器系统中分配包含分支和循环的程序。 Zbl 0599.68030号 唐·托斯利 10 1986 AFFIRM系统中的抽象数据类型规范。 Zbl 0431.68022号 大卫·穆瑟。 10 1980 使用增广Petri网的时间驱动系统的时间要求。 Zbl 0514.68060号 詹姆斯·库拉汉（James E.jun Coolahan）。;尼古拉斯·鲁索普洛斯 10 1983 UNIX文件系统规范。 Zbl 0532.68031号 卡罗尔·摩根;伯纳德·苏福林 10 1984 部分匹配和范围查询的灰色代码。 Zbl 0659.68125号 克里斯托斯·法洛索斯 10 1988 正确且稳健的程序。 Zbl 0532.68021号 弗拉维乌·克里斯蒂安 9 1984 宏观软件规模和估计问题的一般经验解决方案。 兹伯利0383.68035 劳伦斯·普特南。 9 1978 树木的整齐图画。 Zbl 0412.68092号 查尔斯·威特雷尔;阿尔弗雷德·香农 9 1979 关于程序族的设计和开发。 Zbl 0352.68032号 大卫·L·帕纳斯。 9 1976 用于并发软件分析的有界Petri网的层次可达图。 Zbl 0810.68099号 马萨托·诺托米;大岛村田 8 1994 通信过程系统中的状态恢复。 Zbl 0432.68021号 罗素（David L.Russell）。 8 1980 一种面向数据流的程序测试策略。 Zbl 0509.68011号 Janusz W.拉斯基。;波格丹·科尔 8 1983 使用数据流信息选择软件测试数据。 Zbl 0559.68015号 桑德拉·拉普斯;伊莱恩·韦尤克。 8 1985 分布式INGRES中多个数据副本的并发控制和一致性。 Zbl 0396.68018号 迈克尔·斯通布拉克 8 1979 面向用户的软件可靠性模型。 Zbl 0432.68028号 罗杰·C·张。 7 1980 无需冻结即可实现分布式终止。 Zbl 0478.68024号 尼西姆·弗朗西兹;迈克尔·罗德 7 1982 具有多个作业类的多处理器系统中的最佳负载平衡。 兹伯利0556.68007 Ni，Lionel M。;黄凯 7 1985 方程规范证明系统的完整性。 兹伯利0558.68017 大卫·B·麦昆。;唐纳德·桑内拉。 7 1985 推导平衡二叉树的并行算法。 Zbl 0596.68017号 阿卜哈·莫伊特拉;Sitharama Iyengar，南卡罗来纳州。 6 1986 逻辑程序并行解释的谓词转换网络模型。 Zbl 0654.68028号 大岛村田;张杜 6 1988 分析存在重合错误的多版本软件的理论基础。 Zbl 0571.68022号 Dave E.jun，Eckhardt。;Lee，Larry D。 6 1985 虚拟存储器中多道程序的随机注入控制。 Zbl 0371.68012号 埃罗尔·盖伦贝;阿兰·库林克斯 6 1978 竞争软件可靠性模型的分析。 Zbl 0381.68036号 乔治·J·希克。;Ray W.沃尔弗顿。 6 1978 从布尔规范自动生成测试数据。 Zbl 0809.94036号 伊莱恩·韦尤克;塔拉克·戈拉迪亚;阿舒托什·辛格 5 1994 重新排序问题的排队分析。 Zbl 0472.68022号 吉尔伯特·哈勒斯;高原，布里吉特 5 1982 诺顿定理在排队网络中的推广。 Zbl 0484.90038号 西蒙娜塔·巴萨莫;朱塞佩，伊泽拉 5 1982 一种改进字符串模式匹配机的方法。 Zbl 0524.68056号 纯一·奥伊;Yoneo山本;Ryosaku岛田 5 1984 笛卡尔积文件和随机文件的性能分析。 Zbl 0524.68058号 常，C.C。;杜明伟。 5 1984 开发分布式程序的方法。 Zbl 0617.68028号 拉梅什，S。;梅恩迪拉塔，S.L。 5 1987 通过循环检测和聚类进行局部分布式死锁检测。 Zbl 0603.68019号 以色列西顿;杰弗里·杰菲。;莫西·西迪 5 1987 程序测试理论和揭示子域的应用。 Zbl 0432.68014号 伊莱恩·韦尤克。;托马斯·奥斯特兰德。 5 1980 符号测试和DISSECT符号评估系统。 Zbl 0359.68015号 威廉·豪登（William E.Howden）。 5 1977 逻辑程序Petri网模型中的证明过程和答案提取。 Zbl 0665.68082号 乔治·佩特卡;大岛村田 5 1989 介绍Alphard程序的构建和验证。 Zbl 0351.68004号 威廉·沃尔夫（William A.Wulf）。;伦敦，拉尔夫·L·。;玛丽·肖 5 1976 在编译器的帮助下测试程序。 Zbl 0359.68009号 理查德·哈姆雷特。 5 1977 程序测试的理论和实证研究。 兹伯利0383.68017 威廉·豪登（William E.Howden）。 5 1978 设计易于伸缩的软件。 Zbl 0395.68037号 大卫·帕尔纳斯。 5 1979 闭盖：验证有限状态机通信的进度。 Zbl 0547.68060号 穆罕默德·古达。 4 1984 优化分布式数据库中的副本数。 Zbl 0454.68124号 爱德华·G·军·科夫曼。;埃罗尔·盖伦贝;高原，布里吉特 4 1981 多处理器系统中同步迭代过程的性能。 Zbl 0484.68018号 米歇尔·杜波伊斯;Faye A.Briggs。 4 1982 关于最佳指标集的选择。 Zbl 0499.68043号 叶美琪·Y·L。;L.V.萨克斯顿。;维杰·五·拉加万。 4 1983 容错计算机系统的排队分析。 Zbl 0607.68001号 Victor F.尼古拉。;维迪亚达尔·库尔卡尼。;特里维迪，基索S。 4 1987 随机生成的分布式程序的最优分区。 Zbl 0587.68025号 比宾·因杜尔克亚;哈罗德·斯通。;吕锡成 4 1986 CLU中的异常处理。 Zbl 0428.68005号 巴巴拉·利斯科夫。;阿兰·斯奈德 4 1979 错误敏感测试用例分析（ESTCA）。 Zbl 0431.68017号 肯尼思·福斯特。 4 1980 针对指定资源和性能的无决策并发系统的合成。 Zbl 0447.68063号 大岛村田 4 1980 程序注释的推理规则。 兹伯利0463.68023 纳鸿·德肖维茨;佐哈尔·曼纳 4 1981 一种新的完美散列方案的研究。 兹比尔0509.68063 杜明伟。;谢天明。;Jea，K.F。;谢赫·D·W·。 4 1983 分析用户和系统操作不同时的并发控制算法。 Zbl 0509.68112号 菲利普·伯恩斯坦。;内森·古德曼;赖明义 4 1983 推导循环函数的启发式方法。 Zbl 0536.68003号 道格拉斯·邓洛普。;维克托·巴西利（Victor R.Basili）。 4 1984 离散事件模拟的随机Petri网表示。 Zbl 0667.60091号 彼得·哈斯。;杰拉尔德·谢德勒。 4 1989 大编程与小编程。 Zbl 0348.68007号 弗兰克·德雷默;汉斯·克伦（Hans H.Kron）。 4 1976 多属性树数据库组织分析。 Zbl 0361.68054号 Kashyap，R.L。;苏巴斯，S.K.C。;姚，S.Bing 4 1977 按STAR排序。 Zbl 0381.68058号 哈罗德·斯通。 4 1978 随机选择服务的排队网络。 Zbl 0399.90044号 杰弗里·斯普林。 4 1979 使用验证条件编程。 兹伯利0395.68008 范·埃姆登，M.H。 4 1979 一些多属性文件系统的通用属性。 Zbl 0395.68023号 林，W.C。;李，R.C.T。;杜海川。 4 1979 目标导向的程序转换。 Zbl 0352.68033号 本·威格布雷特 4 1976 在并行处理器上分配独立的子任务。 Zbl 0572.68022号 克莱德·克鲁斯卡尔（Clyde P.Kruskal）。;艾伦·韦斯 三 1985 一种结构化数据库分解方法。 Zbl 0427.68075号 张世国;郑武宏 三 1980 进一步分析数据库设计的实体关系方法。 Zbl 0454.68120号 Ng、Peter A。 三 1981 符号格雷码是部分匹配查询的理想多属性哈希方案。 Zbl 0477.68117号 常，C.C。;李，R.C.T。;杜明伟。 三 1982 逻辑数据库模式的分布设计。 Zbl 0513.68079号 斯特凡诺·塞里;沙姆坎纳瓦西;乔·维德霍尔德 三 1983 程序测试的递归理论方法。 Zbl 0617.68014号 约翰·切尔尼亚夫斯基（John C.Cherniavsky）。;卡尔·H·史密斯。 三 1987 通过模式匹配分析语言。 Zbl 0654.68098号 罗斯、特奥多尔 三 1988 使用Petri网对并发系统进行性能评估时出现的新的NP-完全问题。 兹伯利0654.68064 简·马戈特 三 1987 并行软件分析中有界Petri网的层次可达图。 Zbl 0810.68099号 Masato诺托米;大岛村田 8 1994 从布尔规范自动生成测试数据。 Zbl 0809.94036号 伊莱恩·韦尤克;塔拉克·戈拉迪亚;阿舒托什·辛格 5 1994 逻辑程序Petri网模型中的证明过程和答案提取。 Zbl 0665.68082号 乔治·彼得卡;大岛村田 5 1989 离散事件模拟的随机Petri网表示。 Zbl 0667.60091号 彼得·哈斯。;杰拉尔德·谢德勒。 4 1989 演绎图：一种算法和应用。 Zbl 0667.68113号 杨朝池 三 1989 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 三 1989 一种用于分布式死锁检测和解决的改进的基于优先级的探测算法。 Zbl 0663.68032号 Alok N.Choudhary。;沃尔特·科勒。;约翰·斯坦科维奇。;唐·托斯利 2 1989 使用非聚集索引进行联接处理的启发。 Zbl 0663.68107号 爱德华·奥米辛斯基。 2 1989 优化广播本地网络上碎片数据库系统中的连接。 Zbl 0663.68108号 Jason S.J.Chen。;Li，Victor好。 2 1989 历史数据库的时间示例查询语言。 Zbl 0682.68104号 Tansel，Abdullah U。;埃罗尔·阿肯;古特金·奥兹索奥格鲁 2 1989 复制文件系统的随机Petri网分析。 Zbl 0679.68117号 Joanne Bechta Dugan;吉安弗兰科·西亚多 2 1989 开放同步排队网络遍历性的充要条件。 Zbl 0666.60092号 杰勒德·弗洛林;斯特凡·纳特金 1 1989 数据库中的属性等价理论及其在模式集成中的应用。 Zbl 0678.68111号 詹姆斯·拉森（James A.Larson）。;Shamkant B.纳瓦西。;拉梅斯·埃尔马斯里 1 1989 复合属性和连接索引的性能。 Zbl 0665.68012号 比宾·C·德赛。 1 1989 部分匹配和范围查询的灰色代码。 Zbl 0659.68125号 克里斯托斯·法洛索斯 10 1988 逻辑程序并行解释的谓词转换网络模型。 Zbl 0654.68028号 大岛村田;张杜 6 1988 通过模式匹配分析语言。 Zbl 0654.68098号 罗斯、特奥多尔 三 1988 一种扩展的基于域的软件可靠性模型。 Zbl 0659.68044号 斯图尔特·N·维斯。;伊莱恩·韦尤克。 三 1988 为CAD数据库聚类DAG。 Zbl 0662.68118号 杰·班纳吉;金元;金成珠;豪尔赫·加尔扎。 三 1988 复杂性度量的适用性研究。 兹比尔0825.68408 史蒂芬·约翰·戴维斯;理查德·勒布朗（Richard J.LeBlanc）。 2 1988 构建子模块规范和网络协议。 Zbl 0671.68029号 Sidhu，Deepinder P。;胡安·阿里斯蒂扎巴尔 2 1988 共享内存多处理器数据库机器上的联接算法。 Zbl 0664.68106号 加桑·加达。;Irani，Keki B。 2 1988 一类固有的容错分布式程序。 Zbl 0659.68039号 Farokh B.巴斯塔尼。;Yen、I-Ling;陈英瑞 2 1988 负载相关一般排队网络的近似分析。 Zbl 0691.60085号 阿基尔迪兹，I.F。;阿尔布雷赫特·西伯 2 1988 用于智能计算的数据流计算模型、语言和机器。 Zbl 0745.68020号 杰扬塔·赫拉斯;吉诺里山口;斋藤、Nobuo;Yuba、Toshitsugu 1 1988 集合设施：Concurrent C和Ada语言。 Zbl 0663.68036号 Gehani，Narain H。;威廉·D·鲁姆。 1 1988 分布式系统的检查点和回滚恢复。 Zbl 0603.68018号 理查德·库;萨姆·图格 27 1987 一种开发分布式程序的方法。 Zbl 0617.68028号 拉梅什，S。;Mehndiratta，S.L。 5 1987 通过循环检测和聚类进行局部分布式死锁检测。 Zbl 0603.68019号 以色列西顿;杰弗里·杰菲。;莫西·西迪 5 1987 容错计算机系统的排队分析。 Zbl 0607.68001号 Victor F.尼古拉。;维迪亚达尔·库尔卡尼。;特里维迪，基索S。 4 1987 一种递归理论的程序测试方法。 Zbl 0617.68014号 约翰·切尔尼亚夫斯基（John C.Cherniavsky）。;卡尔·H·史密斯。 三 1987 使用Petri网对并发系统进行性能评估时出现的新的NP-完全问题。 Zbl 0654.68064号 简·马戈特 三 1987 用于动态循环预防的协作分布式算法。 Zbl 0615.68021号 Shmuel Katz;奥德·什穆埃利 三 1987 Petri网的自反关联矩阵（RIM）表示。 Zbl 0632.68057号 Das，Sajal K。;阿格拉瓦尔，V.K。;迪利普·萨尔卡;帕特奈克，L.M。;P.S.戈尔。 2 1987 分布式数据库系统中故障处理的基于信息的模型。 Zbl 0637.68114号 Chin，Francis Y。;拉马拉奥，K.V.S。 2 1987 具有圆键回文（或逆倒谱）序列的键的DES循环结构。 Zbl 0619.94009 朱迪·摩尔。;古斯塔夫斯·西蒙斯（Gustavus J.Simmons）。 2 1987 SPANNER：用于规范、分析和评估协议的工具。 Zbl 0626.68031号 苏迪尔·阿加瓦尔;丹尼尔·巴巴拉;Meth，卡尔曼Z。 2 1987 CSM：一种分布式编程语言。 Zbl 0616.68024号 孙中秀;Li，西宁 1 1987 路径前缀软件测试策略。 Zbl 0617.68032号 罗纳德·普拉瑟（Ronald E.Prather）。;迈尔斯，J.Paul jun。 1 1987 在大型多处理机系统上实施数据依赖性的一种方案。 兹比尔0616.68021 朱传奇;紫杉、彭冲 1 1987 离散通信行为的自动分析。 Zbl 0623.68026号 凯文·雷亚;罗伯特·德·约翰斯顿。 1 1987 大型复制文件的比较和诊断。 Zbl 0603.68020号 富克斯，W.肯特;吴坤龙;雅各布·A·亚伯拉罕。 1 1987 存在处理器和通信故障时的分布式协议。 Zbl 0587.68026号 肯尼思·佩里。;萨姆·图格 16 1986 软件可靠性增长的指数顺序统计模型。 Zbl 0575.68038号 道格拉斯·米勒。 15 1986 类型状态：一种用于增强软件可靠性的编程语言概念。 Zbl 0575.68036号 罗伯特·斯特罗姆（Robert E.Strom）。;沙乌拉·耶米尼 13 1986 分布式程序可靠性分析。 Zbl 0575.68028号 Prasanna Kumar，V.K。;萨利姆·哈里里;拉加文德拉，C.S。 11 1986 在多处理器系统中分配包含分支和循环的程序。 兹比尔0599.68030 唐·托斯利 10 1986 推导平衡二叉树的并行算法。 Zbl 0596.68017号 阿卜哈·莫伊特拉;Sitharama Iyengar，南卡罗来纳州。 6 1986 随机生成的分布式程序的最优分区。 Zbl 0587.68025号 比宾·因杜尔克亚;哈罗德·S·斯通。;吕锡成 4 1986 模块化系统规范。 Zbl 0595.68023号 赫伯特·韦伯;哈特穆特·埃里格 三 1986 容错调度问题。 Zbl 0611.90056号 亚瑟·利斯特曼。;罗伊·H·坎贝尔。 三 1986 属性语法的自动转换。 Zbl 0603.68086号 丹尼尔·耶林（Daniel M.Yellin）。;Eva-Maria M.穆埃克斯坦。 2 1986 消息传递系统中的模块冗余。 Zbl 0575.68027号 路易吉·曼奇尼 1 1986 离散时间随机Petri网。 Zbl 0558.68053号 迈克尔·K·莫洛伊。 14 1985 使用数据流信息选择软件测试数据。 Zbl 0559.68015号 桑德拉·拉普斯;伊莱恩·韦尤克。 8 1985 具有多个作业类的多处理器系统中的最佳负载平衡。 兹伯利0556.68007 Ni，Lionel M。;黄凯 7 1985 方程规范证明系统的完整性。 兹伯利0558.68017 大卫·B·麦昆。;唐纳德·桑内拉。 7 1985 分析存在重合错误的多版本软件的理论基础。 Zbl 0571.68022号 Dave E.jun，Eckhardt。;Lee，Larry D。 6 1985 在并行处理器上分配独立的子任务。 Zbl 0572.68022号 克莱德·克鲁斯卡尔（Clyde P.Kruskal）。;艾伦·韦斯 三 1985 一种基于优先级的分布式死锁检测算法。 Zbl 0547.68027号 穆库尔·辛哈。;北卡罗来纳州纳塔拉扬。 2 1985 碎片关系分布式系统中的查询处理：美人鱼。 Zbl 0569.68089号 Yu，Clement T。;常，C.C。;马乔里·坦普尔顿;大卫·布里尔;埃里克·隆德 2 1985 关于部分匹配检索的文件设计问题。 Zbl 0566.68080号 杜洪昌 2 1985 具有最佳优先搜索的分枝定界算法的随机建模。 Zbl 0569.68027号 Wah，Benjamin W。;于志芬 2 1985 排队网络的产品形态综合。 Zbl 0554.90045号 西蒙娜塔·巴萨莫;朱塞佩·伊泽奥拉 1 1985 同步分布式终端。 Zbl 0568.68021号 斯兹曼斯基（Szymanski，Boleslaw）;施、袁;诺亚·普莱维斯。 1 1985 异常处理：正式规范和系统程序构建。 Zbl 0559.68025号 米歇尔·比多特;碧姬比博;玛丽·克劳德·高德尔;克里斯蒂安·格雷斯;杰拉德·D·吉奥。 1 1985 程序切片。 Zbl 0552.68004号 马克·威瑟 64 1984 参数化编程。 Zbl 0545.68017号 约瑟夫·高根。 16 1984 通过预测进行协议验证。 Zbl 0552.68022号 西蒙·兰姆（Simon S.Lam）。;A.Udaya Shankar 13 1984 UNIX文件系统规范。 Zbl 0532.68031号 卡罗尔·摩根;伯纳德·苏福林 10 1984 正确且稳健的程序。 Zbl 0532.68021号 弗拉维乌·克里斯蒂安 9 1984 一种改进字符串模式匹配机的方法。 Zbl 0524.68056号 纯一·奥伊;Yoneo山本;Ryosaku岛田 5 1984 笛卡尔积文件和随机文件的性能分析。 Zbl 0524.68058号 常，C.C。;杜明伟。 5 1984 闭盖：验证有限状态机通信的进度。 Zbl 0547.68060号 穆罕默德·古达。 4 1984 推导循环函数的启发式方法。 Zbl 0536.68003号 道格拉斯·邓禄普。;维克托·巴西利（Victor R.Basili）。 4 1984 计数路径：作为线性代数的不确定性。 Zbl 0553.68006号 大卫·本森。 1 1984 图遍历技术和分布式计算中的最大流量问题。 Zbl 0513.68066号 张德逸 16 1983 异构双服务器指数排队系统的控制。 Zbl 0517.90031号 罗纳德·拉森。;阿格拉瓦拉（Ashok K.Agrawala）。 16 1983 最近点问题的数据结构和算法。 Zbl 0513.68057号 伊拉杰，卡兰塔利;杰拉德·麦克唐纳 12 1983 使用增广Petri网的时间驱动系统的时间要求。 Zbl 0514.68060号 詹姆斯·库拉汉（James E.jun Coolahan）。;尼古拉斯·鲁索普洛斯 10 1983 一种面向数据流的程序测试策略。 Zbl 0509.68011号 Janusz W.拉斯基。;波格丹·科尔 8 1983 关于最佳指标集的选择。 Zbl 0499.68043号 叶美琪·Y·L。;L.V.萨克斯顿。;维杰·五·拉加万。 4 1983 一种新的完美散列方案的研究。 Zbl 0509.68063号 杜明伟。;谢天明。;Jea，K.F。;谢赫·D·W·。 4 1983 分析用户和系统操作不同时的并发控制算法。 Zbl 0509.68112号 菲利普·伯恩斯坦。;内森·古德曼;赖明义 4 1983 逻辑数据库模式的分布设计。 Zbl 0513.68079号 斯特凡诺·塞里;沙姆坎纳瓦西;Gio维德霍尔德 三 1983 具有一般服务分布和状态相关到达的队列的稳态概率。 Zbl 0502.60081号 雷蒙德·玛丽（Raymond A.Marie）。;让·M·佩洛梅尔。 三 1983 将非程序规范编译成计算机程序。 Zbl 0509.68013号 诺亚·S·普利斯。;阿米尔·普努利 三 1983 噪声子串匹配问题。 Zbl 0509.68102号 Kashyap，R.L。;噢，B·约翰 三 1983 测试调查的数学框架。 Zbl 0519.68044号 Gourlay，John S。 2 1983 将Petri网投射到程序中。 Zbl 0514.68030号 罗伯特·纳尔逊（Robert A.Nelson）。;Lois M.Haibt。;Peter B.Sheridan。 2 1983 使用Ada任务模拟程序变量。 Zbl 0497.68005号 大卫·A·兰姆。;保罗·N·希尔芬格。 1 1983 实体关系图的等价问题。 Zbl 0513.68078号 苏希尔·贾乔迪亚;Ng、Peter A。;Springsteel，Frederick N。 1 1983 本地计算机网络互连：建模和优化问题。 Zbl 0515.68004号 盖·伯纳德 1 1983 分布式系统的正式规范和验证。 Zbl 0519.68035号 陈伯秀;是的，雷蒙德·T。 1 1983 动态重物质化：使用冗余数据处理分布式查询。 Zbl 0509.68113号 尤金·王 1 1983 统计数据库中的审计和推理控制。 Zbl 0491.68102号 Chin，Francis Y。;古特金·奥兹索奥格鲁 13 1982 可扩展哈希分析。 Zbl 0491.68096号 哈伊姆·门德尔森 12 1982 B树并发的一种新方法。 Zbl 0486.68057号 广，Yat-Sang;伍德，德里克 12 1982 无需冻结即可实现分布式终止。 Zbl 0478.68024号 尼西姆·弗朗西兹;迈克尔·罗德 7 1982 重新排序问题的排队分析。 Zbl 0472.68022号 吉尔伯特·哈勒斯;高原，布里吉特 5 1982 …还有124个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2090位作者引用 15 Park、Jung-Heum 12 佛罗伦萨伊帕特 9 马克·哈曼 8 塞巴斯蒂安·达尼西奇 8 罗伯特·马克·海伦斯 8 米歇尔·雷纳尔 7 Chang，Chin-Chen先生 7 乔塞普·席尔瓦 7 伊戈尔·瓦勒维奇·塔拉修克 6 玛丽安·盖奥吉 6 奥尔纳·格伦伯格 6 斯特凡·霍夫曼 6 Lim，Hyeong-Seok先生 5 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 5 科莱特，皮埃尔 5 Luc P.J.A.Devroye。 5 Jean-Michel·Hélary 5 玛丽莎·洛伦斯 5 哈维尔·奥利弗 5 Doron A.Peled。 5 伊斯梅尔·罗德里格斯 5 唐纳德·桑内拉。 5 尼古拉·桑托罗 5 萨尔瓦多塔马利特 5 安德烈·塔莱基 5 范格拉贝克、罗伯特·扬 5 彼得·维德迈尔 5 山田茂 4 阿姆托夫特，托本 4 保罗·C·阿蒂。 4 回来了，拉尔夫·约翰 4 罗伯托·巴多尼 4 约翰·艾伦，布扎科特 4 陈登杰 4 多伊，塔达西 4 佐尔坦·埃西克 4 约瑟夫·阿马迪·戈根 4 徐，Chiun-Chieh 4 本特·琼森 4 卡普尔，迪帕克 4 萨瓦斯·科努尔 4 雷诺，K.鲁斯坦M。 4 阿彻尔州莫斯特法伊 4 巴利亚特·纳伦德兰 4 冈村弘之 4 Păsăreanu，科琳娜·s。 4 约翰·谢泼德森（John C.Shepherdson）。 4 Sioutas、Spyros 4 詹姆斯·麦格雷戈·史密斯 4 马丁·塔普勒 4 科斯塔斯·齐奇拉斯 4 Uraz Cengiz图尔克 4 山田武雄 4 胡斯努·耶尼贡 三 朱·伊奇（Jun-ichi Aoe） 三 比莉，马丁 三 斯蒂芬·布鲁姆。 三 卢克·布热 三 阿泽丁·布克切 三 曼弗雷德·布罗伊 三 罗伯托·布鲁尼 三 彼得·巴赫霍尔茨 三 Chang、Maw-Shang 三 普拉纳·库马尔·乔杜里 三 萨贾尔·库马尔·达斯 三 威廉·鲍尔·德·罗弗 三 安德烈亚斯·弗洛默 三 法比奥·加杜奇 三 玛丽·克劳德·高德尔 三 穆罕默德·古达。 三 大卫·哈雷 三 大卫·豪斯勒 三 乔治·哈瓦斯 三 克劳斯·哈维隆德 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 维姆·赫塞林克。 三 迈克·霍尔科姆 三 乔泽夫·约翰内斯·玛丽亚·胡曼 三 约翰·霍罗伊德。 三 嗯，因桑 三 伊扬加，桑达拉贾·西塔拉马 三 乔安娜·Jȩdrzejowicz 三 马泰·约瑟夫 三 亚历克西斯·卡波里斯。 三 Kataoka，Seiji先生 三 Kim、Hee-Chul 三 亲吻，阿尔科斯 三 埃德加·克纳普 三 玛丽亚·科什 三 托雷·科斯 三 郭锡彦 三 莱斯利·兰波特 三 迈克尔·劳伦斯。 三 Lee和Heeseok 三 李嘉栋 三 马丁·勒克 三 莱姆，迪迪埃 三 林敏生 三 南希·安·林奇 三 万杰利斯·马吉鲁。 …1990多名作者 全部的 前5名181种期刊引用 143 理论计算机科学 104 信息处理信件 60 信息科学 42 计算机与系统科学杂志 37 计算的形式方面 31 分布式计算 30 欧洲运筹学杂志 24 计算机与运筹学 23 信息学报 20 国际系统科学杂志 19 离散应用数学 17 计算机与数学及其应用 16 国际计算机数学杂志 15 计算机程序设计科学 13 信息与计算 12 国际生产研究杂志 12 数学和计算机建模 11 系统设计中的形式化方法 11 逻辑与代数程序设计杂志 10 符号计算杂志 9 人工智能 9 计算 9 国际计算机与信息科学杂志 9 运筹学年鉴 8 计算机科学与技术杂志 8 算法 8 国际计算机科学基础杂志 8 工程和信息科学中的概率 8 程序设计中的逻辑和代数方法杂志 7 模式识别 7 函数编程杂志 7 计算机科学中的逻辑方法 6 应用数学与计算 6 Automatica公司 6 比特币 6 苏联数学杂志 6 软件。实践与经验 6 运营研究信件 6 并行与分布式计算杂志 6 离散算法杂志 5 计算与应用数学杂志 5 控制论与系统分析 5 数学与人工智能年鉴 5 并行算法与应用 5 SibirskieÈlektronnye Matematicheskie Izvestiya公司 4 编程与计算机软件 4 国际并行程序设计杂志 4 自动推理杂志 4 计算机科学中的数学结构 4 自动化和远程控制 三 离散数学 三 国际通用系统杂志 三 富兰克林研究所期刊 三 物理A 三 模糊集与系统 三 统计规划与推断杂志 三 凯伯内特斯 三 排队系统 三 随机结构与算法 三 RAIRO公司。Informatique Théorique et Applications公司 三 工程中的数学问题 三 计算系统理论 三 软计算 三 离散数学科学与密码学杂志 三 RAIRO公司。理论信息学及其应用 三 计算机语言、系统和结构 三 国际并行、紧急和分布式系统杂志 三 计算机科学中的数学 三 科学中国。信息科学 三 计算机科学评论 2 倒排索引综述 2 组合理论杂志。系列A 2 凯贝内提卡 2 网络 2 Opsearch（操作搜索） 2 控制论 2 控制论与系统 2 信息与优化科学杂志 2 统计与概率信件 2 随机分析及其应用 2 纯逻辑与应用逻辑年鉴 2 应用概率年鉴 2 离散事件动态系统 2 美国计算机学会模型和计算机仿真汇刊 2 欧洲控制杂志 2 组合优化期刊 2 调度日志 2 计算机基础理论 2 萨达纳 2 ACM计算逻辑事务 2 离散优化 1 应用概率的进展 1 应用力学与工程中的计算机方法 1 纯粹数学与应用数学交流 1 国际理论物理杂志 1 匈牙利数学周期 1 ACM数据库系统汇刊 1 混沌、孤子和分形 1 信息 1 最优化理论与应用杂志 …还有81种期刊 全部的 前5名36个领域引用 1,001 计算机科学（68至XX） 185 运筹学、数学规划（90-XX） 65 组合数学（05-XX） 64 概率论与随机过程（60-XX） 61 数学逻辑和基础（03-XX） 33 系统理论；控制（93至XX） 29 信息与通信理论、电路（94-XX） 26 统计学（62-XX） 15 数值分析（65-XX） 14 范畴理论；同调代数（18-XX） 12 一般代数系统（08-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 历史和传记（01-XX） 6 阶、格、有序代数结构（06-XX） 6 生物学和其他自然科学（92-XX） 4 量子理论（81-XX） 三 一般性和全局性主题；集合（00-XX） 三 数论（11-XX） 三 群论与推广（20-XX） 2 常微分方程（34-XX） 2 算子理论（47-XX） 2 可变形固体力学（74-XX） 1 交换代数（13-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 积分变换，运算微积分（44-XX） 1 变分法与最优控制；最优化（49-XX） 1 几何图形（51-XX） 1 一般拓扑结构（54至XX） 1 流体力学（76-XX） 1 统计力学，物质结构（82-XX） 1 地球物理学（86-XX） 按年份列出的引文