编辑配置文件(在新选项卡中打开) 尼尔·皮特曼 合著者距离 作者ID: 皮特曼近红外 发布日期: 尼尔·皮特曼 外部链接: ORCID公司 已编制索引的文档: 57出版物自2000年起 2作为编辑的贡献 合著者: 65位合著者具有57联合出版物 1173合著作者 全部的 前5名合著者 2 单作者的 15 Moshe Ya’akov瓦尔迪 10 奥尔纳·库普弗曼 8 阿米尔·普努利 6 贾斯敏·费希尔 6 托马斯·亨辛格(Thomas A.Henzinger)。 5 克里希南德·查特吉 5 迈克尔·R·A·胡特。 4 拜伦·库克 4 Kuo、Jim Huan-Pu 三 海蒂·赫拉夫 2 罗伊·阿莫尼 2 克劳迪娅·考利 2 方,易 2 菲克斯,利莫 2 尤尼特·凯斯滕 2 德扬·尼科维奇 2 亚尼夫·萨阿尔 2 Lenore D.扎克。 1 扎拉·艾哈迈德 1 叶希亚·阿卜杜·阿勒拉赫曼 1 肖恩·阿佐帕迪 1 阿列克谢·巴赫金 1 大卫·本克 1 谢尔盖·贝雷津 1 罗德里克·布洛姆 1 拉斯蒂斯拉夫·博迪克 1 维克托·布拉伯曼 1 曼努埃拉·布乔里亚努(Manuela L.Bujorianu)。 1 巴勃罗·卡斯特罗。 1 安娜·卡罗琳·达尔(Anna Caroline E.Dahl)。 1 尼科拉斯·D’Impolito 1 阿隆·弗莱舍 1 拉南·弗雷尔 1 帕特丽斯·戈德弗里德 1 奥尔加·格林斯坦 1 奥尔纳·格伦伯格 1 本杰明·霍尔(Benjamin A.Hall)。 1 大卫·哈雷 1 丹尼尔·豪斯曼 1 哈伯德,E.简·阿尔伯特 1 斯科特·哈德斯顿 1 芭芭拉·乔布斯曼 1 苏迪普·尤文卡 1 塞西莉亚·基尔默里 1 乌里·克莱因 1 科克萨尔,阿里·西南 1 克雷普斯卡,埃尔兹别塔 1 马丁·勒克 1 玛蒂埃斯库 1 杰·纳纳瓦蒂 1 马格达莱娜·奥尔蒂斯 1 蒲叶文 1 麦利雪特 1 Gerardo Schneider公司 1 Anmol V.辛格。 1 尼基塔·斯科洛夫 1 懒惰,克里斯托弗 1 斯科特·斯莫尔卡。 1 索拉巴·斯利瓦斯塔瓦 1 迈克尔·斯特恩。 1 娜玛·斯威德林 1 安德烈亚斯·蒂梅耶 1 塞巴斯蒂安·乌奇特尔 1 丹尼尔·瓦格纳 1 拉斐尔·维斯涅夫斯基 全部的 前5名系列 三 信息与计算 2 计算机科学课堂讲稿 1 计算机与系统科学杂志 1 符号逻辑杂志 1 理论计算机科学 1 系统设计中的形式化方法 1 美国计算机学会期刊 1 计算机科学中的逻辑方法 全部的 前5名领域 58 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 生物学和其他自然科学(92-XX) 三 概率论与随机过程(60-XX) 三 系统论;控制(93至XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 47出版物有被引用512中的次402文件 引用人▼ 年份▼ 战略逻辑。 Zbl 1205.68197号 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 63 2010 反应(1)设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 53 2012 从不确定的Büchi和Street自动机到确定的奇偶自动机。 Zbl 1125.68067号 尼尔·皮特曼 50 2007 反应性(1)设计的合成。 Zbl 1176.68126号 尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 39 2006 不确定地解决游戏。 Zbl 1225.68118号 托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 36 2006 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 战略逻辑。 Zbl 1151.03327号 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 29 2007 无安全成分合成。 Zbl 1188.68193号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 22 2006 广义平价博弈。 Zbl 1195.68053号 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 16 2007 下压规范。 Zbl 1023.68624号 奥尔纳·库普弗曼;尼尔·皮特曼;Moshe Y.瓦尔迪。 15 2002 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 无限状态系统的全局模型检查。 Zbl 1103.68077号 尼尔·皮特曼;莫舍·瓦尔迪。 12 2004 自动推断网络不变量。 Zbl 1222.68379号 奥尔加·格林斯坦;马丁·勒克;尼尔·皮特曼 10 2006 时序逻辑和公平离散系统。 Zbl 1392.68263号 尼尔·皮特曼;阿米尔·普努利 10 2018 发件人mtl公司到确定性时间自动机。 Zbl 1290.68077号 德扬·尼契科维奇;尼尔·皮特曼 8 2010 重温扩展时序逻辑。 Zbl 1006.68086号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 8 2001 无限状态系统的自动验证。 Zbl 1381.68154号 拜伦·库克;海蒂·卡拉夫;尼尔·皮特曼 7 2015 从活泼到敏捷。 Zbl 1135.03336号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2007 重温LTL广义模型检查。 Zbl 1206.68187号 帕特丽斯·戈德弗里德;尼尔·皮特曼 6 2009 无限状态系统的自动机理论方法。 Zbl 1288.68158号 奥尔纳·库普弗曼;尼尔·皮特曼;Moshe Y.瓦尔迪。 6 2010 模型检查前缀可识别系统的线性属性。 Zbl 1010.68078号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 5 2002 动态反应模块。 Zbl 1343.68167号 贾斯敏·费希尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;尼尔·皮特曼;Anmol V.辛格。;莫舍·瓦尔迪。 5 2011 具有无形排名的活力。 Zbl 1202.68248号 方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 4 2004 验证无限状态系统中表达能力越来越强的时序逻辑。 Zbl 1426.68166号 拜伦·库克;海蒂·卡拉夫;尼尔·皮特曼 4 2017 缩小公平模拟和跟踪包含之间的差距。 Zbl 1082.68055号 尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 4 2005 证明生物系统的稳定性。 2014年9月13日 拜伦·库克;贾斯敏·费希尔;克雷普斯卡,埃尔兹别塔;尼尔·皮特曼 4 2011 可牵引概率\(\mu\)-表示概率时间逻辑的微积分。 Zbl 1355.68173号 巴勃罗·卡斯特罗;塞西莉亚·基尔默里;尼尔·皮特曼 4 2015 根据GR(1)规范有效综合异步系统。 Zbl 1326.68186号 乌里·克莱因;尼尔·皮特曼;阿米尔·普努利 三 2012 最小化广义Büchi自动机。 Zbl 1188.68174号 苏迪普·尤文卡;尼尔·皮特曼 三 2006 有界异步:用于建模细胞间交互的并发性。 Zbl 1375.92018年 贾斯敏·费希尔;托马斯·亨辛格(Thomas A.Henzinger)。;玛蒂埃斯库;尼尔·皮特曼 三 2008 通过突变实验合成生物模型。 兹比尔1301.92023 阿里·西南·科克萨尔;蒲叶文;索拉巴·斯利瓦斯塔瓦;拉斯蒂斯拉夫·博迪克;贾斯敏·费希尔;尼尔·皮特曼 三 2013 从双向性到交替性。 Zbl 1044.68101号 尼尔·皮特曼;莫舍·瓦尔迪。 三 2003 奇偶博弈中的致命吸引子。 Zbl 1260.68231号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 三 2013 马尔可夫链的三值抽象:PCTL相当大片段的完整性。 Zbl 1252.03037号 哈,迈克尔;尼尔·皮特曼;瓦格纳,丹尼尔 2 2009 公平等价关系。 Zbl 1274.68194号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 2 2003 令人费解的排名。 Zbl 1126.68474号 方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 2 2004 奇偶博弈的静态分析:奇偶下的交替可达性。 Zbl 1474.68053号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 2 2016 缩小公平模拟和跟踪包含之间的差距。 Zbl 1278.68178号 尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 2 2003 公平等价关系。 Zbl 1044.68110号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 1 2000 使用反向分析和跟踪分区查找递归集。 Zbl 1420.68063号 阿列克谢·巴赫金;尼尔·皮特曼 1 2016 基于SAT的临时安全属性诱导。 Zbl 1272.68219号 罗伊·阿莫尼;菲克斯,利莫;拉南·弗雷尔;斯科特·哈德斯顿;尼尔·皮特曼;莫舍·瓦尔迪。 1 2005 平价博弈的拉宾指数:复杂性和近似性。 Zbl 1332.68060号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 1 2015 在生物系统建模中结合基于状态和基于场景的方法。 兹比尔1088.93504 贾斯敏·费希尔;大卫·哈雷;哈伯德,E.简·阿尔伯特;尼尔·皮特曼;迈克尔·斯特恩。;娜玛·斯威德林 1 2005 模态转换系统控制问题。 Zbl 1372.68184号 尼科拉斯·D’Impolito;维克托·布拉伯曼;尼尔·皮特曼;塞巴斯蒂安·乌奇特尔 1 2012 从双向性到交替性。 Zbl 0999.68103号 尼尔·皮特曼;莫舍·瓦尔迪。 1 2001 用于构建和分析系统的工具和算法。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。 Zbl 1268.68030号 1 2013 随机平价博弈的定性获胜组合。 兹伯利07649914 克里希南德·查特吉;尼尔·皮特曼 1 2019 随机平价博弈的定性获胜组合。 Zbl 07649914号 克里希南德·查特吉;尼尔·皮特曼 1 2019 时间逻辑和公平离散系统。 Zbl 1392.68263号 尼尔·皮特曼;阿米尔·普努利 10 2018 验证无限状态系统中表达能力越来越强的时序逻辑。 Zbl 1426.68166号 拜伦·库克;海蒂·卡拉夫;尼尔·皮特曼 4 2017 奇偶博弈的静态分析:奇偶下的交替可达性。 Zbl 1474.68053号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 2 2016 使用反向分析和跟踪分区查找循环集。 Zbl 1420.68063号 阿列克谢·巴希尔金;尼尔·皮特曼 1 2016 无限状态系统的自动验证。 Zbl 1381.68154号 拜伦·库克;海蒂·卡拉夫;尼尔·皮特曼 7 2015 可追踪概率-表示概率时间逻辑的演算。 Zbl 1355.68173号 巴勃罗·卡斯特罗;塞西莉亚·基尔默里;尼尔·皮特曼 4 2015 平价博弈的拉宾指数:复杂性和近似性。 Zbl 1332.68060号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 1 2015 通过突变实验合成生物模型。 Zbl 1301.92023号 Ali Sinan Koksal公司;蒲叶文;索拉巴·斯利瓦斯塔瓦;拉斯蒂斯拉夫·博迪克;贾斯敏·费希尔;尼尔·皮特曼 三 2013 奇偶博弈中的致命吸引子。 Zbl 1260.68231号 哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 三 2013 用于构建和分析系统的工具和算法。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。 Zbl 1268.68030号 1 2013 反应(1)设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;Sa’亚尼夫·阿尔 53 2012 根据GR(1)规范有效综合异步系统。 兹比尔1326.68186 乌里·克莱因;尼尔·皮特曼;阿米尔·普努利 三 2012 模态转换系统控制问题。 Zbl 1372.68184号 D’尼科拉斯·伊波利托;维克托·布拉伯曼;尼尔·皮特曼;塞巴斯蒂安·乌奇特尔 1 2012 动态反应模块。 Zbl 1343.68167号 贾斯敏·费希尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;尼尔·皮特曼;Anmol V.辛格。;莫舍·瓦尔迪。 5 2011 证明生物系统的稳定性。 2014年9月13日 拜伦·库克;贾斯敏·费希尔;克雷普斯卡,埃尔兹别塔;尼尔·皮特曼 4 2011 战略逻辑。 Zbl 1205.68197号 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 63 2010 发件人mtl公司到确定性时间自动机。 兹比尔1290.68077 德扬·尼契科维奇;尼尔·皮特曼 8 2010 无限状态系统的自动机理论方法。 Zbl 1288.68158号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2010 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 重温LTL广义模型检查。 Zbl 1206.68187号 帕特丽斯·戈德弗里德;尼尔·皮特曼 6 2009 马尔可夫链的三值抽象:PCTL相当大片段的完整性。 Zbl 1252.03037号 哈,迈克尔;尼尔·皮特曼;丹尼尔·瓦格纳 2 2009 有界异步:用于建模细胞间交互的并发性。 Zbl 1375.92018年 贾斯敏·费希尔;托马斯·亨辛格(Thomas A.Henzinger)。;玛蒂埃斯库;尼尔·皮特曼 三 2008 从非确定性Büchi和Streett自动机到确定性奇偶自动机。 Zbl 1125.68067号 尼尔·皮特曼 50 2007 战略逻辑。 兹比尔1151.03327 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 29 2007 广义平价博弈。 Zbl 1195.68053号 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 16 2007 从活泼到敏捷。 Zbl 1135.03336号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2007 反应性(1)设计的合成。 Zbl 1176.68126号 尼尔·皮特曼;阿米尔·普努利;Sa’亚尼夫·阿尔 39 2006 不确定地解决游戏。 Zbl 1225.68118号 托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 36 2006 无安全成分合成。 Zbl 1188.68193号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 22 2006 自动推断网络不变量。 Zbl 1222.68379号 奥尔加·格林斯坦;马丁·勒克;尼尔·皮特曼 10 2006 最小化广义Büchi自动机。 Zbl 1188.68174号 苏迪普·尤文卡;尼尔·皮特曼 三 2006 缩小公平模拟和跟踪包含之间的差距。 Zbl 1082.68055号 尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 4 2005 基于SAT的临时安全属性诱导。 Zbl 1272.68219号 罗伊·阿莫尼;菲克斯,利莫;拉南·弗雷尔;斯科特·哈德斯顿;尼尔·皮特曼;莫舍·瓦尔迪。 1 2005 在生物系统建模中结合基于状态和基于场景的方法。 兹比尔1088.93504 贾斯敏·费希尔;大卫·哈雷;哈伯德,E.简·阿尔伯特;尼尔·皮特曼;迈克尔·斯特恩。;娜玛·斯威德林 1 2005 无限状态系统的全局模型检查。 Zbl 1103.68077号 尼尔·皮特曼;莫舍·瓦尔迪。 12 2004 具有无形排名的活力。 Zbl 1202.68248号 方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 4 2004 令人费解的排名。 Zbl 1126.68474号 方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 2 2004 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 从双向性到交替性。 Zbl 1044.68101号 尼尔·皮特曼;莫舍·瓦尔迪。 三 2003 公平的等价关系。 Zbl 1274.68194号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 2 2003 缩小公平模拟和跟踪包含之间的差距。 Zbl 1278.68178号 尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 2 2003 下压规范。 Zbl 1023.68624号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 15 2002 模型检查前缀可识别系统的线性属性。 Zbl 1010.68078号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 5 2002 重温扩展时序逻辑。 Zbl 1006.68086号 奥尔纳·库普弗曼;尼尔·皮特曼;Moshe Y.瓦尔迪。 8 2001 从双向性到交替性。 Zbl 0999.68103号 尼尔·皮特曼;莫舍·瓦尔迪。 1 2001 公平等价关系。 Zbl 1044.68110号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 1 2000 所有引用出版物 排名前五的出版物 全部的 前5名632位作者引用 29 奥尔纳·库普弗曼 22 阿尼埃洛·穆拉诺 18 马丁·齐默尔曼 16 Moshe Ya’akov瓦尔迪 15 Jean-François拉斯金 14 朱塞佩·佩雷利 14 斯文·舍韦 13 尼尔·皮特曼 12 迈克尔·J·伍尔德里奇。 11 阿夫尼,盖伊 11 朱利安·古铁雷斯 11 法比奥·莫加维罗 10 劳拉·博泽利 10 克里希南德·查特吉 9 罗德里克·布洛姆 8 帕特里夏·鲍耶 8 托马斯·亨辛格(Thomas A.Henzinger)。 8 尼古拉斯·马基 7 乌迪·博克 7 维罗尼克·布鲁埃 7 卡罗琳娜·莱赫蒂宁 7 安吉洛·蒙塔纳里 7 米凯尔·兰多尔 7 亚历山大·韦内特 6 马西莫·贝内雷切蒂 6 哈娜·乔克勒 6 亚历山德罗·西马蒂 6 伯恩德·芬克贝纳 6 古哈,柴桥 6 简·Křetínsk 6 阿德里亚诺·佩隆 6 洛雷达纳·索伦蒂诺 5 克里斯特尔·拜尔 5 托马斯·布里海耶 5 哈维尔·埃斯帕尔扎 5 艾曼纽·菲利奥特 5 阿米尔·普努利 5 萨沙·鲁宾 5 所罗门·西克特 4 弗朗西斯科·贝拉迪内利 4 大卫·布雷索林 4 黛拉·莫妮卡,达里奥 4 丹尼尔·德尔尔巴 4 阿琳·戈敏 4 恩斯特·莫里茨·哈恩 4 保罗·哈伦斯坦 4 芭芭拉·乔布斯曼 4 丹尼斯·库珀伯格 4 安蒂·库西斯托 4 Marta Z.Kwiatkowska。 4 圣埃芬·勒鲁 4 马丁·勒克 4 鲁帕克·马朱姆达尔 4 瓦迪姆·马尔沃内 4 沙哈尔·茂兹 4 丹尼尔·奈德 4 雷恩·Rönnholm 4 维克多·舒潘 4 斯特里赫曼(Ofer Strichman) 4 安德烈亚·图里尼 三 达拉·阿拉杰 三 加尔阿姆拉姆 三 戴维德·贾科莫·卡维扎 三 Chebotarev,Anatoli N。 三 米歇尔·齐亚里 三 劳伦特·多恩 三 马苏德·易卜拉希米 三 吕迪格埃勒斯 三 流亡,莱奥 三 达纳·菲斯曼 三 帕特里克·加迪 三 瓦伦丁·F·戈兰科。 三 阿尔贝托·格里乔 三 马修·黑格 三 罗伯特·Könighfer 三 马丁·兰格 三 弗朗索瓦·拉鲁西尼 三 金·古德斯特兰·拉森 三 恩里科·马格纳戈 三 迪诺·曼德里奥利 三 巴斯蒂安·莫伯特 三 托拜厄斯·梅根多夫 三 克劳迪奥·蒙吉 三 穆罕默德·纳吉布 三 帕维尔·G·瑙莫夫。 三 尤索夫·乌阿尔哈德 三 安德烈·普拉泽 三 马蒂奥·普拉德拉 三 巴德·阿布·拉迪 三 皮埃特罗·萨拉 三 塞巴斯蒂安·萨迪纳 三 安妮·凯瑟琳·施穆克 三 宋,傅 三 Leander Tentrup公司 三 乌富克托普库 三 泰瑟·图利 三 阿舒托什·特里维迪 三 皮埃尔·范登霍夫 三 加尔省瓦尔迪 三 多米尼克·沃伊特扎克 …还有532名作者 全部的 前5名40篇连载文章被引用 43 信息与计算 25 信息学报 23 计算机科学中的逻辑方法 22 理论计算机科学 19 系统设计中的形式化方法 13 人工智能 8 ACM计算逻辑事务 7 离散事件动态系统 6 Automatica公司 6 计算机与系统科学杂志 6 计算的形式方面 5 信息处理信件 5 非线性分析。混合动力系统 三 控制论与系统分析 三 数学与人工智能年鉴 2 自动推理杂志 2 人工智能研究杂志 2 欧洲控制杂志 2 计算机语言、系统和结构 2 算法 2 游戏 2 信息分析系统模型 1 哲学逻辑杂志 1 符号逻辑杂志 1 SIAM计算机杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 逻辑、语言与信息杂志 1 美国计算机学会模型和计算机仿真汇刊 1 计算系统理论 1 美国计算机学会期刊 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 理论计算机科学的基础和发展趋势 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名13个领域引用 364 计算机科学(68至XX) 155 数学逻辑和基础(03-XX) 101 博弈论、经济学、金融和其他社会和行为科学(91-XX) 28 系统论;控制(93至XX) 11 组合数学(05-XX) 6 生物学和其他自然科学(92-XX) 5 概率论与随机过程(60-XX) 5 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 测量和集成(28-XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 量子理论(81-XX) 按年份列出的引文