计算机语言、系统和结构国际期刊 简短标题: 计算。语言系统。结构。 出版商: 爱思唯尔(佩加蒙),牛津 国际标准编号: 1477-8424 在线: https://www.sciencedirect.com/journal/computer-languages-systems-and-structures/issues 前任: 计算机语言 评论: 期刊;不再索引 已编制索引的文档: 109出版物(2002–2017) 索引的引用: 105出版物参考文献3094。 全部的 前5名最新问题 47,第1部分(2017) 46(2016) 44C部分(2015) 44,B部分(2015) 44,A部分(2015) 43(2015) 42(2015) 41(2015) 402014年第3-4号 392013年第4号 392013年第3期 392013年第2期 392013年第1期 382012年第3期 382012年第2期 372011年第3期 372011年第2期 372011年第1期 362010年第4期 362010年第3期 362010年第1期 352009年第4期 352009年第3期 352009年第2期 342008年第1期 33,第3-4号(2007) 33,第2号(2007年) 332007年第1期 322006年第4号 322006年第2-3号 322006年第1期 31,第3-4号(2005) 312005年第2期 31,第1号(2005年) 30,第3-4号(2004) 30,第1-2号(2004) 292003年第3期 29,第1-2号(2003) 282002年第4期 28,第3期(2002年) 282002年第2期 28,第1期(2002年) 全部的 前5名作者 6 阿戈斯蒂诺·科尔特斯 5 Stéphane Ducasse 5 罗埃尔·伍兹 三 里卡多·福卡尔迪 2 亚历山大·贝格尔 2 奇亚拉·布拉金 2 弗洛里安·布兰德纳 2 马塞洛·R·坎波。 2 陈洁才 2 程春田 2 Mehran S·法拉。 2 约翰·C·卢斯。 2 Vivek Nigam先生 2 罗纳德·奥尔森。 2 卡拉广场 2 安德烈·斯克洛夫 2 纳撒内尔·施亚利 2 尚伟佳 2 杨,吴 2 亚历杭德罗·祖尼诺 1 阿萨勒阿杰 1 维克拉姆·阿格拉瓦尔 1 马尔科·阿尔迪努奇 1 阿纳利亚·阿曼迪 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 阿姆托夫特,托本 1 西奥多·安德洛尼科斯 1 安德烈·阿鲁索艾 1 埃米尔·阿克塞尔森 1 塔贾纳Ban Kirigin 1 巴博萨、路易斯·索亚雷斯 1 吉尔·巴特 1 阿弥陀佛巴苏 1 杰拉尔德·鲍姆加特纳 1 格雷戈里·本森。 1 伦纳特·贝林格 1 加利纳州贝索娃 1 罗伯托·比戈尼亚。 1 安德鲁·菲利普·布莱克 1 安娜丽莎·博西 1 努里·布拉卡迪 1 尼古拉斯·G·布尔巴吉斯。 1 理查德·肖恩·鲍曼 1 梅拉·布鲁索 1 巴雷特·R·布莱恩特。 1 米歇尔·布格列西 1 阿尔瓦罗·坎波斯。 1 朱塞佩·卡斯塔尼亚 1 莫里斯·张 1 郭敬洲 1 米歇尔·切萨姆 1 Chen,Jim X。 1 克拉克,大卫 1 克拉克、戴夫 1 凯文·克莱尔曼 1 丹尼尔·科奇奥娃 1 保罗·科克肖特 1 科伦拜特,昆廷 1 班诺伊·库梅莱 1 朱利娅·科斯坦蒂尼 1 弗雷德里克·达布罗斯基 1 亚历山德罗·达尔·帕洛 1 安德烈·玛丽安(Andrei Marian Dan) 1 马可·丹拉托托 1 詹姆斯·吉尔·德·拉马德里德 1 何塞·德·奥利维拉·吉马朗斯 1 朱塞佩·德拉·佩纳 1 阿德里安·德迈德 1 马库斯·丹克 1 Dhamdhere,Dhananjay M。 1 Maja D'Hondt 1 罗伯托·迪·科斯莫 1 弗拉基米尔·奥·迪奥里奥。 1 亚历山德罗斯·C·迪莫普洛斯。 1 董泽刚 1 阿戈斯蒂诺·多维尔 1 迪帕克·D’Souza 1 尼尔斯·埃尔曼瑞奇 1 皮埃特罗·费拉拉 1 尤金·福多尔(Eugene F.Fodor)。 1 尼库·弗鲁贾。 1 戈帕尔·古普塔 1 约翰·加拉赫(John P.Gallagher)。 1 皮埃尔·洛伊奇 1 蒂埃里·戈蒂埃 1 葛廷坚 1 哈利勒·戈尔巴尔 1 科斯塔斯·古提斯(Costas E.Goutis)。 1 罗伯特·格拉博夫斯基 1 克里斯·吉贝尔斯 1 郭海峰 1 盖坦·海恩斯 1 拉朱·哈尔德 1 哈米迪,哈米德·雷扎 1 斯特凡·哈内伯格 1 克里斯·汉金。 1 大卫·哈拉伯达 1 戈雷尔·赫丁 1 轩尼诗,Matthew C.B。 1 Heo,Kihong先生 …还有129位作者 字段 109 计算机科学(68至XX) 5 总体主题;集合(00-XX) 5 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物有被引用142中的次131文件 引用人▼ 年份▼ 借助参数化系统进行模型检查和抽象(调查)。 Zbl 1072.68069号 勒诺尔·扎克;阿米尔·普努利 11 2004 Mizar的弯曲连接词。 Zbl 1387.68207号 阿图尔·科尔尼·奥维茨 9 2015 验证持久安全属性。 Zbl 1072.68065号 安娜丽莎·博西;里卡多·福卡尔迪;卡拉广场;萨宾娜·罗西 9 2004 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 6 2017 在宽松的内存模型下进行验证的有效抽象。 兹比尔1379.68237 安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 6 2017 安全环境下的行为打字。 Zbl 1028.68005号 米歇尔·布格列西;朱塞佩·卡斯塔尼亚 5 2002 用于抽象解释的加宽和变窄运算符。 兹比尔1218.68100 阿戈斯蒂诺·科尔特斯;马泰奥·扎尼奥利 5 2011 高阶并发的一阶推理。 兹比尔1248.68355 瓦西里欧斯·库塔瓦斯;马修·轩尼诗 5 2012 类不变量作为跟踪语义的抽象解释。 Zbl 1387.68052号 弗朗西斯科·洛戈佐 4 2009 关于分层消息传递系统的推理。 Zbl 1072.68067号 Meenakshi,B。;拉马努贾姆,R。 4 2004 类Algol语言的信息流。 Zbl 1027.68021号 克拉克,大卫;克里斯·汉金;亨特,塞巴斯蒂安 4 2002 用于检查代数集和半代数集的正不变性的证明规则层次。 Zbl 1379.68238号 哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 4 2017 涉及大型对象的表达式树的内存优化计算。 Zbl 1218.68072号 林志昌;托马斯·劳贝尔;杰拉尔德·鲍姆加特纳;丹尼尔·科奇奥娃;萨达亚潘,P。 4 2011 保护模块架构的完全抽象跟踪语义。 Zbl 1387.68054号 马可·帕特里格纳尼;克拉克、戴夫 三 2015 基于语言转换的符号执行。 Zbl 1387.68047号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 三 2015 使用分类模型的开发工具的意外集成。 Zbl 1091.68014号 罗埃尔·伍兹;Stéphane Ducasse 三 2004 移动环境中的安全边界。 Zbl 1028.68004号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪 三 2002 用状态表示简单语言中的程序等价性。 Zbl 1248.68155号 尼科斯·齐夫列科斯 三 2012 一种通过利用软件信息和内存结构来加速循环内核的方法。 Zbl 1387.68065号 凯莱福拉斯、瓦西里奥斯;安吉利基·克里蒂卡库;科斯塔斯·古提斯 2 2015 行为多视图模型的图内和图间一致性检查。 Zbl 1387.68051号 佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;马蒂娜·塞德尔;马格达莱娜·维德尔 2 2015 应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号 A.多维尔。;E.昆塔雷利。 2 2009 保存编译的安全类型。 Zbl 1109.68025号 吉尔·巴特;塔玛拉·雷兹克;阿弥陀佛巴苏 2 2007 移动环境的嵌套分析。 Zbl 1072.68066号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2004 环境微积分中的有序通信。 Zbl 1051.68029号 托尔本阿姆托夫特;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 2 2002 C++程序中动态内存管理的研究。 Zbl 1038.68015号 Lee、Woo Hyong;莫里斯·张 2 2002 基于非连续分区的数组内容静态分析。 Zbl 1379.68096号 刘江超;对手,泽维尔 2 2017 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;基里金,塔贾娜·班;Vivek Nigam先生;安德烈·斯克洛夫 2 2014 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 2 2013 语际反思:一个概念模型及其实现。 Zbl 1103.68465号 克里斯·吉贝尔斯;罗埃尔·伍兹;Stéphane Ducasse;Maja D'Hondt 1 2006 Smalltalk的运行时字节码转换。 Zbl 1102.68435号 马库斯·登克;Stéphane Ducasse;埃里克·坦特 1 2006 结合内涵视图的代码和设计:案例研究。 Zbl 1102.68449号 男人,金;安迪·凯伦斯;Pluquet、Frédéric;罗埃尔·伍兹 1 2006 计算网格的并行资源协同分配。 Zbl 1103.68338号 李惠贤;程春田;周,K.W。 1 2007 扩展movilog以支持web服务。 Zbl 1103.68344号 克里斯蒂安·马特奥斯;亚历杭德罗·祖尼诺;马塞洛·坎波 1 2007 带有线程转义的嵌套原子节的形式语义。 Zbl 1387.68048号 福雷德里克·达布罗夫斯基;弗雷德里克·卢勒格;托马斯·品萨尔 1 2015 关于架构重构的验证。 Zbl 1387.68071号 亚历杭德罗·桑切斯;亚历山大·马德拉;路易斯·巴博萨。 1 2015 编译和验证安全关键反应系统的SC-SystemJ程序。 Zbl 1387.68053号 和平公园;阿维纳什·马利克;萨尔西奇、佐兰 1 2015 中量级Java中调度器相关的不干涉的规范和静态实施。 兹比尔1387.68050 伊兰曼内什、泽纳布;Mehran S·法拉。 1 2016 可视化和高度确定的下推自动机的有效确定。 Zbl 1387.68160号 拉多米尔·波拉赫;特拉夫尼切克,简;Janoušek,扬;博伊沃伊·梅利查 1 2016 确定逻辑程序备选方案的动态重新排序。 Zbl 1387.68058号 郭海峰;戈帕尔·古普塔 1 2009 CCS的单调框架。 Zbl 1387.68172号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 2009 计算网格中优化资源分配的实用性驱动解决方案。 Zbl 1387.68045号 李志杰;程春田;黄飞雪 1 2009 证明\(\mathrm{C}^{#}\)的类型安全性。 Zbl 1387.68049号 尼库·弗鲁贾。 1 2010 依赖条件图:程序点之间依赖的精确条件。 Zbl 1387.68073号 斯里哈里苏库马兰;阿肖克·斯列尼瓦斯;梅塔,拉文德拉 1 2010 多维稠密数组上并行计算的微积分。 Zbl 1112.68058号 罗伯托·迪·科斯莫;李,郑;佩拉加蒂,苏珊娜 1 2007 批量同步并行进程代数。 Zbl 1112.68105号 亚美尼亚梅林;盖坦·海恩斯 1 2007 在模型检查中使用对称约简。 Zbl 1072.68068号 西斯特拉·A·普拉萨德 1 2004 使用基于mixin的继承的安全元类组合。 Zbl 1072.68518号 努里·布拉卡迪 1 2004 在非确定性计算中处理动态环境的最佳数据结构。 Zbl 1027.68038号 彭泰利,E。;D.兰扬。;Dal Palú,A。 1 2002 从列表、数组和对象中进行统一选择。 Zbl 1038.68016号 约翰·C·卢斯。 1 2002 增量编程语言开发。 Zbl 1101.68632号 马尔扬·默尼克;维尔杰姆·舒默 1 2005 JavaLog:基于框架的Java和Prolog集成,用于面向代理的编程。 Zbl 1079.68519号 阿纳利亚·阿曼迪;马塞洛·坎波;亚历杭德罗·祖尼诺 1 2005 类框:控制类扩展的可见性。 Zbl 1101.68441号 亚历山大·贝格尔;Stéphane Ducasse;奥斯卡·尼尔斯特拉斯;罗埃尔·伍兹 1 2005 作为紧凑表示的逻辑程序。 Zbl 1059.68018号 帕特里夏·M·希尔。;福斯托·斯波托 1 2003 通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号 城市,卡特里娜;安托万·米内 1 2017 二叉树作为计算框架。 Zbl 1296.68028号 大卫·哈拉伯达;保罗·塔劳 1 2013 通过图剪枝优化最坏情况下的执行时间界限。 兹比尔1308.68024 弗洛里安·布兰德纳;亚历山大·乔丹 1 2014 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 6 2017 在宽松的内存模型下进行验证的有效抽象。 兹比尔1379.68237 安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 6 2017 用于检查代数集和半代数集的正不变性的证明规则层次。 Zbl 1379.68238号 哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 4 2017 基于非连续分区的数组内容静态分析。 Zbl 1379.68096号 刘江超;对手,泽维尔 2 2017 通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号 城市,卡特里娜;安托万·米内 1 2017 中量级Java中调度器相关的不干涉的规范和静态实施。 Zbl 1387.68050号 伊兰曼内什、泽纳布;Mehran S·法拉。 1 2016 可视化和高度确定的下推自动机的有效确定。 Zbl 1387.68160号 拉多米尔·波拉赫;特拉夫尼切克,简;Janoušek,扬;博伊沃伊·梅利查 1 2016 Mizar的弯曲连接词。 Zbl 1387.68207号 阿图尔·科尔尼·奥维茨 9 2015 保护模块架构的完全抽象跟踪语义。 Zbl 1387.68054号 马可·帕特里格纳尼;克拉克、戴夫 三 2015 基于语言转换的符号执行。 Zbl 1387.68047号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 三 2015 一种通过利用软件信息和内存结构来加速循环内核的方法。 Zbl 1387.68065号 凯莱福拉斯、瓦西里奥斯;安吉利基·克里蒂卡库;科斯塔斯·古提斯 2 2015 行为多视图模型的图内和图间一致性检查。 Zbl 1387.68051号 佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;塞德尔,玛蒂娜;马格达莱娜·维德尔 2 2015 带有线程转义的嵌套原子节的形式语义。 Zbl 1387.68048号 福雷德里克·达布罗夫斯基;弗雷德里克·卢勒格;托马斯·品萨尔 1 2015 关于架构重构的验证。 Zbl 1387.68071号 亚历杭德罗·桑切斯;亚历山大·马德拉;路易斯·巴博萨。 1 2015 编译和验证安全关键反应系统的SC-SystemJ程序。 Zbl 1387.68053号 和平公园;阿维纳什·马利克;萨尔西奇、佐兰 1 2015 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫 2 2014 通过图剪枝优化最坏情况下的执行时间界限。 Zbl 1308.68024号 弗洛里安·布兰德纳;亚历山大·乔丹 1 2014 使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 2 2013 二叉树作为计算框架。 兹比尔1296.68028 大卫·哈拉伯达;保罗·塔劳 1 2013 高阶并发的一阶推理。 Zbl 1248.68355号 瓦西里欧斯·库塔瓦斯;马修·轩尼诗 5 2012 用状态表示简单语言中的程序等价性。 Zbl 1248.68155号 尼科斯·齐夫列科斯 三 2012 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 用于抽象解释的加宽和变窄运算符。 兹比尔1218.68100 阿戈斯蒂诺·科尔特斯;马泰奥·扎尼奥利 5 2011 涉及大型对象的表达式树的内存优化计算。 Zbl 1218.68072号 林志昌;托马斯·劳贝尔;杰拉尔德·鲍姆加特纳;丹尼尔·科奇奥娃;萨达亚潘,P。 4 2011 证明\(\mathrm{C}^{#}\)的类型安全性。 Zbl 1387.68049号 尼库·弗鲁贾。 1 2010 依赖条件图:程序点之间依赖的精确条件。 Zbl 1387.68073号 斯里哈里苏库马兰;阿肖克·斯列尼瓦斯;梅塔,拉文德拉 1 2010 类不变量作为跟踪语义的抽象解释。 Zbl 1387.68052号 弗朗西斯科·洛戈佐 4 2009 应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号 A.多维尔。;E.昆塔雷利。 2 2009 确定性逻辑程序备选方案的动态重新排序。 Zbl 1387.68058号 郭海峰;戈帕尔·古普塔 1 2009 CCS的单调框架。 Zbl 1387.68172号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 2009 计算网格中优化资源分配的实用性驱动解决方案。 Zbl 1387.68045号 李志杰;程春田;黄飞雪 1 2009 保存编译的安全类型。 Zbl 1109.68025号 吉尔·巴特;塔玛拉·雷兹克;阿弥陀佛巴苏 2 2007 计算网格的并行资源协同分配。 Zbl 1103.68338号 李惠贤;程春田;周,K.W。 1 2007 扩展movilog以支持web服务。 Zbl 1103.68344号 克里斯蒂安·马泰奥斯;亚历杭德罗·祖尼诺;马塞洛·坎波 1 2007 多维稠密数组上并行计算的微积分。 Zbl 1112.68058号 罗伯托·迪·科斯莫;李,郑;苏珊娜·佩拉加蒂 1 2007 批量同步并行进程代数。 Zbl 1112.68105号 亚美尼亚梅林;盖坦·海恩斯 1 2007 语际反思:一个概念模型及其实现。 Zbl 1103.68465号 克里斯·吉贝尔斯;罗埃尔·伍兹;Stéphane Ducasse;D’Maja Hondt 1 2006 Smalltalk的运行时字节码转换。 Zbl 1102.68435号 马库斯·丹克;Stéphane Ducasse;埃里克·坦特 1 2006 结合内涵视图的代码和设计:案例研究。 Zbl 1102.68449号 男人,金;安迪·凯伦斯;弗雷德里克·普卢奎;罗埃尔·伍兹 1 2006 增量编程语言开发。 Zbl 1101.68632号 马尔扬·默尼克;维尔杰姆·舒默 1 2005 JavaLog:基于框架的Java和Prolog集成,用于面向代理的编程。 Zbl 1079.68519号 阿纳利亚·阿曼迪;马塞洛·坎波;亚历杭德罗·祖尼诺 1 2005 类框:控制类扩展的可见性。 Zbl 1101.68441号 亚历山大·贝格尔;Stéphane Ducasse;奥斯卡·尼尔斯特拉斯;伍茨,罗尔 1 2005 借助参数化系统进行模型检查和抽象(调查)。 Zbl 1072.68069号 勒诺尔·扎克;阿米尔·普努利 11 2004 验证持久安全属性。 Zbl 1072.68065号 安娜丽莎·博西;里卡多·福卡尔迪;卡拉广场;萨宾娜·罗西 9 2004 关于分层消息传递系统的推理。 Zbl 1072.68067号 Meenakshi,B。;拉马努贾姆,R。 4 2004 使用分类模型意外集成开发工具。 Zbl 1091.68014号 罗埃尔·伍兹;Stéphane Ducasse 三 2004 移动环境的嵌套分析。 Zbl 1072.68066号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2004 在模型检查中使用对称约简。 Zbl 1072.68068号 西斯特拉·A·普拉萨德 1 2004 使用基于mixin的继承的安全元类组合。 Zbl 1072.68518号 努里·布拉卡迪 1 2004 作为紧凑表示的逻辑程序。 Zbl 1059.68018号 帕特里夏·M·希尔。;福斯托·斯波托 1 2003 安全环境下的行为打字。 Zbl 1028.68005号 米歇尔·布格列西;朱塞佩·卡斯塔尼亚 5 2002 类Algol语言的信息流。 Zbl 1027.68021号 克拉克,大卫;克里斯·汉金;亨特,塞巴斯蒂安 4 2002 移动环境中的安全边界。 Zbl 1028.68004号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪 三 2002 环境微积分中的有序通信。 Zbl 1051.68029号 阿姆托夫特,托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 2 2002 C++程序中动态内存管理的研究。 Zbl 1038.68015号 Lee、Woo Hyong;Chang,Morris莫里斯 2 2002 在非确定性计算中处理动态环境的最佳数据结构。 Zbl 1027.68038号 彭泰利,E。;D.兰扬。;Dal Palú,A。 1 2002 从列表、数组和对象中进行统一选择。 Zbl 1038.68016号 约翰·C·卢斯。 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名300位作者引用 6 阿戈斯蒂诺·科尔特斯 6 阿图尔·科尔尼·奥维茨 4 艾哈迈德·博阿贾尼 4 约翰·加拉赫(John P.Gallagher)。 4 比肖克桑·卡夫 4 佩雷斯,豪尔赫·A。 4 卡拉广场 4 萨宾娜·罗西 三 西迪·穆罕默德·贝拉希 三 亚历山大·贝格尔 三 奇亚拉·布拉金 三 伊利亚卡斯特拉尼 三 马里亚纽拉州Dezani-Ciancaglini 三 康斯坦丁埃纳 三 皮埃特罗·费拉拉 三 里卡多·福卡尔迪 三 亚当·格拉博夫斯基 三 亚当·纳莫维奇 三 弗莱明·尼尔森 三 Vivek Nigam先生 三 汉内·里斯·尼尔森 三 安德鲁·索戈孔 三 福斯托·斯波托 三 海克·卫尔海姆 三 伍茨,罗尔 2 卡明·阿巴特 2 文森佐·阿塞里 2 马塞洛·R·坎波。 2 萨拉·卡佩基 2 萨迪·达尔瓦迪 2 伊曼纽尔·德·安吉利斯 2 西蒙·多尔蒂 2 Dongol,布里耶什 2 Stéphane Ducasse 2 法比奥·菲奥拉万蒂 2 格雷姆·恒河 2 皮埃尔·甘蒂 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 简·希尔斯顿 2 凯莱福拉斯,瓦西利奥斯一世。 2 安迪·凯伦斯 2 弗朗西丝卡·列维 2 安德烈亚·马林 2 克里斯蒂安·马特奥斯 2 肯尼思·麦克米兰。 2 Pąk,卡罗尔 2 马可·帕特里格纳尼 2 阿尔贝托·佩特罗西 2 安德烈·普拉泽 2 阿米尔·普努利 2 毛里齐奥·普罗埃蒂 2 里卡多·罗查 2 安德烈·罗西 2 戴维·桑吉奥吉 2 安德烈·斯克洛夫 2 彼得·沙赫特 2 纳撒内尔·施亚利 2 马克·塞沃 2 哈拉尔德·森德加德 2 玛丽亚·索托 2 彼得·詹姆斯·斯塔基 2 Tan,Yong Kiam先生 2 伯纳多·托尼霍 2 Lenore D.扎克。 2 亚历杭德罗·祖尼诺 1 帕罗什·阿齐兹·阿卜杜拉 1 马尔科·阿尔迪努奇 1 玛丽亚·阿尔普特 1 安德烈·阿鲁索艾 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 伊塔·巴拉班 1 克莱门特巴拉布里加 1 塔贾纳Ban Kirigin 1 格拉泽戈兹·班塞雷克 1 马西莫·巴托莱蒂 1 安娜·贝基 1 贝拉德,贝特里奇 1 罗伯托·比戈尼亚。 1 布莱克,安德鲁·菲利普 1 罗伯托·布兰科 1 迈克尔·布隆丁 1 贝内迪克特·博利格 1 约翰·博格斯特罗姆 1 雷米·波顿 1 理查德·肖恩·鲍曼 1 约翰·布里肖 1 Busi,Matteo公司 1 Czesław拜林斯基 1 路易斯·凯雷斯 1 弗兰克·卡塞兹 1 塞尔吉奥·卡斯特罗 1 伊万格洛斯·查齐卡利姆尼奥斯 1 亚历山德罗·西马蒂 1 瑟·特凡·乔巴赫 1 克拉克,戴夫 1 罗伯特·J·科尔文。 1 凯瑟琳·科德威尔 1 朱利娅·科斯坦蒂尼 1 西尔维亚·克拉法 1 路易斯·克鲁兹·菲利佩 …还有200多名作者 全部的 前5名29种期刊引用 19 计算机语言、系统和结构 9 信息与计算 8 理论计算机科学 7 逻辑程序设计理论与实践 5 自动推理杂志 5 计算机科学中的逻辑方法 4 系统设计中的形式化方法 4 程序设计中的逻辑和代数方法杂志 三 信息学报 三 计算的形式方面 三 形式化数学 2 人工智能 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 2 计算机基础理论 1 计算 1 模糊集与系统 1 符号计算杂志 1 并行与分布式计算杂志 1 国际计算机科学基础杂志 1 欧洲运筹学杂志 1 SIAM科学计算杂志 1 运筹学国际交易 1 启发式杂志 1 美国医学会杂志 1 国际应用数学与计算机科学杂志 1 应用数学杂志 1 ACM计算逻辑事务 全部的 前5名在13个字段中引用 127 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 5 运筹学、数学规划(90-XX) 4 数论(11-XX) 三 系统论;控制(93至XX) 三 信息与通信理论、电路(94-XX) 2 常微分方程(34-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文