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