编辑配置文件（在新选项卡中打开） Nathalie Bertrand 合著者距离 作者ID： 伯特兰·纳塔利 发布方式： Nathalie Bertrand;北伯特兰。 外部链接： MGP公司 已编制索引的文档： 61出版物自2003年以来，包括1个附加arXiv预打印 3作为编辑的贡献 合著者： 67位合著者具有61联合出版物 1339位联合作者 全部的 前5名合著者 2 单作者的 14 拜尔，克里斯特尔 9 帕特里夏·鲍耶 8 菲利普·施诺贝伦 7 马库斯·格勒 6 托马斯·布里海耶 6 谢尔盖·哈达德 5 恩格尔·勒福丘 5 艾米莉·斯坦纳 4 布莱斯·基内斯特 4 蒂埃里·杰伦 4 莫伊斯·克里钦 4 约瑟夫·威德 三 波林·福尼尔 三 雨果·金贝尔 三 玛丽亚娜·拉齐奇 三 阿尼尔班·马朱姆达尔 三 阿诺德·桑尼尔 2 摩根·艾比利 2 劳拉·阿莫塞 2 卢卡·博托卢西 2 皮埃尔·卡利埃 2 艾琳·查龙 2 奥利维尔·德尔斯特雷 2 米希尔·德瓦斯卡 2 克莱尔·马里·杜卢克 2 菲利普·古尔贝斯维尔 2 奥利维尔·哈迪 2 伊戈尔·康诺夫（Igor V.Konnov）。 2 安托万·克里斯托夫·洛布斯坦 2 尼古拉斯·马基 2 苏菲·平奇纳特 2 Jean-Baptiste Raclet女士 2 奥坎·桑库尔 2 斯文·舍韦 1 帕罗什·阿齐兹·阿卜杜拉 1 Balasubramanian，A.R。 1 亚伦·波希 1 维罗尼克·布鲁埃 1 卢卡·德·阿尔法罗 1 乔治·德尔扎诺 1 克莱门斯·杜伯斯拉夫 1 埃里克·法布雷 1 约翰·费恩利 1 雨果·弗兰肯 1 丹尼尔·巴雷克 1 阿德韦特·阿米特·戈博莱 1 文森特·格拉莫利 1 斯特凡·哈尔 1 洛依茨海露 1 尼尔斯·詹森 1 马尔钦·尤季扬斯基 1 巴巴拉·科尼格 1 克里斯蒂安·拉盖尔 1 Legay、Axel 1 昆廷·梅内特 1 皮埃尔·纳瓦罗 1 卡图西亚帕拉米德斯 1 雅各布皮里鲍尔 1 亚历山大·拉比诺维奇 1 Jean-François拉斯金 1 里奇特，Yann 1 一月，Stückrath 1 皮埃尔·索罗尼亚特 1 巴斯蒂恩·托马斯 1 范格拉贝克、罗伯特·扬 1 赫伯特，威克利基 1 吉田信子 全部的 前5名系列 4 计算机科学中的逻辑方法 2 信息处理信件 2 信息与计算 2 系统设计中的形式化方法 2 美国医学会杂志 2 计算机科学课堂讲稿 1 信息学报 1 理论计算机科学 1 欧洲组合数学杂志 1 计算机程序设计科学 1 离散事件动态系统 1 澳大利亚组合数学杂志 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 1 欧洲应用和工业数学系列（ESAIM）：论文集和调查 全部的 前5名领域 59 计算机科学（68至XX） 7 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 5 系统论；控制（93至XX） 4 运筹学、数学规划（90-XX） 三 一般性和全局性主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 三 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 地球物理学（86-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用332中的次240份文件 引用人▼ 年份▼ 识别和定位链和循环上的主导代码。 Zbl 1053.05095号 Nathalie Bertrand;艾琳·查龙;奥利维尔·哈迪;安托万·洛布斯坦 61 2004 1-识别树上的代码。 Zbl 1081.94039号 Nathalie Bertrand;艾琳·查龙;奥利维尔·哈迪;安托万·洛布斯坦 20 2005 概率Büchi自动机的决策问题。 Zbl 1139.68030号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 20 2008 概率\（{\omega}\）-自动机。 Zbl 1281.68152号 拜尔，克里斯特尔;马库斯·格罗瑟;Nathalie Bertrand 18 2012 时间自动机何时可以确定？ 兹比尔1248.68284 拜尔，克里斯特尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶 16 2009 时间自动机的概率和拓扑语义。 兹比尔1135.68464 拜尔，克里斯特尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;马库斯·格勒 11 2007 在结构良好的常规模型检查中计算不动点，并应用于有损信道系统。 Zbl 1165.68397号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 10 2006 验证通信故障的概率系统。 Zbl 1105.68003号 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 结构良好的符号模型检查中的可计算不动点。 Zbl 1291.68247号 北伯特兰。;施诺贝伦，P。 10 2013 许多相同概率定时过程的参数化验证。 Zbl 1359.68185号 Nathalie Bertrand;波林·福尼尔 9 2013 概率系统中诊断和可预测性的基础。 Zbl 1360.68627号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 9 2014 定时模式规范的细化和一致性。 Zbl 1234.68250号 Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 8 2009 随机时间自动机。 Zbl 1448.68256号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;昆廷·梅内特;拜尔，克里斯特尔;马库斯·格罗瑟;马尔金·尤尔金斯基 8 2014 在可重构广播网络中玩概率游戏。 Zbl 1405.68179号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 8 2014 概率系统的主动诊断。 Zbl 1405.68223号 Nathalie Bertrand;埃里克·法布雷;斯特凡·哈尔;谢尔盖·哈达德;洛依茨海露 8 2014 关于图变换系统中可达性和覆盖性的可判定状态。 兹比尔1437.68077 Nathalie Bertrand;乔治·德尔扎诺;巴巴拉·科尼格;阿诺德·桑尼尔;一月，Stückrath 8 2012 模型检查有损信道系统可能是可判定的。 Zbl 1029.68105号 Nathalie Bertrand;菲利普·施诺贝伦 7 2003 随机系统的精确近似可诊断性。 Zbl 1443.68082号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 7 2016 控制人口。 Zbl 1437.68175号 Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金贝尔 7 2017 确定时间自动机的博弈方法。 Zbl 1326.68173号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 根据\（\omega \）正则线性时间属性验证非确定性概率信道系统。 Zbl 1367.68181号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 6 2007 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 6 2012 确定时间自动机的博弈方法。 Zbl 1323.68337号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;Krichen，Moez莫兹 5 2015 在圆形对手下验证随机一致性算法。 Zbl 07649941号 Nathalie Bertrand;伊戈尔·康诺夫;玛丽亚娜·拉齐奇;约瑟夫·威德 5 2019 PCTL的有界可满足性。 Zbl 1252.68189号 Nathalie Bertrand;约翰·费恩利;斯文·舍韦 5 2012 马尔可夫决策过程中的随机最短路径和加权性质。 Zbl 1452.90315号 拜尔，克里斯特尔;Nathalie Bertrand;克莱门斯·杜伯斯拉夫;丹尼尔·巴雷克;奥坎·桑库尔 5 2018 概率系统中两种诊断的故事。 Zbl 1435.68212号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 5 2019 信号随机博弈的定性确定性和可判定性。 Zbl 1427.91022号 Nathalie Bertrand;布莱斯·基内斯特;雨果·金贝尔 5 2017 关于无穷状态马尔可夫链吸引子性质的一个注记。 Zbl 1191.68330号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 4 2006 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 Nathalie Bertrand;蒂埃里·杰伦;艾米莉·斯坦纳;莫伊斯·克里钦 三 2011 约束可重构广播网络中同步的参数化验证。 Zbl 1423.68273号 Balasubramanian，A.R。;Nathalie Bertrand;尼古拉斯·马基 三 2018 广播网络中的分布式本地策略。 Zbl 1374.68062号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 三 2015 短期访问STS层次结构。 Zbl 1273.68248号 Nathalie Bertrand;菲利普·施诺贝伦 三 2006 无限单词上的概率自动机：表现力、效率和可判定性。 Zbl 1456.68077号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 三 2009 分析决定性随机过程。 Zbl 1388.68202号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 2 2016 无限状态概率系统的诊断。 Zbl 1392.68230号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 2 2016 参数化广播网络中的重新配置和消息丢失。 Zbl 07649940号 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 2 2019 随机转移系统什么时候可以驯服？ Zbl 1394.68243号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 2 2018 控制人口。 Zbl 1437.68176号 Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金贝尔;阿德韦特·阿米特·戈博莱 2 2019 参数化广播网络中的重新配置和消息丢失。 Zbl 1509.68160号 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 2 2021 具有概率消息丢失的通信系统的符号验证：有效性和公平性。 Zbl 1225.68108号 拜尔，C。;北伯特兰。;Schnoebelen博士。 1 2006 并发参数化游戏。 Zbl 07650328号 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 1 2019 在欧米伽自动投掷硬币的效果。 Zbl 1254.68142号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 1 2009 弱对手下随机分布式算法的约简定理。 Zbl 1472.68083号 Nathalie Bertrand;玛丽亚娜·拉齐奇;约瑟夫·威德 1 2021 参数化广播网络中的重新配置和消息丢失。 Zbl 1509.68160号 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 2 2021 弱对手下随机分布式算法的约简定理。 Zbl 1472.68083号 Nathalie Bertrand;玛丽亚娜·拉齐奇;约瑟夫·威德 1 2021 在圆形对手下验证随机一致性算法。 Zbl 07649941号 Nathalie Bertrand;伊戈尔·康诺夫;玛丽亚娜·拉齐奇;约瑟夫·威德 5 2019 概率系统中两种诊断的故事。 Zbl 1435.68212号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 5 2019 参数化广播网络中的重新配置和消息丢失。 Zbl 07649940号 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 2 2019 控制人口。 Zbl 1437.68176号 Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金贝尔;阿德韦特·阿米特·戈博莱 2 2019 并发参数化游戏。 兹伯利07650328 Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 1 2019 马尔可夫决策过程中的随机最短路径和加权性质。 Zbl 1452.90315号 拜尔，克里斯特尔;Nathalie Bertrand;克莱门斯·杜伯斯拉夫;丹尼尔·巴雷克;奥坎·桑库尔 5 2018 约束可重构广播网络中同步的参数化验证。 Zbl 1423.68273号 Balasubramanian，A.R。;Nathalie Bertrand;尼古拉斯·马基 三 2018 随机转移系统什么时候可以驯服？ Zbl 1394.68243号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 2 2018 控制人口。 Zbl 1437.68175号 Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金贝尔 7 2017 信号随机博弈的定性确定性和可判定性。 Zbl 1427.91022号 Nathalie Bertrand;布莱斯·基内斯特;雨果·金贝尔 5 2017 随机系统的精确近似可诊断性。 Zbl 1443.68082号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 7 2016 分析决定性的随机过程。 Zbl 1388.68202号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 2 2016 无限状态概率系统的诊断。 Zbl 1392.68230号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 2 2016 确定时间自动机的博弈方法。 Zbl 1323.68337号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 5 2015 广播网络中的分布式本地策略。 Zbl 1374.68062号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 三 2015 概率系统中诊断和可预测性的基础。 Zbl 1360.68627号 Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 9 2014 随机时间自动机。 Zbl 1448.68256号 Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;昆廷·梅内特;拜尔，克里斯特尔;马库斯·格罗斯尔;马尔金·尤尔金斯基 8 2014 在可重新配置的广播网络中利用概率。 Zbl 1405.68179号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 8 2014 概率系统的主动诊断。 Zbl 1405.68223号 Nathalie Bertrand;埃里克·法布雷;斯特凡·哈尔;谢尔盖·哈达德;洛依茨海露 8 2014 结构良好的符号模型检查中的可计算不动点。 Zbl 1291.68247号 北伯特兰。;施诺贝伦，P。 10 2013 许多相同概率定时过程的参数化验证。 Zbl 1359.68185号 Nathalie Bertrand;波林·福尼尔 9 2013 概率自动机。 Zbl 1281.68152号 拜尔，克里斯特尔;马库斯·格里瑟;Nathalie Bertrand 18 2012 关于图变换系统中可达性和覆盖性的可判定状态。 Zbl 1437.68077号 Nathalie Bertrand;乔治·德尔扎诺;巴巴拉·科尼格;阿诺德·桑尼尔;一月，Stückrath 8 2012 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 6 2012 PCTL的有界可满足性。 Zbl 1252.68189号 Nathalie Bertrand;约翰·费恩利;斯文·舍韦 5 2012 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 确定时间自动机的博弈方法。 Zbl 1326.68173号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 三 2011 时间自动机何时可以确定？ 兹比尔1248.68284 拜尔，克里斯特尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶 16 2009 定时模式规范的细化和一致性。 Zbl 1234.68250号 Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 8 2009 无限单词上的概率自动机：表达性、效率和可判定性。 Zbl 1456.68077号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 三 2009 在欧米伽自动投掷硬币的效果。 Zbl 1254.68142号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 1 2009 概率Büchi自动机的决策问题。 Zbl 1139.68030号 拜尔，克里斯特尔;Nathalie Bertrand;马库斯·格勒 20 2008 时间自动机的概率和拓扑语义。 兹比尔1135.68464 拜尔，克里斯特尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;马库斯·格勒 11 2007 根据\（\omega \）正则线性时间属性验证非确定性概率信道系统。 Zbl 1367.68181号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 6 2007 在结构良好的常规模型检查中计算不动点，并应用于有损信道系统。 Zbl 1165.68397号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 10 2006 关于无穷状态马尔可夫链吸引子性质的一个注记。 Zbl 1191.68330号 拜尔，克里斯特尔;Nathalie Bertrand;菲利普·施诺贝伦 4 2006 对STS层次结构的短暂访问。 Zbl 1273.68248号 Nathalie Bertrand;菲利普·施诺贝伦 三 2006 具有概率消息丢失的通信系统的符号验证：活性和公平性。 Zbl 1225.68108号 拜尔，C。;北伯特兰。;Schnoebelen博士。 1 2006 1-识别树上的代码。 Zbl 1081.94039号 Nathalie Bertrand;艾琳·查龙;奥利维尔·哈迪;安托万·洛布斯坦 20 2005 验证通信故障的概率系统。 Zbl 1105.68003号 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 识别和定位链和循环上的主导代码。 Zbl 1053.05095号 Nathalie Bertrand;艾琳·查龙;奥利维尔·哈迪;安托万·洛布斯坦 61 2004 模型检查有损信道系统可能是可判定的。 Zbl 1029.68105号 Nathalie Bertrand;菲利普·施诺贝伦 7 2003 所有引用出版物 前5名被引用出版物 全部的 前5名375位作者引用 19 Nathalie Bertrand 12 帕特里夏·鲍耶 11 克里希南德·查特吉 11 Legay、Axel 10 金·古德斯特兰·拉森 9 拜尔，克里斯特尔 9 尼古拉斯·马基 8 奥利维尔·哈迪 8 安托万·克里斯托夫·洛布斯坦 8 安妮格丽特·卡特琳·瓦格勒 7 加布里埃拉·阿吉罗夫。 7 艾琳·查龙 7 佛罗伦萨福柯 7 Iiro S.洪卡拉。 7 阿琳·帕罗 6 帕罗什·阿齐兹·阿卜杜拉 6 西尔维娅·比安奇。 6 劳伦特·多恩 6 乌里·法伦贝格 6 蒂埃里·杰伦 6 泰罗·K·莱恩。 6 菲利普·施诺贝伦 5 Balasubramanian，A.R。 5 托马斯·布里海耶 5 西尔万·格雷维尔 5 简·Křetínsk 5 安东尼·库塞拉 5 亚尼娜·卢卡里尼。 4 迈克尔·布隆丁 4 贝诺·德拉哈耶 4 马库斯·格勒 4 塞巴斯蒂安·荣格斯 4 维尔·朱尼拉 4 Joost-Pieter卡托恩 4 恩格尔·勒福丘 4 吉·斯尔巴 4 约瑟夫·威德 三 大卫·奥格 三 卡米诺·巴尔布纳 三 罗希特·查达 三 米罗斯拉夫·乔迪尔 三 乔治·德尔扎诺 三 哈维尔·埃斯帕尔扎 三 穆罕默德·法齐尔 三 阿兰·芬克尔 三 雨果·金贝尔 三 谢尔盖·哈达德 三 Hadjicostis，Christopros N。 三 利奥·亨利 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 卡门·埃尔南多 三 斯特凡·贾克斯 三 伊姆兰·贾维德 三 费利克斯·克鲁·尼亚克 三 伊戈尔·康诺夫（Igor V.Konnov）。 三 玛丽亚娜·拉齐奇 三 鲁帕克·马朱姆达尔 三 米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 Mio、Matteo 三 朱利安·蒙塞尔 三 莫拉、美塞 三 Reza Naserasr公司 三 乔尔·欧·瓦克宁。 三 伊格纳西奥·佩莱奥（Ignacio M.Pelayo）。 三 普拉萨德·西斯特拉。 三 米凯尔·兰多尔 三 米哈伊尔·拉斯金 三 内达·赛德洛伊 三 Seo，Suk Jai先生 三 彼得·詹姆斯，斯莱特 三 艾米莉·斯坦纳 三 佩特鲁·瓦利科夫 三 马赫什·维斯瓦纳坦 三 詹姆斯·沃雷尔。 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 埃齐奥·巴托西 2 尼古拉斯·巴塞特 2 尼古拉·贝内什 2 贝拉德，贝特里奇 2 托马斯·布拉兹迪尔 2 托马斯·布伦戈斯 2 贝诺·凯劳德 2 皮埃尔·卡利埃 2 尚巴特，皮埃尔 2 马丁·奇梅利克 2 洛伦佐·克莱门特 2 托马斯·科尔科姆贝特 2 亚历山大·戴维 2 雷娜·迪米特洛娃 2 冯敏 2 纳塔娜·菲亚尔科夫 2 布莱斯·基内斯特 2 让·古鲍特·拉雷克 2 拉杜·格里戈尔 2 洛依茨海露 2 尼尔斯·詹森 2 Juhl，Line公司 2 斯特凡·基弗 2 马蒂亚·科夫什 2 莫伊斯·克里钦 …还有275名作者 全部的 前5名49篇连载文章中引用 20 信息与计算 15 离散应用数学 11 欧洲组合数学杂志 9 系统设计中的形式化方法 9 计算机科学中的逻辑方法 8 理论计算机科学 7 信息学报 6 计算机与系统科学杂志 5 离散数学 4 信息处理信件 4 Automatica公司 4 离散事件动态系统 三 应用数学与计算 三 讨论数学。图论 三 密码学和通信 2 人工智能 2 图与组合 2 计算的形式方面 2 实时系统 2 组合数学电子杂志 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 国际理论物理杂志 1 匈牙利数学周期 1 乌克兰数学杂志 1 计算 1 信息科学 1 运筹学数学 1 网络 1 系统和控制信件 1 计算机程序设计科学 1 算法 1 SIAM离散数学杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 设计、代码和密码 1 分布式计算 1 人工智能研究杂志 1 运筹学国际交易 1 计算系统理论 1 软计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 离散优化 1 离散数学、算法和应用 1 计算机科学评论 1 数学杂志 1 图论与应用电子期刊 1 国际应用与计算数学杂志 全部的 前5名13个领域引用 168 计算机科学（68至XX） 62 组合数学（05-XX） 32 信息与通信理论、电路（94-XX） 22 运筹学、数学规划（90-XX） 20 数学逻辑和基础（03-XX） 17 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 16 系统论；控制（93至XX） 14 概率论与随机过程（60-XX） 三 动力系统和遍历理论（37至XX） 2 凸和离散几何（52至XX） 1 一般性和全局性主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 量子理论（81-XX） 按年份列出的引文