编辑配置文件(在新选项卡中打开) 库沙·埃特萨米 合著者距离 作者ID: 埃特萨米·库沙 发布日期: 库沙·埃特萨米;Etessami,K。 已编制索引的文档: 58出版物自1994年以来 2作为编辑的贡献 合著者: 33位合著者具有53联合出版物 1375合著作者 全部的 前5名合著者 7 单作者的 29 米哈利斯·亚纳卡基斯 10 阿利斯泰尔·斯图尔特 9 拉杰夫·阿鲁尔 4 布拉兹迪尔,Tomáš 4 Václav布罗泽克 4 尼尔·伊梅尔曼 4 托马斯·威尔克 三 安东宁·库切拉 三 莫西·亚亚科夫·瓦尔迪 三 多米尼克·沃伊特扎克 2 斯瓦拉特·乔杜里 2 Kwiatkowska,Marta Z。 2 萨尔瓦多拉托雷 2 帕塔萨拉西马杜苏丹 2 伊曼纽尔·马丁诺夫 2 Doron A.Peled。 2 丽贝卡·舒勒。 1 马塞洛·阿里纳斯 1 巴勃罗·巴塞罗 1 彼得·米尔特森兄弟 1 哈维尔·埃斯帕尔扎 1 乌列尔·菲戈 1 帕特丽斯·戈德弗里德 1 苏迪普托·古哈 1 克里斯托弗·阿恩斯费尔特·汉森 1 杰拉德·J·霍尔兹曼。 1 Leonid O·利金。 1 安德烈亚斯·洛赫比勒 1 克里斯托斯·哈里劳斯·帕帕迪米特里奥 1 加布里埃尔,小狗 1 Rajamani,Sriram K。 1 阿维亚德·鲁宾斯坦 1 索伦森,特洛伊斯·比杰尔 全部的 前5名系列 5 信息与计算 三 SIAM计算机杂志 三 理论计算机科学 三 美国医学会杂志 三 计算机科学中的逻辑方法 2 ACM计算逻辑事务 1 信息处理信件 1 国际博弈论杂志 1 计算机与系统科学杂志 1 运筹学数学 1 游戏与经济行为 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 ACM计算理论汇刊 全部的 前5名领域 56 计算机科学(68至XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 12 数学逻辑和基础(03-XX) 8 运筹学、数学规划(90-XX) 6 概率论与随机过程(60-XX) 2 总体主题;集合(00-XX) 1 数论(11-XX) 1 算子理论(47-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 55出版物有被引用657中的次459文件 引用人▼ 年份▼ 关于纳什均衡和其他不动点的复杂性。 Zbl 1204.91003号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 66 2010 嵌套调用和返回的时态逻辑。 Zbl 1126.68466号 拉杰夫·阿鲁尔;库沙·埃特萨米;马杜苏丹,P。 45 2004 具有两个变量的一阶逻辑和一元时态逻辑。 Zbl 1096.03013号 库沙·埃特萨米;莫舍·瓦尔迪。;托马斯·威尔克 42 2002 递归马尔可夫链、随机文法和非线性方程的单调系统。 Zbl 1325.68091号 Kousha Etessami公司;米哈利斯·亚纳卡基斯 41 2009 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 嵌套单词的一阶逻辑和时序逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔;马塞洛·阿里纳斯;巴勃罗·巴切罗;库沙·埃特萨米;尼尔·伊梅尔曼;利奥尼德·利金 29 2008 计数量词、后继关系和对数空间。 兹伯利0882.68074 Kousha Etessami公司 26 1997 优化Büchi自动机。 Zbl 0999.68113号 库沙·埃特萨米;杰拉德·J·霍尔兹曼。 25 2000 马尔可夫决策过程的多目标模型检验。 Zbl 1161.68565号 库沙·埃特萨米;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 23 2008 递归马尔可夫链、随机文法和非线性方程的单调系统。 Zbl 1118.68497号 库沙·埃特萨米;米哈伊利斯·扬纳卡基斯 20 2005 Büchi自动机的公平模拟关系、奇偶博弈和状态空间约简。 Zbl 1079.68050号 库沙·埃特萨米;托马斯·威尔克;丽贝卡·舒勒。 19 2005 递归马尔可夫决策过程和递归随机对策。 Zbl 1085.68089号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 17 2005 单计数器马尔可夫决策过程。 Zbl 1288.90119号 T·布莱兹迪尔。;布罗泽克,V。;Etessami,K。;库切拉,A。;沃伊特扎克,D。 16 2010 MSC图的可实现性和验证。 Zbl 1088.68097号 拉杰夫·阿鲁尔;库沙·埃特萨米;米哈利斯·亚纳卡基斯 15 2005 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 Zbl 1005.03021号 库沙·埃特萨米;托马斯·威尔克 15 2000 递归马尔可夫决策过程和递归随机对策。 Zbl 1333.91005号 库沙·埃特萨米;米哈伊利斯·扬纳卡基斯 13 2015 一个计数器随机游戏。 Zbl 1245.68099号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;库沙·埃特萨米 13 2010 自动机多项式时间可计算模拟的层次结构。 Zbl 1012.68121号 库沙·埃特萨米 12 2002 递归并发随机博弈。 Zbl 1133.91317号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 12 2006 递归概率状态机的算法验证。 Zbl 1087.68054号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 11 2005 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami,K。;Kwiatkowska,M。;M.Y.瓦尔迪。;亚纳卡基斯,M。 11 2007 多类型分支过程和随机上下文无关文法的多项式时间算法。 Zbl 1286.68188号 Kousha Etessami公司;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 10 2012 递归概率系统的模型检验。 Zbl 1351.68159号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 9 2012 分支Markov决策过程和概率最小(最大)多项式Bellman方程的多项式时间算法。 Zbl 1272.68458号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 9 2012 递归状态机分析。 Zbl 0991.68535号 拉杰夫·阿鲁尔;库沙·埃特萨米;米哈伊利斯·扬纳卡基斯 9 2001 Büchi自动机的公平模拟关系、奇偶博弈和状态空间缩减。 Zbl 0986.68049号 库沙·埃特萨米;托马斯·威尔克;丽贝卡·舒勒。 8 2001 MSC图的可实现性和验证。 Zbl 0986.68518号 拉杰夫·阿鲁尔;Kousha Etessami公司;米哈利斯·亚纳卡基斯 8 2001 进化稳定策略的计算复杂性。 Zbl 1147.91005号 Etessami,K。;A.洛赫比勒。 8 2008 具有正报酬的递归随机博弈。 Zbl 1153.91328号 库沙·埃特萨米;多米尼克·沃伊特扎克;米哈利斯·亚纳卡基斯 7 2008 递归状态机的即时可达性和循环检测。 Zbl 1087.68581号 拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;库沙·埃特萨米;马杜苏丹,P。 7 2005 近似单计数器MDP和随机博弈的终止值。 Zbl 1334.68113号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;库沙·埃特萨米;安东·库切拉 6 2011 Stutter不变量语言、\(\omega\)自动机和时间逻辑。 Zbl 1046.68591号 库沙·埃特萨米 6 1999 一类递归马尔可夫决策过程和简单随机对策的有效定性分析。 Zbl 1136.90499号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 6 2006 概率最小/最大多项式方程的最大不动点,以及分支Markov决策过程的可达性。 Zbl 1394.60084号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 5 2015 递归并发随机博弈。 兹比尔1161.68619 Kousha Etessami公司;米哈利斯·亚纳卡基斯 5 2008 单调多项式系统上牛顿方法的上界,概率单计数器自动机的P时间模型检验。 Zbl 1426.68177号 阿利斯泰尔·斯图尔特;库沙·埃特萨米;米哈利斯·亚纳卡基斯 5 2015 关于Peled和Wilke关于口吃变异LTL的问题的注释。 Zbl 1339.68166号 库沙·埃特萨米 4 2000 计算一个玩家广义形式博弈的(准)完美均衡的复杂性。 Zbl 1458.91030号 库沙·埃特萨米 4 2021 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 压缩部分有序字符串。 Zbl 1274.68118号 拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;库沙·埃特萨米;苏迪普托·古哈;米哈利斯·亚纳卡基斯 三 2003 可达性和本地订购的力量。 Zbl 0884.68053号 库沙·埃特萨米;尼尔·伊梅尔曼 三 1995 近似单计数器MDP和随机博弈的终止值。 Zbl 1267.68160号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;库沙·埃特萨米;安东·库切拉 三 2013 概率最小/最大多项式方程的最大不动点,以及分支Markov决策过程的可达性。 Zbl 1394.60085号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 三 2018 验证概率程序程序。 兹比尔1117.68428 哈维尔·埃斯帕尔扎;Kousha Etessami公司 三 2004 在战略形式的多层次游戏中,接近颤抖的手完美平衡的复杂性。 Zbl 1403.91018号 库沙·埃特萨米;克里斯托弗·阿恩斯费尔特·汉森;彼得·布罗·米尔特森;索伦森,特洛伊斯·比杰尔 三 2014 树经典化和传递闭包。 Zbl 1005.03515号 库沙·埃特萨米;尼尔·伊梅尔曼 三 2000 可达性和本地订购的力量。 Zbl 0941.68584号 库沙·埃特萨米;尼尔·伊梅尔曼 三 1994 计算多类型分支过程消亡概率的多项式时间算法。 Zbl 1378.68074号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2017 关于比较简洁表示的整数的复杂性的说明,以及最大概率解析的应用程序。 Zbl 1321.68309号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2014 计算机辅助验证。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。 Zbl 1078.68004号 2 2005 随机上下文无关文法、正则语言和牛顿方法。 Zbl 1334.68111号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2013 分支Markov决策过程和概率最小(最大)多项式Bellman方程的多项式时间算法。 Zbl 1437.90157号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 1 2020 使用数据流方程分析递归游戏图。 Zbl 1202.68247号 Etessami,K。 1 2004 具有正回报的递归随机游戏。 Zbl 1431.91022号 库沙·埃特萨米;多米尼克·沃伊特扎克;米哈利斯·亚纳卡基斯 1 2019 塔斯基定理、超模博弈和平衡的复杂性。 Zbl 07650366号 库沙·埃特萨米;克里斯托斯·帕帕迪米特里奥;阿维亚德·鲁宾斯坦;米哈利斯·亚纳卡基斯 1 2020 计算一个玩家广义形式博弈的(准)完美均衡的复杂性。 Zbl 1458.91030号 库沙·埃特萨米 4 2021 分支Markov决策过程和概率最小(最大)多项式Bellman方程的多项式时间算法。 Zbl 1437.90157号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 1 2020 塔斯基定理、超模博弈和平衡的复杂性。 Zbl 07650366号 库沙·埃特萨米;克里斯托斯·帕帕迪米特里奥;阿维亚德·鲁宾斯坦;米哈利斯·亚纳卡基斯 1 2020 具有正报酬的递归随机博弈。 Zbl 1431.91022号 库沙·埃特萨米;多米尼克·沃伊特扎克;米哈利斯·亚纳卡基斯 1 2019 概率最小/最大多项式方程的最大不动点,以及分支Markov决策过程的可达性。 Zbl 1394.60085号 Kousha Etessami公司;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 三 2018 计算多类型分支过程消亡概率的多项式时间算法。 Zbl 1378.68074号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2017 递归马尔可夫决策过程和递归随机对策。 Zbl 1333.91005号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 13 2015 概率最小/最大多项式方程的最大不动点,以及分支Markov决策过程的可达性。 兹比尔1394.60084 Kousha Etessami公司;斯图尔特,阿利斯泰尔;米哈利斯·亚纳卡基斯 5 2015 单调多项式系统上牛顿方法的上界,概率单计数器自动机的P时间模型检验。 Zbl 1426.68177号 阿利斯泰尔·斯图尔特;库沙·埃特萨米;米哈利斯·亚纳卡基斯 5 2015 在战略形式的多层次游戏中,接近颤抖的手完美平衡的复杂性。 Zbl 1403.91018号 库沙·埃特萨米;克里斯托弗·阿恩斯费尔特·汉森;彼得·布罗·米尔特森;索伦森,特洛伊斯·比杰尔 三 2014 关于比较简洁表示的整数的复杂性的说明,以及最大概率解析的应用程序。 Zbl 1321.68309号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2014 近似单计数器MDP和随机博弈的终止值。 Zbl 1267.68160号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;库沙·埃特萨米;安东·库切拉 三 2013 随机上下文无关语法、正则语言和牛顿方法。 Zbl 1334.68111号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 2 2013 多类型分支过程和随机上下文无关文法的多项式时间算法。 Zbl 1286.68188号 库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 10 2012 递归概率系统的模型检验。 Zbl 1351.68159号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 9 2012 分支Markov决策过程和概率最小(最大)多项式Bellman方程的多项式时间算法。 兹比尔1272.68458 Kousha Etessami公司;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 9 2012 近似单计数器MDP和随机博弈的终止值。 Zbl 1334.68113号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;库沙·埃特萨米;安东·库切拉 6 2011 关于纳什均衡和其他不动点的复杂性。 Zbl 1204.91003号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 66 2010 单计数器马尔可夫决策过程。 Zbl 1288.90119号 T·布莱兹迪尔。;布罗泽克,V。;Etessami,K。;库切拉,A。;沃伊特扎克,D。 16 2010 一对一随机游戏。 Zbl 1245.68099号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Kousha Etessami公司 13 2010 递归马尔可夫链、随机文法和非线性方程的单调系统。 Zbl 1325.68091号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 41 2009 嵌套单词的一阶逻辑和时序逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔;马塞洛·阿里纳斯;巴勃罗·巴切罗;库沙·埃特萨米;尼尔·伊梅尔曼;利奥尼德·利金 29 2008 马尔可夫决策过程的多目标模型检验。 Zbl 1161.68565号 Kousha Etessami公司;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 23 2008 进化稳定策略的计算复杂性。 Zbl 1147.91005号 Etessami,K。;A.洛赫比勒。 8 2008 具有正报酬的递归随机博弈。 Zbl 1153.91328号 库沙·埃特萨米;多米尼克·沃伊特扎克;米哈利斯·亚纳卡基斯 7 2008 递归并发随机博弈。 Zbl 1161.68619号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 5 2008 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami,K。;Kwiatkowska,M。;M.Y.瓦尔迪。;亚纳卡基斯,M。 11 2007 递归并发随机博弈。 Zbl 1133.91317号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 12 2006 一类递归马尔可夫决策过程和简单随机对策的有效定性分析。 Zbl 1136.90499号 Kousha Etessami公司;米哈利斯·亚纳卡基斯 6 2006 递归马尔可夫链、随机文法和非线性方程的单调系统。 Zbl 1118.68497号 库沙·埃特萨米;米哈利斯·亚纳卡基斯 20 2005 Büchi自动机的公平模拟关系、奇偶博弈和状态空间约简。 Zbl 1079.68050号 库沙·埃特萨米;托马斯·威尔克;丽贝卡·舒勒。 19 2005 递归马尔可夫决策过程和递归随机对策。 Zbl 1085.68089号 库沙·埃特萨米;米哈伊利斯·扬纳卡基斯 17 2005 MSC图的可实现性和验证。 Zbl 1088.68097号 拉杰夫·阿鲁尔;库沙·埃特萨米;米哈利斯·亚纳卡基斯 15 2005 递归概率状态机的算法验证。 兹比尔1087.68054 库沙·埃特萨米;米哈利斯·亚纳卡基斯 11 2005 递归状态机的即时可达性和循环检测。 Zbl 1087.68581号 拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;库沙·埃特萨米;马杜苏丹,P。 7 2005 计算机辅助验证。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。 Zbl 1078.68004号 2 2005 嵌套调用和返回的时态逻辑。 Zbl 1126.68466号 拉杰夫·阿鲁尔;库沙·埃特萨米;马杜苏丹,P。 45 2004 验证概率程序程序。 Zbl 1117.68428号 哈维尔·埃斯帕尔扎;库沙·埃特萨米 三 2004 使用数据流方程分析递归游戏图。 Zbl 1202.68247号 Etessami,K。 1 2004 压缩部分有序字符串。 Zbl 1274.68118号 拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;库沙·埃特萨米;苏迪普托·古哈;米哈伊利斯·扬纳卡基斯 三 2003 具有两个变量的一阶逻辑和一元时态逻辑。 Zbl 1096.03013号 库沙·埃特萨米;莫舍·瓦尔迪。;托马斯·威尔克 42 2002 自动机多项式时间可计算模拟的层次结构。 Zbl 1012.68121号 库沙·埃特萨米 12 2002 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 递归状态机分析。 Zbl 0991.68535号 拉杰夫·阿鲁尔;库沙·埃特萨米;米哈伊利斯·扬纳卡基斯 9 2001 Büchi自动机的公平模拟关系、奇偶博弈和状态空间缩减。 兹比尔0986.68049 库沙·埃特萨米;托马斯·威尔克;丽贝卡·舒勒。 8 2001 MSC图的可实现性和验证。 Zbl 0986.68518号 拉杰夫·阿鲁尔;库沙·埃特萨米;米哈利斯·亚纳卡基斯 8 2001 优化Büchi自动机。 Zbl 0999.68113号 库沙·埃特萨米;杰拉德·J·霍尔兹曼。 25 2000 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 Zbl 1005.03021号 库沙·埃特萨米;托马斯·威尔克 15 2000 关于Peled和Wilke关于口吃变异LTL的问题的注释。 Zbl 1339.68166号 库沙·埃特萨米 4 2000 树经典化和传递闭包。 Zbl 1005.03515号 库沙·埃特萨米;尼尔·伊梅尔曼 三 2000 口吃变异语言、自动机和时态逻辑。 Zbl 1046.68591号 Kousha Etessami公司 6 1999 “模型测量”的参数时序逻辑。 Zbl 0939.03021号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 4 1999 计数量词、后继关系和对数空间。 Zbl 0882.68074号 库沙·埃特萨米 26 1997 可达性和本地订购的力量。 Zbl 0884.68053号 库沙·埃特萨米;尼尔·伊梅尔曼 三 1995 可达性和本地订购的力量。 Zbl 0941.68584号 Kousha Etessami公司;尼尔·伊梅尔曼 三 1994 所有引用出版物 前5名被引用出版物 全部的 前5名708位作者引用 19 安东宁·库切拉 15 克里希南德·查特吉 14 托马斯·布拉兹迪尔 14 库沙·埃特萨米 14 斯特凡·基弗 12 劳拉·博泽利 12 马丁·齐默尔曼 11 克里斯特尔·拜尔 10 Joost-Pieter卡托恩 10 Leonid O·利金。 10 马蒂奥·普拉德拉 10 米哈伊利斯·扬纳卡基斯 9 哈维尔·埃斯帕尔扎 9 Forejt,Vojtěch公司 9 克里斯托弗·阿恩斯费尔特·汉森 9 萨尔瓦多拉托雷 9 迪诺·曼德里奥利 8 多米尼克·沃伊特扎克 7 瓦茨拉夫·布罗泽克 7 亚历山大·霍伦德 7 理查德·梅尔(Richard M.Mayr)。 7 鲁塔·梅塔 7 阿尼埃洛·穆拉诺 7 詹姆斯·沃雷尔。 6 贝内迪克特·博利格 6 约翰·费恩利 6 保罗·戈德伯格(Paul W.Goldberg)。 6 斯文·舍韦 6 阿利斯泰尔·斯图尔特 5 帕罗什·阿齐兹·阿卜杜拉 5 米歇尔·齐亚里 5 萨米尔·达塔 5 Deligkas、Argyros 5 托马斯·亨辛格(Thomas A.Henzinger)。 5 约阿希姆·克莱因 5 奥尔纳库普弗曼 5 Kwiatkowska,Marta Z。 5 迈克尔·卢滕伯格 5 阿德里亚诺·佩隆 5 保罗·斯皮拉基斯。 5 莫西·亚亚科夫·瓦尔迪 5 马克·泽顿 4 埃里克·艾伦德。 4 马塞洛·阿里纳斯 4 Michael A.Benedikt。 4 卢卡·德·阿尔法罗 4 克莱门斯·杜伯斯拉夫 4 朱加尔·加格 4 布莱斯·基内斯特 4 迪莉安·古罗夫 4 玛丽克·赫斯曼 4 拉斯穆斯·易卜森·延森 4 塞巴斯蒂安·荣格斯 4 简·Křetínsk 4 迪特里赫·库斯克 4 马丁·兰格 4 金·古德斯特兰·拉森 4 安吉洛·蒙塔纳里 4 帕里托什·K·潘迪亚。 4 蒂姆·夸特曼 4 斯特雷切克,简 4 阿舒托什·特里维迪 4 维杰伊·瓦齐拉尼。 4 亚历山大·韦纳特 三 阿夫尼,盖伊 三 巴勃罗·巴塞洛 三 巴托斯·贝德纳西克 三 彼得·米尔特森兄弟 三 维托尔德·查拉托尼克 三 米罗斯拉夫·乔迪尔 三 洛伦佐·克莱门特 三 帕拉布·达斯古普塔 三 Stéphane P.德姆里。 三 劳伦特·多恩 三 段振华 三 菲洛斯·拉特西卡斯,阿里斯 三 伯恩德·芬克贝纳 三 保罗·加斯丁 三 詹斯·奥利弗·古斯菲尔德 三 恩斯特·莫里茨·哈恩 三 一郎·哈索 三 米尔卡胡塔加隆 三 彼得·扬查尔 三 约翰·科布勒 三 塞巴斯蒂安·库内特 三 丹尼斯·库珀伯格 三 克里斯托夫·Löding 三 马库斯·洛伊 三 维奥莱塔·罗纳蒂 三 艾蒂安·洛兹 三 梅利索戈斯,特米斯托克利斯 三 马库斯·穆勒·奥尔姆 三 米勒(David I。 三 那不勒斯,玛格丽塔 三 丹尼尔·奈德 三 格钦·诺曼 三 Doron A.Peled。 三 马特奥·佩雷斯 三 尼尔·皮特曼 三 托马斯·普莱斯 …还有608位作者 全部的 前5名61篇连载文章中引用 45 信息与计算 42 理论计算机科学 23 计算机与系统科学杂志 17 计算机科学中的逻辑方法 15 系统设计中的形式化方法 14 计算系统理论 12 信息处理信件 9 信息学报 6 SIAM计算机杂志 6 ACM计算逻辑事务 5 运筹学数学 5 自动推理杂志 5 计算的形式方面 5 程序设计中的逻辑与代数方法杂志 4 游戏与经济行为 4 逻辑与代数程序设计杂志 4 计算机科学评论 三 人工智能 三 纯逻辑与应用逻辑年鉴 三 算法 三 美国医学会杂志 三 应用逻辑杂志 2 信息科学 2 国际博弈论杂志 2 Studia Logica公司 2 符号计算杂志 2 计算机科学与技术杂志 2 国际近似推理杂志 2 国际计算机科学基础杂志 2 应用非经典逻辑杂志 2 计算机基础理论 1 计算数学 1 经济理论杂志 1 数学心理学杂志 1 符号逻辑杂志 1 运筹学 1 编程与计算机软件 1 合成 1 数学和计算机建模 1 机器学习 1 全球优化杂志 1 离散事件动态系统 1 美国国家科学院院刊 1 美国数学学会公报。新系列 1 分布式计算 1 经济理论 1 人工智能研究杂志 1 数学与人工智能年鉴 1 运筹学国际交易 1 欧洲控制杂志 1 组合优化期刊 1 LMS计算与数学杂志 1 RAIRO公司。理论信息学及其应用 1 国际博弈论综述 1 逻辑程序设计理论与实践 1 可计算性 1 ACM计算理论汇刊 1 博弈论 1 Modelirovanie i Analiz信息系统 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 CGT公司。几何与拓扑计算 全部的 前5名26个领域被引用 402 计算机科学(68至XX) 136 数学逻辑和基础(03-XX) 102 博弈论、经济学、金融和其他社会和行为科学(91-XX) 32 运筹学、数学规划(90-XX) 17 概率论与随机过程(60-XX) 11 组合数学(05-XX) 7 系统论;控制(93至XX) 三 数论(11-XX) 三 结合环与代数(16-XX) 三 范畴理论;同调代数(18-XX) 三 信息与通信理论、电路(94-XX) 2 一般拓扑结构(54至XX) 2 代数拓扑(55-XX) 2 流形和细胞复合体(57至XX) 2 整体分析,流形分析(58至XX) 2 量子理论(81-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 代数几何(14-XX) 1 拓扑群、李群(22日至XX日) 1 复变量的函数(30年XX月) 1 算子理论(47-XX) 1 凸和离散几何(52至XX) 1 微分几何(53-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文