计算机程序设计科学 简短标题： 科学。计算。程序。 出版商： Elsevier Science B.V.（北荷兰），阿姆斯特丹 国际标准编号： 0167-6423 在线： http://www.sciencedirect.com/science/journal/01676423 评论： 期刊；不再索引 已编制索引的文档： 998出版物(1981–2014) 索引的引用： 197出版物参考文献8058。 全部的 前5名最新问题 84(2014) 80，A部分（2014） 782013年第7号 782013年第5号 782013年第4号 782013年第3期 782013年第2期 782012年第1期 772012年第12号 772012年第10-11号 772012年第9号 772012年第7-8号 772012年第6号 772012年第5号 772012年第4号 772012年第3号 772012年第2期 762011年第12号 762011年第11号 76，第10号（2011年） 762011年第9号 762011年第8号 762011年第7号 762011年第6号 762011年第5号 762011年第4号 762011年第3期 762011年第2期 762011年第1期 752010年第12号 752010年第11号 752010年第10号 752010年第9号 752010年第8号 752010年第7号 75，第6号（2010年） 752010年第5期 752010年第4期 75，第3号（2010年） 75，第1-2号（2010） 742009年第11-12号 742009年第10号 742009年第9号 742009年第8号 742009年第7号 74，编号5-6（2009） 742009年第4期 742009年第3期 74，第1-2号（2008） 732008年第2-3号 73，第1号（2008年） 722008年第3号 72，第1-2号（2008） 712008年第3号 712008年第2期 71，第1号（2008年） 702008年第2-3号 70，第1号（2008年） 69，第1-3号（2007） 682007年第3号 682007年第2期 682007年第1期 672007年第2-3号 672007年第1期 662007年第3号 662007年第2期 662007年第1期 652007年第3号 652007年第2期 652007年第1期 642007年第3号 642007年第2期 642007年第1期 632006年第3期 632006年第2期 632006年第1期 622006年第3期 622006年第2期 622006年第1期 612006年第3期 612006年第2期 612006年第1期 602006年第3期 602006年第2期 602006年第1期 592006年第3期 592006年第1-2号 582005年第3期 582005年第1-2号 572005年第3期 572005年第2期 572005年第1期 562005年第3期 562005年第1-2号 55，第1-3号（2005） 542005年第2-3号 532004年第3期 532004年第2期 52，第1-3号（2004） 512004年第3期 …还有94卷 全部的 前5名作者 10 法哈德·阿尔巴 8 曼弗雷德·布罗伊 8 卡洛斯·卡纳尔 8 马尔詹·西尔贾尼 7 安娜·卡瓦尔坎蒂 7 杰里米·吉本斯 7 维姆·赫塞林克。 7 克里斯蒂安·伦戈尔 7 伯恩哈德·莫勒 7 米尔科·维罗利 6 罗兰·贝克豪斯（Roland C.Backhouse）。 6 理查德·伯德（Richard S.Bird）。 6 Eerke A.Boiten。 6 朱尔斯·德沙奈斯 6 安妮·卡尔德瓦伊 6 阿里·米莉 6 埃内斯托·皮门特尔 6 汉内·里斯·尼尔森 6 克里斯·弗霍夫 5 安东尼奥·布罗吉 5 约翰·德里克 5 大卫·格里斯 5 伊恩·海耶斯。 5 赫丁，戈雷尔 5 Jean-Marie雅克 5 阿德里安·约翰斯通 5 弗莱明·尼尔森 5 赫尔穆特·帕奇。 5 奥古斯托·桑帕约。 5 布鲁斯·威廉·沃森 5 詹姆斯·C·P·伍德科克。 4 克里斯特尔·拜尔 4 鲁道夫·伯格哈默 4 洛伦佐·贝蒂尼 4 马克·伯吉斯 4 劳伦斯·M·L·钟。 4 克拉克、戴夫 4 奥利维尔·丹维 4 JoséLuiz Fiadeiro 4 马克·弗拉皮耶 4 保拉·因弗拉迪 4 约翰·杰林 4 伊万·库特夫 4 沃德·道格拉斯·莫勒 4 约瑟夫·莫里斯（Joseph M.Morris）。 4 詹姆斯·F·鲍尔（James F.Power）。 4 格温·萨拉恩 4 戴维·施密特（David A.Schmidt）。 4 伊丽莎白·A·斯科特。 4 塞雷，凯萨 4 埃里克·坦特 4 维泰克，简 4 海克·卫尔海姆 4 马丁·威尔辛 4 吉安路易吉·扎瓦塔罗 三 回来，Ralph Johan 三 罗伯托·巴布蒂 三 马塞洛·玛丽亚·邦桑格 三 卢博什·布里姆 三 雅克·卡雷特 三 库珀，肯德拉 三 詹姆斯·科迪。 三 莎朗·柯蒂斯（Sharon A.Curtis）。 三 戴丽蓉 三 达姆，沃纳 三 洛科·德尼古拉 三 多米尼克·达根 三 弗朗西斯科·杜兰 三 Jo C.埃贝根。 三 Patrick Th.尤格斯特。 三 Loe M.G.Feijs。 三 Jean-Claude费尔南德斯 三 财务，Jean-Pierre 三 科马克·弗拉纳根 三 帕斯卡·弗雷德特 三 尼西姆·弗朗西兹 三 利奥·弗雷塔斯 三 何塞·路易斯·加里多 三 罗伯托·贾科巴齐 三 罗伯特·吉格里奇 三 丹尼尔·戈拉 三 Jan Friso，格鲁特 三 约翰·V·古塔格。 三 克里斯·汉金。 三 埃里克·C·R·海纳。 三 拉尔夫·欣泽 三 弗莱德里克·尤尤尔（Frédéric Jouault） 三 Joost-Pieter卡托恩 三 朱莉娅·劳尔。 三 Gary T.Leavens。 三 刘燕红安妮 三 佐哈尔·曼纳 三 马丁，阿兰·J。 三 孙孟 三 卡罗尔·摩根。 三 曼纽尔·诺格拉 三 延斯·帕尔斯伯格 三 彼得·佩珀 三 罗萨里奥·普格利泽 三 甘尼桑拉马林加姆 …还有1519名作者 全部的 前5名领域 986 计算机科学（68至XX） 67 总体主题；集合（00-XX） 37 数理逻辑与基础（03-XX） 8 运筹学、数学规划（90-XX） 7 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 7 信息与通信理论、电路（94-XX） 6 阶、格、有序代数结构（06-XX） 4 数论（11-XX） 4 范畴理论；同调代数（18-XX） 三 历史和传记（01-XX） 三 一般代数系统（08-XX） 三 数值分析（65-XX） 2 组合数学（05-XX） 2 交换代数（13-XX） 1 结合环与代数（16-XX） 1 代数拓扑（55-XX） 1 概率论与随机过程（60-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 588出版物有被引用3540中的次2778份文件 引用人▼ 年份▼ 状态图：复杂系统的可视化形式主义。 Zbl 0637.68010号 大卫·哈雷尔 172 1987 使用分支时间时序逻辑合成同步骨架。 Zbl 0514.68032号 艾默生·E·艾伦；埃德蒙·克拉克（Edmund M.Clarke）。 84 1982 Esterel同步编程语言：设计、语义、实现。 Zbl 0772.68013号 杰拉德·贝里；乔治·戈蒂尔 82 1992 模型检查的模式：分支时间逻辑反击。 Zbl 0615.68019号 艾默生·E·艾伦；Lei、Chin-Laung 59 1987 通过多项式解释终止重写系统及其实现。 Zbl 0625.68036号 阿勒姆·本·切里法；皮埃尔·莱斯坎 54 1987 查找重复的元素。 Zbl 0497.68041号 J·米斯拉。；大卫·格里斯 46 1982 通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号 克里斯特尔·拜尔；马尔詹·西尔贾尼；法哈德·阿尔巴；简·拉特 43 2006 逐步精化和编程演算的理论基础。 Zbl 0624.68017号 约瑟夫·莫里斯（Joseph M.Morris）。 43 1987 将单子概括为箭头。 Zbl 0954.68034号 约翰·休斯 42 2000 使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。 Zbl 1076.68540号 曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 39 2005 保护命令语言的概率模型。 Zbl 0877.68014号 何继峰；塞德尔，K。；McIver，A。 38 1997 朝向精化代数。 Zbl 1091.68030号 冯·赖特，J。 37 2004 将分布式程序分解为通信封闭层。 兹伯利0514.68033 塞拉·埃尔拉德；尼西姆·弗朗西兹 34 1982 动态检测可能不变量的Daikon系统。 Zbl 1161.68390号 迈克尔·D·恩斯特。；杰夫·H·珀金斯。；Philip J.郭。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨。；肖，陈 33 2007 一种有效的互模拟等价算法的实现。 Zbl 0711.68058号 Jean-Claude费尔南德斯 32 1990 数据结构和程序转换。 Zbl 0712.68014号 格兰特·马尔科姆 30 1990 分类抽象机。 Zbl 0634.68078号 G·库西诺。；居里，P.-L。；M·莫尼。 29 1987 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦；克里斯蒂娜·大卫；阮虎海；秦胜超 29 2012 关于公平的证明规则和转换。 Zbl 0512.68014号 Krysztof R.阿普特。；E.-R.奥尔德罗。 29 1983 域半环的内部公理。 Zbl 1211.68242号 朱尔斯·德沙奈斯；乔治·斯特鲁斯 28 2011 加权下推系统及其在过程间数据流分析中的应用。 Zbl 1088.68040号 代表，托马斯；斯特凡·施温；Jha，萨默什；大卫·梅尔斯基 27 2005 快速、长寿命重命名的无等待算法。 Zbl 0838.68050号 马克·莫尔；詹姆斯·安德森。 25 1995 移动自组网的进程演算。 Zbl 1192.68451号 阿努·辛格；罗摩克里希南。；斯科特·斯莫尔卡。 25 2010 高阶函数的严格性分析。 Zbl 0603.68013号 杰弗里·伯恩。；克里斯·汉金；萨姆森·艾布拉姆斯基 24 1986 行为和抽象规范。 兹比尔0853.68130 米歇尔·比多特；罗尔夫·亨尼克；马丁·威尔辛 24 1995 Coq中随机算法的证明。 Zbl 1178.68667号 菲利普·奥德巴德；克里斯汀·保林·莫林 23 2009 使用网络展开进行模型检查。 Zbl 0834.68087号 哈维尔·埃斯帕尔扎 23 1994 并发程序不变性和活性属性的充分证明原则。 Zbl 0542.68014号 佐哈尔·曼纳；阿米尔·普努利 22 1984 框架时序逻辑编程。 Zbl 1131.68036号 段振华；杨晓晓；马西耶·库特尼 22 2008 基于组件的建模组合。 Zbl 1075.68016号 格雷戈·戈斯勒；约瑟夫·西法基斯 21 2005 伽马模型及其编程原则。 Zbl 0715.68054号 Jean-Pierre，Banátre；丹尼尔·勒梅泰勒 21 1990 关于编程语言的表达能力。 Zbl 0745.68033号 马提亚斯·费莱森 20 1991 安全信息流的语义方法。 Zbl 0954.68052号 拉杰夫·乔希；雷诺，K.鲁斯坦M。 19 2000 使用抽象解释自动生成有界度多项式不变量。 Zbl 1171.68555号 罗德里格斯-卡博内尔，E。；卡普尔，D。 19 2007 克莱恩变得懒惰了。 Zbl 1109.68060号 伯恩哈德·莫勒 19 2007 针对正则无交替演算的高效实时模型检查。 Zbl 1026.68098号 拉杜·马特埃斯库；米哈埃拉·西希雷亚努 19 2003 连接器着色。I：同步和上下文依赖。 Zbl 1121.68015号 克拉克、戴夫；大卫·科斯塔；法哈德·阿尔巴 17 2007 裁员的工程和理论基础。 Zbl 1119.68348号 巴纳赫，R。；波普尔顿，M。；Jeske，C。；斯蒂芬尼，S。 17 2007 电力领域建设。 Zbl 0769.08005号 莱因霍尔德·赫克曼 17 1991 例外的功能理论。 Zbl 0699.68022号 迈克，斯皮维 16 1990 收缩计算的推导。 Zbl 0709.68020号 安妮·卡尔德瓦伊；马丁·雷 16 1990 动态键入：语法和证明理论。 Zbl 0809.68083号 弗里茨·亨利恩 15 1994 介绍基于集合约束的程序分析。 Zbl 0940.68031号 亚历山大·艾肯 15 1999 析取抽象解释的最佳域。 Zbl 0942.68020号 罗伯托·贾科巴齐；弗朗西斯科·兰扎托 15 1998 影子知道：序列程序中的精细化和安全性。 Zbl 1178.68166号 卡罗尔·摩根 15 2009 并行算法的逐步细化。 Zbl 0705.68057号 背面，R.J.R。；Sere，K。 15 1990 针对现成仿真问题的一种新的有效解决方案的转换设计和实现。 Zbl 0832.68050号 布鲁姆，巴德；罗伯特·佩奇 15 1995 凸多面体的精确加宽算子。 Zbl 1088.68173号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；伊丽莎·里奇；埃纳州扎法内拉 15 2005 具有事件和关系的同步编程：SIGNAL语言及其语义。 Zbl 0745.68031号 阿尔伯特·本文尼斯特；保罗·勒格尔尼克；克里斯蒂安·杰克莫特 14 1991 抽象行为类型：组件及其组合的基础模型。 Zbl 1075.68014号 法哈德·阿尔巴 14 2005 用于规范和编程的图形转换。 Zbl 0933.68022号 马克·安德烈；格雷戈·恩格斯；阿内格丽特·哈贝尔；伯特霍尔德·霍夫曼；汉斯·约尔格·克鲁斯基；萨宾·库斯克；丰满，细节；安迪·舒尔；加布里埃尔·坦泽尔 14 1999 通信过程的完全正确性演算。 Zbl 0485.68025号 C.A.R.霍尔。 14 1981 次线性多关键字模式匹配算法的分类。 Zbl 0858.68026号 B.W.沃森。；G.茨瓦恩。 14 1996 八面体抽象域。 Zbl 1171.68540号 罗伯特·克拉里斯托；乔迪·科尔塔德拉 13 2007 使用数据对过程进行模型检查。 Zbl 1082.68067号 J.F.格罗特。；威廉姆斯，T.A.C。 13 2005 在自动生成的编译器中增加模块性和语言独立性。 Zbl 0565.68011号 哈拉尔德·甘辛格 13 1983 重写的高阶实现。 Zbl 0551.68076号 劳伦斯·鲍尔森 13 1983 回到直接风格。 Zbl 0808.68051号 奥利维尔·丹维 12 1994 对序列数据进行动态编程的一门学科。 Zbl 1067.90157号 罗伯特·吉格里奇；卡斯滕·迈耶；彼得·斯特芬 12 2004 用图表证明。 Zbl 0852.68070号 莎朗·柯蒂斯；洛维，加文 12 1996 WS-BPEL中的形式语义和控制流分析。 兹比尔1122.68073 欧阳春；埃里克·韦贝克；Wil M.P.范德阿尔斯特。；斯蒂芬·布鲁特尔；马龙·杜马；阿瑟·霍夫斯泰德。 12 2007 基于超图变换的图编辑器生成器的概念和实现。 Zbl 1002.68735号 马克·米纳斯 12 2002 JML的设计如何兼顾运行时断言检查和形式验证。 Zbl 1075.68009号 Gary T.Leavens。；Yoonsik Cheon先生；柯蒂斯·克利夫顿；克莱德·鲁比；大卫·R·科克。 12 2005 用于普通电话系统的自动组合马尔可夫链生成。 Zbl 0941.68649号 霍尔格·赫尔曼斯；Joost-Pieter卡托恩 12 2000 数据表示的行为正确性。 Zbl 0699.68031号 奥利弗·肖特 12 1990 平滑排序，一种就地排序的替代方法。 Zbl 0486.68050号 Edsger W.Dijkstra。 12 1982 基于约束逻辑的语言的数据流分析的约束系统层次结构。 Zbl 0891.68056号 罗伯特·巴格纳拉 12 1998 替换：一个使用monad和转换的形式化方法案例研究。 兹比尔083068025 法国贝勒加德；詹姆斯·胡克 12 1994 分层对象结构的模块不变量。 Zbl 1100.68539号 彼得·米勒；阿恩·施·赫夫特；Gary T.Leavens。 11 2006 非确定性数据流程序：如何避免合并异常。 Zbl 0632.68016号 曼弗雷德·布罗伊 11 1988 通过逻辑关系和伽罗瓦联系，免费提供抽象解释的安全性。 Zbl 1091.68069号 凯文·巴克豪斯；罗兰·巴克豪斯 11 2004 一种类型检查相关类型的算法。 Zbl 0853.68102号 可口、蒂埃里 11 1996 具有全局变量和抽象数据类型的递归方程的自动投影。 Zbl 0745.68073号 安德斯·邦多夫；奥利维尔·丹维 11 1991 使用特征构造进行特征集成。 Zbl 0983.68236号 普拉斯，麦芽；马克·瑞恩 11 2001 用于相关性分析的两类布尔函数。 Zbl 0942.68018号 塔尼亚·阿姆斯特朗；金·万豪酒店；彼得·沙赫特；哈拉尔德·森德加德 11 1998 跨接器：分布式跨接扩展器。 Zbl 1279.68026号 什洛米·多列夫；尼尔·扎查 11 2013 用于分析抽象系统属性的基于状态/事件的模型检查方法。 Zbl 1213.68392号 莫里斯·比克。；亚历山德罗·范特奇；格内西、斯特凡尼亚；弗朗科·马扎蒂 11 2011 关于落叶松共享语言的报告。 Zbl 0581.68007号 古塔格，J.V。；霍宁，J.J。 11 1986 用广谱语言编程：示例集。 兹比尔0469.68003 F.L.鲍尔。；布罗伊，M。；多什·W·。；R.格纳茨。；Krieg-Brückner，B。；劳特，A。；卢克曼，M。；T·马特兹纳。；莫勒，B。；H·帕奇。；胡椒，P。；萨梅尔森，K。；斯坦布吕根，R。；Wirsing，M。；Wössner，H。 11 1981 完整Prolog的数学定义。 Zbl 0832.68022号 伊贡博格尔；院长罗森茨威格 11 1995 谓词变换器的代数结构。 Zbl 0807.18003号 保罗·H·B·加德纳。；克莱尔·马丁。；奥格·德穆尔 10 1994 形状的语义。 Zbl 0853.68119号 杰·巴里 10 1995 用多重关系模拟天使和恶魔的不确定性。 Zbl 1106.68023号 C.E.马丁。；南卡罗来纳州柯蒂斯。；我·雷维茨基。 10 2007 通过抽象解释缓存行为预测。 Zbl 0948.68049号 克里斯蒂安·费迪南德；弗洛里安·马丁；莱因哈德·威廉；马丁·阿尔特 10 1999 通过定点计算进行程序推导。 Zbl 0681.68020号 蔡家珍；罗伯特·佩奇 10 1989 程序结构综合的合理性。 Zbl 0514.68019号 薄荷，G。；E.图古。 10 1982 关于开发循环不变量和循环的标准策略的注释。 Zbl 0516.68008号 大卫·格里斯 10 1982 将程序抽象解释为马尔可夫决策过程。 Zbl 1088.68039号 戴维·莫尼奥 10 2005 五边形：用于有效验证数组访问的弱关系抽象域。 Zbl 1197.68035号 弗朗西斯科·洛戈佐；曼努埃尔·Fähndrich 10 2010 口译员专业化转型。 Zbl 1091.68018号 尼尔·D·琼斯。 9 2004 使用高级替换系统对Reo中的动态重新配置进行建模。 Zbl 1211.68052号 克里斯蒂安·克劳斯；Ziyan Maraikar；亚历山大·拉佐维克；法哈德·阿尔巴 9 2011 工作中的重新功能化。 Zbl 1192.68115号 奥利维尔·丹维；凯文·米利金 9 2009 PiDuce-一个试验web服务技术的项目。 Zbl 1194.68077号 萨缪尔·卡皮内蒂；科西莫·拉涅夫；卢卡·帕多瓦尼 9 2009 逻辑编程抽象域的组合：开放产品和通用模式构造。 兹比尔0957.68023 阿戈斯蒂诺·科尔特斯；波杜因勒·沙利埃；帕斯卡·范·亨特利克 9 2000 统一算法的演绎综合。 Zbl 0472.68054号 佐哈尔·曼纳；理查德·沃尔丁格 9 1981 ATL：模型转换工具。 兹比尔1154.68366 弗莱德里克·尤尤尔（Frédéric Jouault）；弗雷迪·阿利莱尔；让·贝齐文；伊万·库特夫 9 2008 不断变化的计算。 Zbl 0891.68039号 V.古普塔。；R.贾加迪桑。；V.A.萨拉斯瓦特。 9 1998 目标导向的需求获取。 Zbl 0792.68024号 安妮·达登；范·兰斯维德（Axel van Lamsweerde）；斯蒂芬·菲克斯 8 1993 指向指针代数。 Zbl 0780.68090号 伯恩哈德·莫勒 8 1993 计算路径算法。 Zbl 0818.68117号 罗兰·贝克豪斯（Roland C.Backhouse）。；范登·艾因德，J.P.H.W。；范·加斯特伦（A.J.M.van Gasteren）。 8 1994 按值调用场景中的线性相关类型。 兹比尔1283.68117 乌戈·达尔拉戈；芭芭拉·佩蒂特 6 2014 托尔：模块化搜索，可挂钩分离。 Zbl 1283.68318号 汤姆·施里杰弗斯；巴特·德梅恩；马库斯·特里斯卡；德索特，贝诺特 4 2014 无副本消息传递的异常处理。 Zbl 1283.68208号 斯维特拉纳·雅克西奇；卢卡·帕多瓦尼 三 2014 一个组合模型，用于推理随机Reo连接器中的端到端QoS。 Zbl 1412.68065号 月亮，Young-Joo；亚历山德拉·席尔瓦；克里斯蒂安·克劳斯；法哈德·阿尔巴 1 2014 跨接器：分布式跨接扩展器。 Zbl 1279.68026号 什洛米·多列夫；尼尔·扎查 11 2013 具有请求响应操作的行为合同。 Zbl 1264.68117号 露西娅·阿西艾；米歇尔·博雷尔；吉安路易吉·扎瓦塔罗 三 2013 通过细化动画验证形式化模型。 Zbl 1264.68057号 斯特凡·哈勒斯特德；Michael Leuschel先生；丹尼尔·普拉格 三 2013 SMT-solver在B和Event-B开发环境中的集成。 Zbl 1264.68056号 戴维·戴哈贝 三 2013 类Java语言的灵活动态特征替换。 Zbl 1284.68101号 洛伦佐·贝蒂尼；萨拉·卡佩基；费卢西奥·达米亚尼 2 2013 在类似Java的设置中，将特征与框和所有权类型相结合。 Zbl 1264.68046号 洛伦佐·贝蒂尼；费卢西奥·达米亚尼；凯萨琳·盖尔曼；1月Schäfer 2 2013 双重分析，用于证明安全性和发现漏洞。 Zbl 1264.68065号 科内留·波皮亚；魏恩根·钦 2 2013 使用自组合对副通道对策进行形式验证。 Zbl 1284.68158号 J.Bacelar阿尔梅达；曼纽尔·巴博萨；Jorge S.平托。；Bárbara维埃拉 1 2013 理性的建模评论家：将失败的证明转化为建模指导。 Zbl 1264.68058号 爱尔兰，安德鲁；古德蒙德·格罗夫；玛丽亚·特蕾莎·拉诺；迈克尔·巴特勒 1 2013 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦；克里斯蒂娜·大卫；阮虎海；秦胜超 29 2012 关于LTL的不可满足和不可实现核心的概念。 Zbl 1242.68075号 维克多·舒潘 8 2012 异步对象的组合验证系统。 Zbl 1264.68050号 沃尔夫冈·阿伦特；马克西米利安·迪拉 8 2012 关于UTP理论家族的机械推理。 Zbl 1243.68270号 泽达，弗兰克；安娜·卡瓦尔坎蒂 7 2012 用正式安全证明证明组件：BBS的情况。 Zbl 1243.68146号 雷纳尔德·阿弗尔德；大卫·诺瓦克；清桥山田 7 2012 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 Zbl 1243.68212号 达姆，沃纳；海宁·迪尔克斯；斯特凡·迪什；威廉·哈格曼；弗洛里安·皮戈什；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 6 2012 基于定时组件设计的模态事件块规范。 兹比尔1264.68053 Nathalie Bertrand；Legay、Axel；苏菲·平奇纳特；Jean-Baptiste Raclet女士 6 2012 协议兼容性检查的通用框架。 Zbl 1245.68028号 弗朗西斯科·杜兰；梅里姆·乌代尔尼；格温·萨拉恩 5 2012 使用实时淡紫色验证等级托勒密二世离散事件模型。 Zbl 1264.68051号 Bae，Kyungmin先生；彼得·塞巴·奥维茨基；冯，托马斯·惠宁；爱德华·A·李。；斯塔夫罗斯·特里帕基斯 5 2012 使用逻辑方法验证图形语法。 Zbl 1243.68211号 达科斯塔，西蒙·安德烈；莱拉·里贝罗 4 2012 上下文相关组件连接器的模型。 Zbl 1243.68147号 马塞洛·邦桑格；克拉克、戴夫；亚历山德拉·席尔瓦 4 2012 状态流图的优化模型。 Zbl 1243.68152号 阿尔瓦罗宫泽；安娜·卡瓦尔坎蒂 4 2012 等时系统的组成设计。 Zbl 1250.68094号 Jean-Pierre塔宾；尤伊，朱利安；蒂埃里·戈蒂埃；洛依茨贝斯纳德；保罗·勒格尔尼克 三 2012 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗；阿纳尔·比吉松；安娜·英格尔夫斯多蒂；穆罕默德·礼萨，穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2012 保留属性的方面。 Zbl 1243.68143号 简朴的乔科；雷米·杜伦斯；帕斯卡·弗雷德特 三 2012 CSP跟踪细化中的SAT求解。 Zbl 1243.68216号 克里斯蒂娜·帕利卡列娃；约尔·瓦克宁；A.W.罗斯科。 三 2012 进化自适应系统的形式化建模。 Zbl 1264.68131号 Khakpour、Narges；赛义德·贾利利；卡罗琳·塔尔科特；马尔詹·西尔贾尼；穆罕默德·穆萨维 三 2012 有效纠正冲突预防带算法。 Zbl 1243.68153号 安东尼·纳卡维奇；穆尼奥斯，塞萨尔；Gilles Dowek 2 2012 利用步骤语义对异步系统进行有效的有界模型检查。 Zbl 1243.68213号 乔里·杜布罗文；汤米·琼蒂拉；凯乔·赫尔扬科 2 2012 行为适应下的系统结构重构。 Zbl 1264.68047号 卡洛斯·卡纳尔；哈维尔·卡马拉；格温·萨拉恩 2 2012 基于SAT的定时组件连接器验证。 Zbl 1279.68212号 斯蒂芬妮·坎佩尔 1 2012 连接器设计：建模、细化和测试用例生成。 兹比尔1242.68070 孙孟；法哈德·阿尔巴；艾切尔尼格，伯恩哈德·K。；阿塞特夫·诺艾，勒克雷米奥拉；德波尔（Frank S。；简·拉特 1 2012 随机故障下的网络移动：复杂性分析。 Zbl 1242.68031号 多米尼克·克莱恩；弗兰克·G·拉德马赫。；沃尔夫冈·托马斯 1 2012 通过（模型-）等式传播组合决策过程。 Zbl 1243.68150号 de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 1 2012 面向服务的交互的正式模型。 兹比尔1243.68138 何塞·费亚德罗；洛佩斯，安东尼亚；乔昂·阿布鲁 1 2012 弱τ碰撞的连续和分布式实时计算。 兹比尔1243.68219 拉杜·马特埃斯库；安东·威伊斯 1 2012 最适合验证弱LTL属性的即时并行模型检查算法。 Zbl 1264.68052号 JiříBarnat；卢博什·布里姆；彼得·罗奇凯 1 2012 域半环的内部公理。 Zbl 1211.68242号 朱尔斯·德沙奈斯；乔治·斯特鲁斯 28 2011 用于分析抽象系统属性的基于状态/事件的模型检查方法。 Zbl 1213.68392号 莫里斯·比克。；亚历山德罗·范特奇；格内西、斯特凡尼亚；弗朗科·马扎蒂 11 2011 使用高级替换系统对Reo中的动态重新配置进行建模。 Zbl 1211.68052号 克里斯蒂安·克劳斯；Ziyan Maraikar；亚历山大·拉佐维克；法哈德·阿尔巴 9 2011 使用functor和monad的多级编程：消除泛型代码的抽象开销。 Zbl 1215.68059号 雅克·卡雷特；奥列格·基塞利约夫 7 2011 关于欧几里德算法和初等数论。 Zbl 1246.11187号 罗兰·巴克豪斯；费雷拉，乔昂·F·。 5 2011 工作流建模的属性规范。 Zbl 1216.68165号 Peter Y.H.Wong。；杰里米·吉本斯 5 2011 一种用于细化状态丰富并发规范的策略语言。 Zbl 1218.68101号 马塞尔·奥利维拉；泽达，弗兰克；安娜·卡瓦尔坎蒂 4 2011 内涵类型理论中嵌套数据类型的地图融合。 Zbl 1210.68048号 拉尔夫·马提斯 4 2011 使用CSP和规范命令的行为树语义。 Zbl 1220.68050号 罗伯特·J·科尔文。；伊恩·海耶斯。 4 2011 一种用于反射程序生成器的类型系统。 Zbl 1215.68062号 克里斯托夫·卢特罗思；德雷克·德拉海姆；杰拉尔德·韦伯 三 2011 程序分析中的XML图。 Zbl 1215.68079号 安德斯·默勒；迈克尔·施瓦茨巴赫 三 2011 BPMN的形式化和应用。 Zbl 1213.68212号 Peter Y.H.Wong。；杰里米·吉本斯 三 2011 根据基于场景的交互规范合成Reo电路。 Zbl 1237.68064号 孙孟；法哈德·阿尔巴；克里斯特尔·拜尔 三 2011 针对多重继承的带有惰性行为子类型的增量推理。 Zbl 1221.68058号 约翰·多夫兰；埃纳尔·布罗赫·约翰森；Owe、Olaf；马丁·斯特芬 三 2011 使用SafeGen生成静态安全的程序。 Zbl 1215.68054号 黄珊珊；大卫·佐克；亚尼斯·斯马拉格达基斯 2 2011 枫叶的部分评估。 Zbl 1215.68277号 雅克·卡雷特；迈克尔·库塞拉 2 2011 公平ASM改进的完整性。 Zbl 1217.68065号 格哈德·谢尔霍恩 2 2011 语境、精炼和决定论。 Zbl 1219.68091号 史蒂夫·里夫斯；大卫·斯特雷德 2 2011 simpA：一种基于Java的面向代理的并发应用程序编程方法。 Zbl 1211.68055号 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 2 2011 按对象组成进行委派。 Zbl 1217.68047号 洛伦佐·贝蒂尼；维维亚娜·博诺；贝蒂·文奈里 2 2011 通用拓扑库。 Zbl 1211.68130号 雷内·海因策；菲利普·施瓦哈 1 2011 将结构化程序转换为XPath查询和战略功能。 Zbl 1215.68066号 阿尔西诺·库尼亚；Joost Visser公司 1 2011 多重继承的元模型语义。 Zbl 1215.68060号 罗兰·杜库诺；让·普里瓦特 1 2011 非Null类型字节码验证算法的形式化和实现。 Zbl 1215.68069号 男，克里斯；大卫·J·皮尔斯。；亚历克斯·波坦；康斯坦丁·迪姆尼科夫 1 2011 通过约束满足实现基于渠道的协调。 Zbl 1220.68049号 克拉克、戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴 1 2011 比较三种协调模式：Reo、ARC和PBRD。 Zbl 1211.68056号 卡罗琳·塔尔科特；马尔詹·西尔贾尼；任尚平 1 2011 MPI 2.0的形式化规范：指定实用并发编程API的案例研究。 Zbl 1209.68111号 李国栋；罗伯特·帕尔默；迈克尔·德利西；加内什·戈帕拉克里什南；罗伯特·M·柯比。 1 2011 无死锁和饥饿的可重入读写器：结合模型检查和定理证明的案例研究。 Zbl 1213.68193号 伯纳德·范加斯特尔；伦纳德·伦辛克；斯梅特泽斯，沙克；马克·范·埃克伦 1 2011 状态空间缩减静态分析在微控制器二进制代码中的应用。 Zbl 1213.68390号 巴斯蒂安·施利希；Jörg Brauer；斯特凡·科瓦列夫斯基 1 2011 闪存高效LTL模型检查。 Zbl 1213.68372号 爱德坎普，S。；D.苏鲁斯基。；J.巴纳特。；布里姆·L。；Šimeček，P。 1 2011 一致更改系统接口：CSP（\ | \）B的一种新的细化策略。 Zbl 1221.68062号 史蒂夫·施耐德；海伦·特里哈恩 1 2011 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。；布里姆·L。；布诺娃，B。；乔纳，I。；J·索科尔。；瓦·埃科娃，P。 1 2011 移动自组网的进程演算。 Zbl 1192.68451号 阿努·辛格；罗摩克里希南。；斯科特·斯莫尔卡。 25 2010 五边形：用于有效验证数组访问的弱关系抽象域。 Zbl 1197.68035号 弗朗西斯科·洛戈佐；曼努埃尔·Fähndrich 10 2010 阻塞范式中关系模拟的不完整性。 Zbl 1209.68306号 埃尔克·博伊滕；约翰·德里克 6 2010 基于特征的程序自动综合的代数基础。 Zbl 1209.68129号 斯文·阿佩尔；克里斯蒂安·伦戈尔；伯恩哈德·莫勒；克里斯蒂安·卡斯特纳 6 2010 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉，罗科；丹尼尔·戈拉；汉森、雷内·里多夫；弗莱明·尼尔森；尼尔森、汉内·里斯；克里斯蒂安·W·普罗布斯特。；罗萨里奥·普格利泽 5 2010 一种新的次线性右向左扫描关键词模式匹配算法分类。 Zbl 1209.68170号 洛克·克利奥帕斯；布鲁斯·沃森。；杰勒德·茨瓦恩 4 2010 分析上下文无关语法的歧义性。 Zbl 1189.68068号 克劳斯·布拉布兰德；罗伯特·吉格里奇；安德斯·默勒 三 2010 基于行动者的切片技术，可有效减少Rebeca模型。 Zbl 1214.68223号 哈米德·萨布里；马尔詹·西尔贾尼 三 2010 声音重构。 兹比尔1191.68168 墨西哥科内里奥；安娜·卡瓦尔坎蒂；奥古斯托·桑帕约 2 2010 C++开放式多方法的设计与评估。 Zbl 1211.68054号 彼得·皮尔克鲍尔；尤里·索洛德基；Bjarne斯特劳斯特鲁普 2 2010 分布式方面的范围界定策略。 Zbl 1209.68113号 埃里克·坦特；约翰·法布里；雷米·杜伦斯；雅克·诺伊；马里奥·苏德霍尔特 2 2010 Silver：一个可扩展的属性语法系统。 Zbl 1187.68285号 埃里克·范怀克；德里克·博丹；高继敏；Krishnan、Ligesh 2 2010 运行时概念的动态算法选择。 Zbl 1197.68036号 彼得·皮尔克鲍尔；家长，肖恩；马库斯，马特；Bjarne斯特劳斯特鲁普 2 2010 使用GenVoca为分布式系统构建基于架构的生成器的经验。 Zbl 1196.68026号 龙，中角；拉杰斯瓦兰，布拉格；西瓦达斯、萨提亚纳拉亚南；西瓦巴拉辛加姆，塞列潘 1 2010 元编译中未分析模式的理论和实践。 Zbl 1191.68173号 克里斯蒂安·林德克内特；尼克·沃兰斯基 1 2010 结合动态和静态切片来分析汇编程序。 Zbl 1191.68174号 马丁·沃德；侯赛因·泽丹 1 2010 用代数组合子构造语言处理器。 Zbl 1211.68049号 尼古拉斯·弗里斯比；加林·金梅尔；菲利普·韦弗；佩里·亚历山大 1 2010 资源高效的事件代数。 Zbl 1211.68148号 简·卡尔森；比约恩·利斯特 1 2010 使用JastAdd属性语法实现modelica编译器。 Zbl 1187.68139号 约翰·奥凯森；托比约恩·埃克曼；赫丁，戈雷尔 1 2010 一种实验性的模糊检测工具。 Zbl 1187.68282号 西尔万·施密茨 1 2010 交互组件协调的一致性概念。 兹比尔1200.68072 罗德里戈·拉莫斯；奥古斯托·桑帕约；亚历山大·莫塔 1 2010 将强制与子类型和多重分派集成。 Zbl 1197.68033号 哈雷特，J.J。；维克托·卢昌科；柳，苏京；盖·利·朱·斯蒂尔（Guy L.jun Steele）。 1 2010 基于事件的编排。 Zbl 1209.68032号 文森佐·西安西亚；Gianluigi法拉利；罗伯特·瓜夏莱；丹尼尔·斯特罗洛 1 2010 基于组件仿真的替代性管理QoS和组合问题。 Zbl 1214.68097号 海姆，皮尔雷·科里尔；奥尔加·库什纳伦科；福尔摩·沃伊诺特 1 2010 用于为具有冲突解决的非LR（1）文法生成最小LR（2）解析器表的IELR（3）算法。 Zbl 1209.68286号 丹尼，乔尔·E。；布莱恩·马洛伊（Brian A.Malloy）。 1 2010 简单的截面交换和不可计算函数的特性。 Zbl 1209.68141号 沃德·道格拉斯·莫勒 1 2010 Coq中随机算法的证明。 Zbl 1178.68667号 菲利普·奥德巴德；克里斯汀·保林·莫林 23 2009 影子知道：序列程序中的精细化和安全性。 Zbl 1178.68166号 卡罗尔·摩根 15 2009 …还有488个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名3982位作者引用 27 曼努埃尔五世（Manuel V.Hermenegildo）。 26 乔治·斯特鲁斯 23 维姆·赫塞林克。 21 伯恩哈德·莫勒 20 安娜·卡瓦尔坎蒂 19 段振华 19 彼得·霍夫纳 17 罗尔夫·亨尼克 16 何塞·梅塞盖尔·瓜伊塔 15 法哈德·阿尔巴 15 Jan A.Bergstra。 15 朱尔斯·德沙奈斯 15 沃尔特·古特曼 15 Joost-Pieter卡托恩 14 奥尔纳·库普弗曼 14 何塞·弗朗西斯科·莫拉莱斯 13 伊恩·海耶斯。 13 范格拉贝克、罗伯特·扬 12 洛科·德尼古拉 12 卡罗尔·摩根。 12 Tim A.C.Willemse。 12 朱慧彪 11 克里斯特尔·拜尔 11 奥利维尔·丹维 11 罗伯托·贾科巴齐 11 佩德罗·洛佩兹·加西亚 11 戴维·诺曼（David A.Naumann）。 11 弗莱明·尼尔森 11 奥尔德罗格（Ernst-Rüdiger Olderog） 11 阿米尔·普努利 11 卡罗琳·塔尔科特。 11 田聪 11 詹姆斯·C·P·伍德科克。 11 张楠 10 鲁道夫·伯格哈默 10 科内利斯·A·米德尔堡。 10 曼弗雷德·施密特·沙乌 10 埃纳州扎法内拉 10 泽达，弗兰克 9 西蒙，布利兹 9 罗伯特·J·科尔文。 9 杰里米·吉本斯 9 马丁·兰格 9 伊莎贝拉·马斯特罗埃尼 9 Annabelle K.McIver。 9 阿里·米莉 9 阿德里亚诺·佩隆 9 弗朗西斯科·兰扎托 9 代表，Thomas W。 9 唐纳德·桑内拉。 9 莫西·亚亚科夫·瓦尔迪 9 马丁·威尔辛 8 安德烈亚斯·阿贝尔（Andreas M.Abel）。 8 回来，Ralph Johan 8 罗兰·贝克豪斯（Roland C.Backhouse）。 8 理查德·巴纳赫 8 米歇尔·比多特 8 魏恩根·钦 8 克拉克、戴夫 8 阿戈斯蒂诺·科尔特斯 8 约翰·德里克 8 弗朗西斯科·杜兰 8 尼西姆·弗朗西兹 8 大卫·哈雷尔 8 何继峰 8 托马斯·亨辛格（Thomas A.Henzinger）。 8 霍尔格·赫尔曼斯 8 C.A.R.Tony Hoare 8 本特·琼森 8 安迪·金 8 Legay、Axel 8 安德烈亚·马焦洛·谢蒂尼 8 拉里萨·梅尼基。 8 马克·米纳斯 8 穆申成 8 Owe、Olaf 8 大卫·萨贝尔 8 奥古斯托·桑帕约。 8 马丁·斯特芬 8 安德烈·塔莱基 8 塔尔莫乌斯塔卢 8 汤姆·沃纳 7 保罗·C·阿蒂。 7 Jos C.M.Baeten。 7 巴博萨、路易斯·索亚雷斯 7 曼弗雷德·布罗伊 7 曼纽尔·卡罗 7 安德烈亚·科拉迪尼 7 费卢西奥·达米亚尼 7 德波尔（Frank S。 7 哈特穆特·埃里格 7 休伯特·加拉维 7 罗伯特·吉格里奇 7 罗伯特·格莱克 7 Jan Friso，格鲁特 7 埃纳尔·布罗赫·约翰森 7 迪帕克·卡普尔 7 弗朗西丝卡·列维 7 刘志明 7 米拉·塞德尔巴姆少校。 …还有3882位作者 全部的 前5名166种期刊被引用 354 理论计算机科学 176 计算的形式方面 118 信息与计算 109 计算机程序设计科学 87 函数编程杂志 85 程序设计中的逻辑和代数方法杂志 82 信息学报 75 逻辑与代数程序设计杂志 66 信息处理信件 64 系统设计中的形式化方法 48 自动推理杂志 45 MSCS公司。计算机科学中的数学结构 45 分布式计算 35 计算机科学中的逻辑方法 33 逻辑程序设计理论与实践 31 高阶和符号计算 23 符号计算杂志 22 计算机与系统科学杂志 21 国际计算机科学基础杂志 19 计算机语言、系统和结构 17 信息科学 15 实时系统 13 人工智能 13 离散事件动态系统 11 ACM计算逻辑事务 10 新一代计算 10 计算系统理论 9 国际并行程序设计杂志 9 并行与分布式计算杂志 9 国际计算机数学杂志 8 计算机科学与技术杂志 8 RAIRO公司。理论信息学及其应用 7 Automatica公司 7 拓扑及其应用 7 纯逻辑与应用逻辑年鉴 7 工程、通信和计算中的应用代数 7 应用逻辑杂志 6 编程与计算机软件 6 Studia Logica公司 6 算法 6 并行算法与应用 6 计算机科学评论 5 计算 5 RAIRO公司。Informatique Théorique et Applications公司 5 控制论与系统分析 5 逻辑、语言与信息杂志 5 计算机科学中的数学 5 计算机科学前沿 4 离散应用数学 4 欧洲运筹学杂志 4 数学与人工智能年鉴 4 约束条件 4 组合优化期刊 4 美国医学会杂志 4 计算机基础理论 4 应用数学杂志 4 算法 三 计算机与数学及其应用 三 应用数学与计算 三 比特币 三 模糊集与系统 三 符号逻辑杂志 三 SIAM计算机杂志 三 国际生产研究杂志 三 国际近似推理杂志 三 计算几何 三 数据挖掘与知识发现 三 自然计算 三 离散算法杂志 三 科学中国。信息科学 三 RAIRO公司。理论信息学及其应用 2 倒排索引综述 2 国际控制杂志 2 国际理论物理杂志 2 计算数学 2 数学生物学通报 2 代数普遍性 2 计算与应用数学杂志 2 圣母院形式逻辑杂志 2 Opsearch（操作搜索） 2 软件。实践与经验 2 计算机与运筹学 2 机器学习 2 杰泰。实验与理论人工智能杂志 2 应用的分类结构 2 应用非经典逻辑杂志 2 图表 2 埃及数学学会杂志 2 人工智能研究杂志 2 符号逻辑公报 2 可靠的计算 2 动力系统的数学和计算机建模 2 机器学习研究杂志（JMLR） 2 对称性 2 理论生物学杂志 1 计算机物理通信 1 国际通用系统杂志 1 国际系统科学杂志 1 工程数学杂志 1 富兰克林学院学报 …还有66种期刊 全部的 前5名39个领域被引用 第2611页 计算机科学（68至XX） 462 数理逻辑与基础（03-XX） 75 范畴理论；同调代数（18-XX） 63 系统论；控制（93至XX） 57 运筹学、数学规划（90-XX） 43 阶、格、有序代数结构（06-XX） 43 信息与通信理论、电路（94-XX） 36 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 32 组合数学（05-XX） 31 生物学和其他自然科学（92-XX） 21 数值分析（65-XX） 13 一般代数系统（08-XX） 12 结合环与代数（16-XX） 11 历史和传记（01-XX） 11 量子理论（81-XX） 10 总体主题；集合（00-XX） 10 数论（11-XX） 10 一般拓扑结构（54至XX） 10 概率论与随机过程（60-XX） 9 统计学（62-XX） 7 凸和离散几何（52至XX） 6 群论与推广（20-XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 5 动力系统和遍历理论（37至XX） 三 交换代数（13-XX） 三 粒子和系统力学（70-XX） 2 场论与多项式（12-XX） 2 变分法与最优控制；最优化（49至XX） 2 代数拓扑（55-XX） 1 代数几何（14-XX） 1 拓扑群、李群（22日至XX日） 1 实际功能（26年X月X日） 1 常微分方程（34-XX） 1 差分和函数方程（39至XX） 1 欧氏空间的调和分析（42至XX） 1 算子理论（47-XX） 1 流体力学（76-XX） 1 统计力学，物质结构（82-XX） 1 天文学和天体物理学（85-XX） 按年份列出的引文