编辑配置文件（在新选项卡中打开） 萨尔瓦多拉托雷 合著者距离 作者ID： 拉托雷.萨尔瓦托 发布日期： 萨尔瓦多拉托雷;拉托雷，S。 外部链接： MGP公司·ORCID公司 已编制索引的文档： 62出版物自1996年起 2作为编辑的贡献 合著者： 27位合著者具有63份联合出版物 718合著作者 全部的 前5名合著者 0 单作者的 26 那不勒斯，玛格丽塔 12 拉杰夫·阿鲁尔 12 Gennaro帕拉托 11 帕伦特，米姆 9 玛杜苏丹，帕塔萨拉蒂 5 阿尼埃洛·穆拉诺 4 劳拉·博泽利 4 伊利亚州德克雷森佐 三 乔泽夫·格鲁斯卡 2 乔瓦娜·达戈斯蒂诺 2 巴巴拉·迪·詹保罗 2 库沙·埃特萨米 2 马可·费拉 2 Sampath K·坎南。 2 乔治·J·帕帕斯。 2 多梅尼科·帕伦特 2 Doron A.Peled。 2 阿德里亚诺·佩隆 2 纱线维纳 1 黛拉·莫妮卡，达里奥 1 让·H·盖利尔。 1 尼古拉·吉甘特 1 安吉洛·蒙塔纳里 1 Supratik穆霍帕迪耶 1 麝香草，安卡 1 马都苏达州帕塔萨拉西 1 伊戈尔·瓦卢基维奇 全部的 前5名系列 8 理论计算机科学 三 信息与计算 三 系统设计中的形式化方法 三 RAIRO公司。理论信息学及其应用 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 国际计算机科学基础杂志 2 ACM计算逻辑事务 1 信息学报 1 信息处理信件 1 复杂系统 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 63 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 系统论；控制（93至XX） 1 动力系统和遍历理论（37至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 51出版物有被引用388中的次260文件 引用人▼ 年份▼ 加权时间自动机中的最优路径。 Zbl 0991.93076号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·J·帕帕斯。 50 2002 并发队列系统的上下文分析。 Zbl 1134.68446号 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 35 2008 LTL碎片的确定性生成器和游戏。 兹伯利1366.03181 拉杰夫·阿鲁尔;萨尔瓦多拉托雷 31 2004 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 加权时间自动机中的最优路径。 Zbl 1068.68080号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·J·帕帕斯。 27 2004 参数时间自动机的下界/上界决策问题。 Zbl 1186.68245号 劳拉·博泽利;萨尔瓦多拉托雷 21 2009 具有范围限定匹配关系的多级下推系统的可达性。 Zbl 1343.68172号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 14 2011 基于范围的多级下推系统：定点、序列化和树宽。 Zbl 1354.68198号 萨尔瓦多拉托雷;Gennaro帕拉托 13 2012 将上下文并发可达性降低为顺序可达性。 Zbl 1242.68057号 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 11 2009 用盒子和钻石玩游戏。 Zbl 1274.68173号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 11 2003 受扰时间自动机。 Zbl 1078.68070号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 10 2005 基于范围的下推语言。 Zbl 1345.68211号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 9 2014 有界语境转换的语言理论。 Zbl 1283.68197号 萨尔瓦多拉托雷;玛杜苏丹，帕塔萨拉蒂;Gennaro帕拉托 9 2010 双指数时间的无限自动机特征。 兹比尔1157.68040 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 9 2008 多级下推自动机的统一方法。 Zbl 1425.68215号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2014 基于范围的下推语言。 Zbl 1344.68124号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2016 递归游戏图的模块化策略。 Zbl 1088.68099号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 7 2006 多线程程序的临时逻辑。 Zbl 1362.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 6 2012 参数度量时间间隔逻辑。 Zbl 1284.03148号 迪詹保罗，芭芭拉;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 5 2010 递归图上无限对策的模块化策略。 Zbl 1278.03054号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 5 2003 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 正方形、圆环形和环形的行刑队同步问题。 Zbl 1117.68049号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;帕伦特，米姆 4 2007 一种可判定的密集分支时间时序逻辑。 Zbl 1044.03012号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2000 时间博弈的自动机理论决策。 Zbl 1057.68057号 马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 4 2002 带有时态逻辑应用程序的时间树自动机。 Zbl 1033.68065号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2001 参数化异步共享内存系统的安全性几乎总是可以决定的。 Zbl 1374.68337号 萨尔瓦多拉托雷;麝香草，安卡;伊戈尔·瓦卢基维奇 4 2015 在给定时间同步一行相同的处理器。 Zbl 0908.68005号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;多梅尼科·帕伦特。 三 1998 关于明显下推的语言的成员问题。 Zbl 1161.68544号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 三 2006 单向连接处理器的同步。 Zbl 1010.68023号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 三 1996 定时树上的有限自动机。 Zbl 1032.68095号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 三 2003 递归游戏图的模块化策略。 Zbl 1031.68048号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;玛杜苏丹，帕塔萨拉蒂 三 2003 具有开放组件的模块化合成。 Zbl 1407.68286号 伊利亚州德克雷森佐;萨尔瓦多拉托雷 三 2013 参数度量时间间隔逻辑。 Zbl 1317.68112号 迪詹保罗，芭芭拉;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 2 2015 验证格式良好的通信递归状态机。 Zbl 1176.68115号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 2 2006 关于递归状态机的LTL模型检查的复杂性。 Zbl 1171.68552号 萨尔瓦多拉托雷;Gennaro帕拉托 2 2007 同步二维处理器网络的合成方法。 Zbl 0982.68092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 2 2000 具有上下文相关属性的分层和递归状态机。 Zbl 1039.68074号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2003 验证依赖于作用域的分层状态机。 Zbl 1147.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2008 方阵、圆环和环上行刑队同步问题的最佳时间和通信解决方案。 Zbl 1117.68443号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;帕伦特，米姆 2 2004 作用域范围内的多级下推系统的可达性。 Zbl 1496.68235号 萨尔瓦多拉托雷;玛格丽塔，那不勒斯;Gennaro帕拉托 2 2020 混合自动机中的多面体流。 Zbl 0924.93016号 拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 1 1999 用正则语言表示超粒度。 Zbl 0915.05092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 1 1998 2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 Zbl 1392.68014号 1 2011 具有递归调用和DPDA的确定性有限自动机。 Zbl 1161.68527号 让·H·盖利尔。;萨尔瓦多拉托雷;Supratik Mukhopadhyay公司 1 2003 下推系统的一般模块综合问题。 兹比尔1475.68180 伊利亚州德克雷森佐;萨尔瓦多拉托雷 1 2016 基本网格网络上行刑队同步问题的不同时间解决方案。 Zbl 1112.68101号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 1 2006 验证格式良好的通信递归状态机。 Zbl 1154.68078号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 1 2008 关于co-Büchi树自动机的推理。 Zbl 1109.68057号 萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 1 2005 直观的下推模块化游戏。 Zbl 1362.68166号 德克雷森佐，I。;拉托雷，S。;Y.Velner。 1 2017 并发未解释程序中的可达性。 Zbl 07650343号 萨尔瓦多拉托雷;马都苏达州帕塔萨拉西 1 2019 基于时间线的定性规划的复杂性。 Zbl 07760486号 黛拉·莫妮卡，达里奥;尼古拉·吉甘特;萨尔瓦多拉托雷;安吉洛·蒙塔纳里 1 2020 作用域范围内的多级下推系统的可达性。 Zbl 1496.68235号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;根纳罗Parlato 2 2020 基于时间线的定性规划的复杂性。 Zbl 07760486号 黛拉·莫妮卡，达里奥;尼古拉·吉甘特;萨尔瓦多拉托雷;安吉洛·蒙塔纳里 1 2020 并发未解释程序中的可达性。 Zbl 07650343号 萨尔瓦多拉托雷;马都苏达州帕塔萨拉西 1 2019 直观的下推模块化游戏。 Zbl 1362.68166号 德克雷森佐，I。;拉托雷，S。;维尔纳，Y。 1 2017 基于范围的下推语言。 Zbl 1344.68124号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2016 下推系统的一个通用模块化综合问题。 Zbl 1475.68180号 伊利亚州德克雷森佐;萨尔瓦多拉托雷 1 2016 参数化异步共享内存系统的安全性几乎总是可以决定的。 Zbl 1374.68337号 萨尔瓦多拉托雷;麝香草，安卡;伊戈尔·瓦卢基维奇 4 2015 参数度量时间间隔逻辑。 Zbl 1317.68112号 巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 2 2015 基于范围的下推语言。 Zbl 1345.68211号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 9 2014 多级下推自动机的统一方法。 Zbl 1425.68215号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2014 开放组件的模块化合成。 Zbl 1407.68286号 伊利亚州德克雷森佐;萨尔瓦多拉托雷 三 2013 基于范围的多级下推系统：定点、序列化和树宽。 Zbl 1354.68198号 萨尔瓦多拉托雷;Gennaro帕拉托 13 2012 多线程程序的临时逻辑。 Zbl 1362.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 6 2012 具有范围限定匹配关系的多级下推系统的可达性。 Zbl 1343.68172号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 14 2011 2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 Zbl 1392.68014号 1 2011 有界语境转换的语言理论。 Zbl 1283.68197号 萨尔瓦多拉托雷;玛杜苏丹，帕塔萨拉蒂;根纳罗Parlato 9 2010 参数度量时间间隔逻辑。 Zbl 1284.03148号 巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 5 2010 参数时间自动机的下界/上界决策问题。 Zbl 1186.68245号 劳拉·博泽利;萨尔瓦多拉托雷 21 2009 将上下文并发可达性降低为顺序可达性。 Zbl 1242.68057号 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 11 2009 并发队列系统的上下文分析。 Zbl 1134.68446号 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 35 2008 双指数时间的无限自动机特征。 Zbl 1157.68040号 萨尔瓦多拉托雷;马杜苏丹，P。;Gennaro帕拉托 9 2008 验证依赖于作用域的分层状态机。 Zbl 1147.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2008 验证格式良好的通信递归状态机。 Zbl 1154.68078号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 1 2008 正方形、圆环形和环形的行刑队同步问题。 Zbl 1117.68049号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;帕伦特，米姆 4 2007 关于递归状态机的LTL模型检查的复杂性。 Zbl 1171.68552号 萨尔瓦多拉托雷;Gennaro帕拉托 2 2007 递归游戏图的模块化策略。 Zbl 1088.68099号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 7 2006 关于明显下推的语言的成员问题。 Zbl 1161.68544号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 三 2006 验证格式良好的通信递归状态机。 Zbl 1176.68115号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 2 2006 基本网格网络上行刑队同步问题的不同时间解决方案。 Zbl 1112.68101号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 1 2006 受扰时间自动机。 兹比尔1078.68070 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 10 2005 关于co-Büchi树自动机的推理。 Zbl 1109.68057号 萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 1 2005 LTL碎片的确定性生成器和游戏。 Zbl 1366.03181号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷 31 2004 加权时间自动机中的最优路径。 Zbl 1068.68080号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·J·帕帕斯。 27 2004 方阵、圆环和环上行刑队同步问题的最佳时间和通信解决方案。 Zbl 1117.68443号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;帕伦特，米姆 2 2004 用盒子和钻石玩游戏。 Zbl 1274.68173号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 11 2003 递归图上无限对策的模块化策略。 Zbl 1278.03054号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 5 2003 定时树上的有限自动机。 Zbl 1032.68095号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 三 2003 递归游戏图的模块化策略。 Zbl 1031.68048号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;玛杜苏丹，帕塔萨拉蒂 三 2003 具有上下文相关属性的分层和递归状态机。 Zbl 1039.68074号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2003 带有递归调用和DPDA的确定性有限自动机。 Zbl 1161.68527号 让·H·盖利尔。;萨尔瓦多拉托雷;Supratik Mukhopadhyay公司 1 2003 加权时间自动机中的最优路径。 Zbl 0991.93076号 拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·J·帕帕斯。 50 2002 时间博弈的自动机理论决策。 Zbl 1057.68057号 马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 4 2002 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 带有时态逻辑应用程序的时间树自动机。 Zbl 1033.68065号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2001 一种可判定的密集分支时间时序逻辑。 Zbl 1044.03012号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2000 一种用于同步二维处理器网络的组合方法。 Zbl 0982.68092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 2 2000 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 混合自动机中的多面体流。 Zbl 0924.93016号 拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 1 1999 在给定时间同步一行相同的处理器。 Zbl 0908.68005号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;多梅尼科·帕伦特。 三 1998 用正则语言表示超粒度。 Zbl 0915.05092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 1 1998 单向连接处理器的同步。 Zbl 1010.68023号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 三 1996 所有引用的出版物 前5名被引用出版物 全部的 前5名399位作者引用 19 金·古德斯特兰·拉森 15 萨尔瓦多拉托雷 13 帕特里夏·鲍耶 11 埃蒂安·安德烈 10 贝内迪克特·博利格 10 莱姆，迪迪埃 10 尼古拉斯·马基 10 那不勒斯，玛格丽塔 10 马丁·齐默尔曼 9 穆罕默德·法乌齐（Mohamed Faouzi Atig） 9 乌里·法伦贝格 9 阿尼埃洛·穆拉诺 8 托马斯·布里海耶 6 曼弗雷德·德罗斯特 6 奥尔纳·库普弗曼 6 拉杜·马达尔 6 皮埃尔·阿莱·雷尼尔 6 奥利维尔·H·鲁克斯。 5 克里希南德·查特吉 5 劳伦特·多恩 5 保罗·加斯丁 5 彼得·哈贝梅尔 5 桑卡拉·纳拉亚南·克里希纳 5 艾蒂安Lozes 5 Gennaro帕拉托 5 卡琳·夸斯 5 马赫什·维斯瓦纳坦 5 詹姆斯·沃雷尔。 4 帕罗什·阿齐兹·阿卜杜拉 4 辛齐亚·迪·朱斯托 4 朱利安·古铁雷斯 4 本杰明·蒙梅吉 4 格钦·诺曼 4 帕伦特，米姆 4 皮特曼，尼尔 4 Jean-François拉斯金 4 吉·斯尔巴 4 莫西·亚亚科夫·瓦尔迪 4 迈克尔·J·伍尔德里奇。 4 薛冰田 三 阿夫尼，盖伊 三 尼古拉·贝内什 三 彼得·贝兹克 三 罗德里克·布洛姆 三 劳拉·博泽利 三 维罗尼克·布鲁埃 三 达米安·巴斯托·加斯顿 三 帕拉布·达斯古普塔 三 阿兰·芬克尔 三 马丁·范策尔 三 什巴希斯·古哈 三 芭芭拉·乔布斯曼 三 马尔钦·尤季扬斯基 三 简·Křetínsk 三 迪特里赫·库斯克 三 马丁·库特里布 三 Marta Z.Kwiatkowska。 三 莱蒂蒂亚·拉弗萨 三 Legay、Axel 三 玛杜苏丹，帕塔萨拉蒂 三 麝香草，安卡 三 大卫·F·帕克。 三 朱塞佩·佩雷利 三 阿德里亚诺·佩隆 三 阿米尔·普努利 三 马蒂亚斯·拉姆帕里森 三 马尼省斯瓦米纳坦 三 Leander Tentrup公司 三 沃尔夫冈·托马斯 三 阿舒托什·特里维迪 三 亚历山大·韦纳特 三 乔治·泽采 2 阿克西，S。 2 拉杰夫·阿鲁尔 2 阿曼，博格丹 2 尤金·亚萨林 2 帕瓦内·巴巴里 2 乔瓦尼·巴奇 2 JiříBarnat 2 萨米克·巴苏 2 Nathalie Bertrand 2 艾哈迈德·布瓦贾尼 2 马里奥·布拉维蒂 2 大卫·布雷索林 2 特维克布尔坦 2 马尔科·卡博尼 2 伊万娜·乔纳 2 Chebotarev，Anatoli N。 2 加布里埃尔·乔巴努 2 于尔根·丁格尔 2 Manoj G.迪克西特。 2 盖尔·杜勒鲁（Geir E.Dullerud）。 2 哈维尔·埃斯帕尔扎 2 盖尔·方丹 2 曼纽拉·利迪亚·格林德 2 保罗·哈伦斯坦 2 瑞典雅各布斯 2 钦梅耆那岛 2 阿列克桑德拉·乔瓦诺维奇。 2 迪利普·拉古纳特·基尼 …和299多位作者 全部的 前5名36篇连载文章中引用 27 理论计算机科学 22 信息与计算 16 系统设计中的形式化方法 12 计算机科学中的逻辑方法 6 程序设计中的逻辑和代数方法杂志 5 离散事件动态系统 4 人工智能 4 信息处理信件 4 计算机与系统科学杂志 4 计算系统理论 三 实时系统 三 RAIRO公司。理论信息学及其应用 三 计算机基础理论 2 信息学报 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 2 国际计算机科学基础杂志 2 控制论与系统分析 2 RAIRO公司。理论信息学及其应用 1 倒排索引综述 1 离散数学 1 国际控制杂志 1 国际通用系统杂志 1 计算机程序设计科学 1 国际近似推理杂志 1 组合数学电子杂志 1 数学与人工智能年鉴 1 工程中的数学问题 1 软计算 1 美国医学会杂志 1 国际博弈论综述 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 非线性分析。混合动力系统 1 计算机科学评论 1 国际系统科学杂志。系统与集成的原理与应用 全部的 前5名10个字段中引用 246 计算机科学（68至XX） 69 数学逻辑和基础（03-XX） 37 博弈论、经济学、金融和其他社会和行为科学（91-XX） 15 系统论；控制（93至XX） 6 组合数学（05-XX） 6 数论（11-XX） 6 运筹学、数学规划（90-XX） 4 信息和通信理论，电路（94-XX） 三 动力系统和遍历理论（37至XX） 2 范畴理论；同调代数（18-XX） 按年份列出的引文