编辑配置文件（在新选项卡中打开） 罗德里克·布洛姆 合著者距离 作者ID： 布鲁姆·罗德里克 发布日期： 罗德里克·布洛姆;R·布隆。 外部链接： MGP公司 编入索引的文档： 51出版物自1997年以来，包括1本书 4作为编辑的贡献 合著者： 72位合著者具有55联合出版物 1534名合作作者 全部的 前5名合著者 0 单作者的 8 芭芭拉·乔布斯曼 8 罗伯特·Könighfer 7 瑞典雅各布斯 7 法比奥·萨蒙齐 6 贝蒂娜·科尼霍费尔 5 克里希南德·查特吉 5 马苏德·易卜拉希米 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 阿伊拉特·哈利莫夫 4 卡维塔·拉维 4 王超 三 哈娜·乔克勒 三 安德烈亚斯·格雷斯迈耶 三 药丸，英戈 三 斯特凡·斯塔珀 三 斯特里赫曼（Ofer Strichman） 2 埃齐奥·巴托西 2 尼古拉斯·布劳德·桑托尼 2 亚历山德罗·西马蒂 2 约斯特·恩格尔弗里特 2 格什温·菲 2 卡琳·格雷梅尔 2 加里·哈赫特尔（Gary D.Hachtel）。 2 维达德·哈季奇 2 乔治·霍夫雷克 2 伊戈尔·康诺夫（Igor V.Konnov）。 2 马德巴赫，贝内迪克特 2 斯特凡·曼加德 2 德扬·尼科维奇 2 弗兰茨·罗克 2 马可·罗维里 2 马蒂娜·塞德尔 2 Vaandrager，Frits W。 2 赫尔穆特·维思 2 约瑟夫·威德 1 穆罕默德·阿尔谢赫 1 埃利·阿贝尔 1 阿夫尼，盖伊 1 阿明·比尔 1 克拉克（Edmund Melson jun Clarke）。 1 拜伦·库克 1 罗尔夫·德雷克斯勒 1 埃格利，乌韦 1 吕迪格·埃勒斯 1 哈罗德·加博。 1 费比安·格雷夫 1 格罗·汉内斯 1 桑卡尔·古鲁穆蒂 1 劳拉·汉弗莱。 1 里纳特·尤斯波夫 1 尼尔斯·詹森 1 塞巴斯蒂安·荣格斯 1 Anja F.卡尔。 1 玛丽亚娜·拉齐奇 1 弗洛里安·朗辛 1 奈维迪塔·曼朱纳特 1 尼尔·皮特曼 1 阿米尔·普努利 1 斯特凡·普朗格 1 罗伯特·普里马斯 1 亨氏里纳 1 萨沙·鲁宾 1 萨阿尔，亚尼夫 1 罗伯特·J·席林。 1 西蒙·塞姆普林尼 1 亚历克斯，塞尔维亚人 1 安德烈·苏尔弗洛 1 保罗·塔布阿达 1 乌富克托普库 1 莫西·亚亚科夫·瓦尔迪 1 亚基尔·维泽尔 1 约翰内斯·温特 全部的 前5名系列 7 系统设计中的形式化方法 三 计算机与系统科学杂志 2 信息学报 2 计算机科学课堂讲稿 1 信息与计算 1 国际计算机科学基础杂志 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 分布式计算理论综合讲座 全部的 前5名领域 53 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 信息与通信理论、电路（94-XX） 三 总体主题；集合（00-XX） 三 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用588中的次431文件 引用人▼ 年份▼ 通过量化目标提高合成质量。 Zbl 1242.68151号 罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼 56 2009 模型检查手册。 Zbl 1390.68001号 56 2018 反应（1）设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 53 2012 高效的Büchi自动机形成LTL公式。 Zbl 0974.68086号 法比奥·萨蒙齐;罗德里克·布洛姆 41 2000 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 综合稳健系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 一种在\（n\log n\）符号步骤中进行强连通分量分析的算法。 Zbl 1110.68161号 罗德里克·布洛姆;哈罗德·加博。;法比奥·萨蒙齐 28 2006 一元二阶逻辑和属性文法定义的树转导的比较。 Zbl 0960.68086号 罗德里克·布洛姆;约斯特·恩格尔弗里特 28 2000 图形游戏和反应合成。 Zbl 1392.68233号 罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 24 2018 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·Könighfer;马蒂娜·塞德尔 22 2014 将程序修复作为游戏。 Zbl 1081.68572号 芭芭拉·乔布斯曼;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 21 2005 屏蔽合成：反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 朝向高效的参数化合成。 Zbl 1426.68051号 阿伊拉特·哈利莫夫;瑞典雅各布斯;罗德里克·布洛姆 14 2013 线性时间逻辑属性模型检查的有效决策程序。 Zbl 1046.68579号 罗德里克·布洛姆;卡维塔·拉维;法比奥·萨蒙齐 13 1999 使用QBF进行故障定位和纠正。 Zbl 1214.94086号 斯特凡·斯塔珀;罗德里克·布洛姆 11 2007 屏蔽合成。 兹比尔1386.68101 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 11 2017 图和树上的一元二阶逻辑和节点关系。 Zbl 0888.03025号 罗德里克·布洛姆;约斯特·恩格尔弗里特 8 1997 交替自动机的符号实现。 Zbl 1160.68401号 R·布隆。;A.西马蒂。;药丸，I。;Roveri，M。;森普里尼，S。 8 2006 寄存器换能器的有界综合。 Zbl 1517.68244号 阿伊拉特·哈利莫夫;马德巴赫，贝内迪克特;罗德里克·布洛姆 8 2018 发现并修复故障。 Zbl 1263.68112号 芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 7 2012 在出现故障时对屏蔽硬件实现进行正式验证。 Zbl 1428.94062号 罗德里克·布洛姆;格罗斯，汉内斯;里纳特·尤苏波夫;贝蒂娜·科尼霍费尔;斯特凡·曼加德;约翰内斯·温特 7 2018 公平模拟最小化。 Zbl 1010.68086号 桑卡尔·古鲁穆蒂;罗德里克·布洛姆;法比奥·萨蒙齐 6 2002 参数化合成。 Zbl 1352.68155号 瑞典雅各布斯;罗德里克·布洛姆 6 2012 协同反应合成。 Zbl 1471.68131号 罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer 6 2015 用一个计时器学习Mealy机器。 Zbl 07405985号 Vaandrager，Frits公司;罗德里克·布洛姆;马苏德·易卜拉希米 6 2021 具有参数化阈值保护的分布式算法的综合。 Zbl 1487.68252号 玛丽亚娜·拉齐奇;伊戈尔·康诺夫;约瑟夫·威德;罗德里克·布洛姆 6 2018 自稳定和拜占庭恢复分布式系统的合成。 Zbl 1411.68073号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;瑞典雅各布斯 6 2016 参数化合成。 Zbl 1325.68149号 瑞典雅各布斯;罗德里克·布洛姆 5 2014 使用概率屏蔽的安全强化学习（邀请论文）。 兹伯利07559459 尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆 5 2020 针对语言空洞的成分SCC分析。 Zbl 1100.68059号 王超;罗德里克·布洛姆;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐 三 2006 符号SCC外壳算法分析。 Zbl 1019.68629号 法比奥·萨蒙齐;卡维塔·拉维;罗德里克·布洛姆 三 2002 使用不可满足的内核调试设计错误。 Zbl 1156.68315号 Sülflow，安德烈;格什温·菲;罗德里克·布洛姆;罗尔夫·德雷克斯勒 三 2008 公开暗示。 Zbl 1155.68436号 卡琳·格雷梅尔;罗德里克·布洛姆;芭芭拉·乔布斯曼;摩什·瓦尔迪 三 2008 合成非真空系统。 Zbl 1484.68096号 罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 三 2017 计算机辅助验证。2014年7月18日至22日，第26届国际会议，CAV，作为2014年维也纳逻辑之夏VSL的一部分，在奥地利维也纳举行。诉讼程序。 Zbl 1293.68018号 三 2014 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克 三 2018 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 发现并修复故障。 Zbl 1159.68341号 斯特凡·斯塔珀;芭芭拉·乔布斯曼;罗德里克·布洛姆 2 2005 修复布尔程序并将其应用于C。 Zbl 1188.68188号 安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆;拜伦·库克 2 2006 划分和组合：SCC对语言空白的细化。 Zbl 1006.68531号 王超;罗德里克·布洛姆;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐 2 2001 交替自动机的符号实现。 Zbl 1142.68418号 罗德里克·布洛姆;亚历山德罗·西马蒂;药丸，印戈;马可·罗维里 2 2007 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，英戈;亨氏里纳;弗兰茨·罗克 2 2019 通过定量博弈对学习控制器进行运行时优化。 Zbl 07805558号 阿夫尼，盖伊;罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;贝蒂娜·科尼霍费尔;斯特凡·普朗格 2 2019 使用基于模型的诊断调试无法实现的规范。 Zbl 1325.68152号 罗伯特·Könighfer;乔治·霍夫雷克;罗德里克·布洛姆 1 2011 两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 Zbl 1522.68715号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;维达德·哈季奇;埃格利，乌韦;弗洛里安·隆辛;马蒂娜·塞德尔 1 2021 用一个计时器学习Mealy机器。 Zbl 07405985号 Vaandrager，Frits公司;罗德里克·布洛姆;马苏德·易卜拉希米 6 2021 两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 Zbl 1522.68715号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;维达德·哈季奇;埃格利，乌韦;弗洛里安·朗辛;马蒂娜·塞德尔 1 2021 使用概率屏蔽的安全强化学习（邀请论文）。 兹伯利07559459 詹森，尼尔斯;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆 5 2020 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，印戈;亨氏里纳;弗兰茨·罗克 2 2019 通过定量博弈对学习控制器进行运行时优化。 Zbl 07805558号 阿夫尼，盖伊;罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;贝蒂娜·科尼霍费尔;斯特凡·普朗格 2 2019 模型检查手册。 Zbl 1390.68001号 56 2018 图形游戏和反应合成。 Zbl 1392.68233号 罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 24 2018 寄存器换能器的有界综合。 Zbl 1517.68244号 阿伊拉特·哈利莫夫;马德巴赫，贝内迪克特;罗德里克·布洛姆 8 2018 在出现故障时对屏蔽硬件实现进行正式验证。 Zbl 1428.94062号 罗德里克·布洛姆;格罗斯，汉内斯;里纳特·尤斯波夫;贝蒂娜·科尼霍费尔;斯特凡·曼加德;约翰内斯·温特 7 2018 具有参数化阈值保护的分布式算法的综合。 兹比尔1487.68252 玛丽亚娜·拉齐奇;伊戈尔·康诺夫;约瑟夫·威德;罗德里克·布洛姆 6 2018 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克 三 2018 屏蔽合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 11 2017 合成非真空系统。 Zbl 1484.68096号 罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 三 2017 自稳定和拜占庭恢复分布式系统的合成。 Zbl 1411.68073号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;瑞典雅各布斯 6 2016 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 屏蔽合成：反应系统的运行时实施。 兹比尔1420.68119 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 协同反应合成。 Zbl 1471.68131号 罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer 6 2015 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 综合稳健系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·Könighfer;马蒂娜·塞德尔 22 2014 参数化合成。 Zbl 1325.68149号 瑞典雅各布斯;罗德里克·布洛姆 5 2014 计算机辅助验证。2014年7月18日至22日在奥地利维也纳举行的第26届国际会议，CAV 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。 Zbl 1293.68018号 三 2014 朝向高效的参数化合成。 Zbl 1426.68051号 阿伊拉特·哈利莫夫;瑞典雅各布斯;罗德里克·布洛姆 14 2013 反应（1）设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;Sa&rsquo；亚尼夫·阿尔 53 2012 发现并修复故障。 Zbl 1263.68112号 芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 7 2012 参数化合成。 Zbl 1352.68155号 瑞典雅各布斯;罗德里克·布洛姆 6 2012 使用基于模型的诊断调试无法实现的规范。 Zbl 1325.68152号 罗伯特·Könighfer;乔治·霍夫雷克;罗德里克·布洛姆 1 2011 通过量化目标提高合成质量。 Zbl 1242.68151号 罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼 56 2009 使用不可满足的内核调试设计错误。 兹比尔1156.68315 安德烈·苏尔弗洛;格什温·菲;罗德里克·布洛姆;罗尔夫·德雷克斯勒 三 2008 公开暗示。 Zbl 1155.68436号 卡琳·格雷梅尔;罗德里克·布洛姆;芭芭拉·乔布斯曼;摩什·瓦尔迪 三 2008 使用QBF进行故障定位和纠正。 Zbl 1214.94086号 斯特凡·斯塔珀;罗德里克·布洛姆 11 2007 交替自动机的符号实现。 Zbl 1142.68418号 罗德里克·布洛姆;亚历山德罗·西马蒂;药丸，英戈;马可·罗维里 2 2007 符号步骤中的强连通成分分析算法。 Zbl 1110.68161号 罗德里克·布洛姆;哈罗德·加博。;法比奥·萨蒙齐 28 2006 交替自动机的符号实现。 Zbl 1160.68401号 R·布隆。;A.西马蒂。;药丸，I。;Roveri，M。;塞姆普林尼，S。 8 2006 语言空虚的成分SCC分析。 兹比尔1100.68059 王超;罗德里克·布洛姆;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐 三 2006 修复布尔程序并将其应用于C。 Zbl 1188.68188号 安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆;拜伦·库克 2 2006 将程序修复作为游戏。 Zbl 1081.68572号 芭芭拉·乔布斯曼;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 21 2005 发现并修复故障。 Zbl 1159.68341号 斯特凡·斯塔珀;芭芭拉·乔布斯曼;罗德里克·布洛姆 2 2005 公平模拟最小化。 Zbl 1010.68086号 桑卡尔·古鲁穆蒂;罗德里克·布洛姆;法比奥·萨蒙齐 6 2002 符号SCC外壳算法分析。 Zbl 1019.68629号 法比奥·萨蒙齐;卡维塔·拉维;罗德里克·布洛姆 三 2002 划分和组合：SCC对语言空白的细化。 Zbl 1006.68531号 王超;罗德里克·布洛姆;加里·D·哈切特。;卡维塔·拉维;法比奥·萨蒙齐 2 2001 高效的Büchi自动机形成LTL公式。 Zbl 0974.68086号 法比奥·萨蒙齐;罗德里克·布洛姆 41 2000 一元二阶逻辑和属性文法定义的树转导的比较。 Zbl 0960.68086号 罗德里克·布洛姆;约斯特·恩格尔弗里特 28 2000 线性时间逻辑属性模型检查的有效决策程序。 Zbl 1046.68579号 罗德里克·布洛姆;卡维塔·拉维;法比奥·萨蒙齐 13 1999 图和树上的一元二阶逻辑和节点关系。 兹比尔0888.03025 罗德里克·布洛姆;约斯特·恩格尔弗里特 8 1997 所有引用出版物 前5名被引用出版物 全部的 前5名796位作者引用 20 克里希南德·查特吉 18 罗德里克·布洛姆 16 奥尔纳·库普弗曼 14 莫西·亚亚科夫·瓦尔迪 13 托马斯·亨辛格（Thomas A.Henzinger）。 11 Jean-François拉斯金 10 马丁·齐默尔曼 9 哈维尔·埃斯帕尔扎 9 艾曼纽·菲利奥特 9 伯恩德·芬克贝纳 9 芭芭拉·乔布斯曼 8 伊戈尔·康诺夫（Igor V.Konnov）。 8 米凯尔·兰多尔 7 帕特里夏·鲍耶 7 约斯特·恩格尔弗里特 7 约瑟夫·威德 6 拜尔，克里斯特尔 6 奥拉夫·拜尔斯多夫 6 乔舒亚·布林霍恩 6 大卫·布雷索林 6 亚历山德罗·西马蒂 6 金·古德斯特兰·拉森 6 斯特凡诺·托内塔 5 博尔祖·博纳克达尔普尔 5 莱奥·埃克巴德 5 约阿希姆·克莱因 5 圣埃芬·勒鲁 5 李建文 5 理查德·梅尔（Richard M.Mayr）。 5 丹尼尔·奈德 5 奥托普，简 5 米哈伊尔·拉斯金 5 皮埃尔·阿莱·雷尼尔 5 萨沙·鲁宾 5 所罗门·西克特 5 乌富克托普库 5 赫尔穆特·维思 5 亚历山大·韦内特 4 Aceto，卢卡 4 尼古拉·贝内什 4 马吕斯·博兹加 4 卢博什·布里姆 4 维罗尼克·布鲁埃 4 伊恩·卡萨尔 4 陈玉芳 4 哈娜·乔克勒 4 马苏德·易卜拉希米 4 阿德里安·弗兰卡兰扎 4 卢卡·盖蒂 4 尼古拉·吉甘特 4 朱利安·古铁雷斯 4 拉杜·奥西夫 4 瑞典雅各布斯 4 斯特凡·基弗 4 简·Křetínsk 4 Sandeep S.Kulkarni。 4 鲁帕克·马朱姆达尔 4 塞巴斯蒂安·马内思 4 安吉洛·蒙塔纳里 4 塞缪尔·帕斯特瓦 4 朱塞佩·佩雷利 4 卡拉广场 4 浦、葛光 4 萨夫拉内克，大卫 4 维克托·舒潘 4 马蒂娜·塞德尔 4 法比奥·萨蒙齐 4 Leander Tentrup公司 4 阿舒托什·特里维迪 4 蔡明勋 4 Tsay，Yih-Kuen先生 4 纱线维纳 4 迈克尔·J·伍尔德里奇。 4 张丽君 三 帕罗什·阿齐兹·阿卜杜拉 三 达拉·阿拉杰 三 本杰明·阿米诺夫 三 加尔阿姆拉姆 三 Balasubramanian，A.R。 三 克拉克·W·巴雷特。 三 托马斯·布里海耶 三 马克·伯里 三 戴维德·贾科莫·卡维扎 三 洛伦佐·克莱门特 三 劳伦特·多恩 三 吕迪格·埃勒斯 三 Faghih、Fathiyeh 三 伊利耶斯·法尔科内 三 达纳·菲斯曼 三 庆蒂里尼、拉斐拉 三 拉斯穆斯·易卜森·延森 三 Anna Ingólfsdóttir 三 尼尔斯·詹森 三 塞巴斯蒂安·荣格斯 三 贝蒂娜·科尼霍费尔 三 罗伯特·Könighfer 三 玛丽亚娜·拉齐奇 三 沙哈尔·茂兹 三 尼古拉斯·马基 三 米勒（David I。 …还有696位作者 全部的 前5名46篇连载文章中引用 38 系统设计中的形式化方法 28 理论计算机科学 25 信息学报 24 信息与计算 18 计算机科学中的逻辑方法 10 人工智能 9 计算机与系统科学杂志 9 计算的形式方面 8 离散事件动态系统 6 信息处理信件 5 自动推理杂志 5 分布式计算 5 程序设计中的逻辑和代数方法杂志 4 国际计算机科学基础杂志 4 计算系统理论 4 非线性分析。混合动力系统 三 Automatica公司 三 数学与人工智能年鉴 2 算法 2 机器学习 2 人工智能研究杂志 2 计算机基础理论 2 ACM计算逻辑事务 2 可满足性、布尔建模与计算杂志 2 Modelirovanie i Analiz信息系统 1 离散应用数学 1 计算 1 Studia Logica公司 1 合成 1 系统和控制信件 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际应用科学与工程分叉与混沌杂志 1 控制论与系统分析 1 符号逻辑公报 1 欧洲控制杂志 1 组合优化期刊 1 美国医学会杂志 1 离散数学和理论计算机科学。DMTCS公司 1 科学基础 1 计算机科学中的数学 1 理论计算机科学的基础和发展趋势 1 游戏 1 数值代数、控制与优化 1 计算机科学评论 全部的 前5名在15个字段中引用 390 计算机科学（68至XX） 125 数学逻辑和基础（03-XX） 60 博弈论、经济学、金融和其他社会和行为科学（91-XX） 29 系统论；控制（93至XX） 12 信息与通信理论、电路（94-XX） 11 运筹学、数学规划（90-XX） 10 组合数学（05-XX） 4 总体主题；集合（00-XX） 2 测量和集成（28-XX） 2 量子理论（81-XX） 2 生物学和其他自然科学（92-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 常微分方程（34-XX） 1 变分法与最优控制；最优化（49至XX） 1 数值分析（65-XX） 按年份列出的引文