编辑配置文件（在新选项卡中打开） 托马斯·沃伊纳尔 合著者距离 作者ID： 沃纳瘤 发布日期： 汤姆·沃纳;托马斯·沃伊纳尔;Tomás Vojnar;沃伊纳尔，T。 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 53出版物自2000年起 9作为编辑的贡献 合著者： 58位合著者具有62联合出版物 1057合著作者 全部的 前5名合著者 0 单作者的 24 卢卡什·霍利克 18 彼得·哈贝梅尔 13 Ondřej Lengál 12 阿卜杜拉·帕罗什·阿齐兹 12 艾哈迈德·博阿贾尼 11 拉杜·奥西夫 9 亚当·罗加列维奇 6 科什卡，米兰 4 陈玉芳 4 汤姆·菲多尔 4 丽莎·卡蒂 三 大卫·安托什 三 马吕斯·博兹加 三 皮埃尔·莫罗 三 Šimáček，吉里切克 2 乔纳森·塞德伯格 2 康斯坦丁·埃纳 2 帕维尔·埃尔勒巴赫 2 沃伊特·哈夫勒纳 2 弗拉迪米尔·贾努塞克 2 本特·琼森 2 兹登·科塔塞克 2 卢德克·马蒂斯卡 2 理查德·梅尔（Richard M.Mayr）。 2 尤拉吉·西奇 2 米哈埃拉·西希雷亚努 2 聪奎·特里恩 2 张丽君 1 简·布达 1 伊万娜·乔纳 1 洛伦佐·克莱门特 1 卡米尔·杜德卡 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 彼得·赫林 1 Chih-Duo洪 1 马丁·赫鲁斯卡 1 彼得·扬克 1 科弗罗，简 1 菲利普·科内钦 1 米查尔·科祖别克 1 波胡斯拉夫·科埃纳 1 莫西尔·Křetínsk \345] 1 安东尼·库塞拉 1 瓦克拉夫·马塔什 1 彼得·马图舍克 1 吉·马蒂亚什 1 沃伊特·姆拉泽克 1 雅罗斯拉夫·内舍特伊尔 1 彼得·佩林格 1 卢卡什·塞卡尼纳 1 莫里茨·辛恩 1 斯米尔奇卡，阿莱什 1 泰瑟·图利 1 马雷克·特里克 1 伦卡·图罗·奥瓦 1 玛格斯·维纳斯 1 帕维尔·泽姆西克 1 弗洛里安·祖勒格 全部的 前5名系列 5 系统设计中的形式化方法 5 计算机科学课堂讲稿 三 信息学报 2 国际计算机科学基础杂志 2 理论计算机科学电子笔记 2 OASIcs–信息学中的OpenAccess系列 1 国际通用系统杂志 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 领域 60 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 9 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物有被引用281中的次176文件 引用人▼ 年份▼ 抽象定期模型检查。 Zbl 1103.68071号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;汤姆·沃纳 25 2004 复杂动态数据结构的抽象规则树模型检查。 Zbl 1225.68067号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;亚当·罗加列维奇;汤姆·沃纳 22 2006 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;莫罗，皮埃尔;汤姆·沃纳 21 2006 用树自动机确定归纳分离逻辑中的蕴涵。 Zbl 1448.68266号 拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 19 2014 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 Zbl 1284.68337号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;卢卡什·霍利克;理查德·迈尔;汤姆·沃纳 18 2010 抽象常规树模型检查。 Zbl 1273.68221号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;亚当·罗加列维奇;托马斯·沃伊纳尔 17 2006 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;洛伦佐·克莱门特;卢卡什·霍利克;Chih-Duo洪;理查德·迈尔;汤姆·沃纳 12 2011 用于验证堆操作的森林自动机。 Zbl 1284.68398号 彼得·哈贝梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek，Jiří;汤姆·沃纳 12 2012 使用正则语言推理的正则模型检查。 Zbl 1272.68256号 彼得·哈贝梅尔;汤姆·沃纳 12 2005 在树自动机上计算模拟。减少树自动机的有效技术。 兹伯利1134.68391 帕罗什·A·阿卜杜拉。;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;托马斯·沃伊纳尔 11 2008 整数数组还有什么可判定的？ Zbl 1139.03007号 彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 11 2008 在定期模型检查中验证具有动态1-选择器链接结构的程序。 Zbl 1087.68585号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;皮埃尔·莫罗;汤姆·沃纳 11 2005 非确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;卢卡什，霍利克;泰瑟·图利;汤姆·沃纳 10 2008 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 7 2011 分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 7 2014 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 帕罗什·A·阿卜杜拉。;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 6 2009 使用优先FIFO资源管理验证参数并发系统。 Zbl 1138.68464号 艾哈迈德·博阿贾尼;彼得·哈伯梅尔;汤姆·沃纳 5 2008 单索引数组的逻辑。 Zbl 1182.03032号 彼得·哈伯梅尔;拉杜·奥西夫;汤姆·沃纳 5 2008 VATA：用于有效操作非确定性树自动机的库。 Zbl 1352.68135号 Ondřej Lengál;Šimáckek，Jiří;汤姆·沃纳 5 2012 分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 4 2017 整数数组程序的自动验证。 兹比尔1242.68063 马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;菲利普·科内钦;汤姆·沃纳 4 2009 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 4 2015 用于构建和分析系统的工具和算法。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。 Zbl 1408.68024号 三 2019 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔;卢卡什·霍利克;彼得·扬克;Ondřej Lengál;汤姆·沃纳 三 2017 从形状到摊销复杂性。 兹比尔1446.68030 汤姆·菲多尔;卢卡什·霍利克;亚当·罗加列维奇;辛恩·莫里茨;汤姆·沃纳;弗洛里安·祖勒格 三 2018 证明树操作程序的终止。 Zbl 1141.68469号 彼得·哈贝梅尔;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 三 2007 简化中介（最小化交替Büchi自动机）。 Zbl 1248.68280号 帕罗什·A·阿卜杜拉。;陈玉芳;卢卡什·霍利克;汤姆·沃纳 三 2009 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 2 2013 自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 Zbl 07178983号 沃伊特·哈夫勒纳;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 2 2019 树自动机的合成互模拟。 Zbl 1172.68487号 帕罗什·A·阿卜杜拉。;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;托马斯·沃伊纳尔 2 2008 显式和半符号树自动机的高效包含检查。 Zbl 1348.68105号 卢卡什·霍利克;Ondřej省Lengál;Šimáckek，Jiří;汤姆·沃纳 1 2011 使用树更新自动验证程序。 Zbl 1185.68414号 彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 1 2010 自动化形式分析和验证：概述。 Zbl 1286.68318号 波胡斯拉夫·科埃纳;汤姆·沃纳 1 2013 具有扩展线性链接数据结构的基于模式的程序验证。 Zbl 1276.68055号 Češka，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2006 从低级指针到高级容器。 Zbl 1475.68084号 卡米尔·杜德卡;卢卡什·霍利克;彼得·佩林格;马雷克·特里克;汤姆·沃纳 1 2016 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 1 2016 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2007 符号自动机的模拟算法。 Zbl 1517.68196号 卢卡什，霍利克;Ondřej Lengál;尤拉吉·西奇;玛格斯·维纳斯;汤姆·沃纳 1 2018 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej Lengál;亚当·罗加列维奇;汤姆·沃纳 1 2017 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 1 2009 无限状态系统的迹包含的抽象精化和反链。 Zbl 1420.68107号 拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 1 2016 用于构建和分析系统的工具和算法。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。 Zbl 1408.68024号 三 2019 自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 Zbl 07178983号 沃伊特·哈夫勒纳;卢卡什，霍利克;Ondřej Lengál;汤姆·沃纳 2 2019 从形状到摊销复杂性。 兹比尔1446.68030 汤姆·菲多尔;卢卡什·霍利克;亚当·罗加列维奇;莫里茨·辛恩;汤姆·沃纳;弗洛里安·祖勒格 三 2018 符号自动机的模拟算法。 Zbl 1517.68196号 卢卡什·霍利克;Ondřej Lengál;尤拉吉·西奇;玛格斯·维纳斯;汤姆·沃纳 1 2018 分离逻辑片段的组合蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 4 2017 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔;卢卡什·霍利克;彼得·扬克;Ondřej Lengál;汤姆·沃纳 三 2017 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej Lengál;亚当·罗加列维奇;汤姆·沃纳 1 2017 从低级指针到高级容器。 Zbl 1475.68084号 卡米尔·杜德卡;卢卡什·霍利克;彼得·佩林格;马雷克·特里克;托马斯·沃伊纳尔 1 2016 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 1 2016 无限状态系统的迹包含的抽象精化和反链。 Zbl 1420.68107号 拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 1 2016 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 4 2015 用树自动机确定归纳分离逻辑中的蕴涵。 Zbl 1448.68266号 拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 19 2014 分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 7 2014 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;崔聪;汤姆·沃纳 2 2013 自动化形式分析和验证：概述。 Zbl 1286.68318号 波胡斯拉夫·凯纳;汤姆·沃纳 1 2013 用于验证堆操作的森林自动机。 Zbl 1284.68398号 彼得·哈贝梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek，Jiří;汤姆·沃纳 12 2012 VATA：用于有效操作非确定性树自动机的库。 Zbl 1352.68135号 Ondřej Lengál;Šimáckek，Jiří;托马斯·沃伊纳尔 5 2012 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;洛伦佐·克莱门特;卢卡什·霍利克;Chih-Duo洪;理查德·迈尔;汤姆·沃纳 12 2011 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 7 2011 显式和半符号树自动机的高效包含检查。 Zbl 1348.68105号 卢卡什·霍利克;Ondřej Lengál;Šimáček，吉里切克;汤姆·沃纳 1 2011 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 兹比尔1284.68337 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;卢卡什·霍利克;理查德·迈尔;汤姆·沃纳 18 2010 使用树更新自动验证程序。 Zbl 1185.68414号 彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 1 2010 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 帕罗什·A·阿卜杜拉。;卢卡什·霍利克;卡蒂，丽莎;汤姆·沃纳 6 2009 整数数组程序的自动验证。 Zbl 1242.68063号 马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;菲利普·科内钦;汤姆·沃纳 4 2009 简化中介（最小化交替Büchi自动机）。 兹比尔1248.68280 帕罗什·A·阿卜杜拉。;陈玉芳;卢卡什·霍利克;汤姆·沃纳 三 2009 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 1 2009 在树自动机上计算模拟。减少树自动机的有效技术。 兹伯利1134.68391 帕罗什·A·阿卜杜拉。;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;托马斯·沃伊纳尔 11 2008 整数数组还有什么可判定的？ Zbl 1139.03007号 彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 11 2008 非确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;卢卡什·霍利克;泰瑟·图利;汤姆·沃纳 10 2008 使用优先FIFO资源管理验证参数并发系统。 Zbl 1138.68464号 艾哈迈德·博阿贾尼;彼得·哈伯梅尔;汤姆·沃纳 5 2008 单索引数组的逻辑。 Zbl 1182.03032号 彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 5 2008 树自动机的合成互模拟。 Zbl 1172.68487号 帕罗什·A·阿卜杜拉。;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 2 2008 证明树操作程序的终止。 Zbl 1141.68469号 彼得·哈贝梅尔;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 三 2007 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰;帕维尔·埃尔勒巴赫;托马斯·沃伊纳尔 1 2007 复杂动态数据结构的抽象规则树模型检查。 Zbl 1225.68067号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;亚当·罗加列维奇;汤姆·沃纳 22 2006 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 21 2006 抽象常规树模型检查。 Zbl 1273.68221号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;亚当·罗加列维奇;汤姆·沃纳 17 2006 具有扩展线性链接数据结构的基于模式的程序验证。 兹比尔1276.68055 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2006 使用正则语言推理的正则模型检查。 Zbl 1272.68256号 彼得·哈贝梅尔;汤姆·沃纳 12 2005 在定期模型检查中验证具有动态1-选择器链接结构的程序。 Zbl 1087.68585号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;皮埃尔·莫罗;汤姆·沃纳 11 2005 抽象定期模型检查。 Zbl 1103.68071号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;汤姆·沃纳 25 2004 所有引用出版物 前5名被引用出版物 全部的 前5名337位作者引用 17 汤姆·沃纳 14 卢卡什·霍利克 11 帕罗什·阿齐兹·阿卜杜拉 10 拉杜·奥西夫 8 Ondřej Lengál 7 艾蒂安Lozes 6 艾哈迈德·博阿贾尼 6 Stéphane P.德姆里。 6 李勇 6 莫西·亚亚科夫·瓦尔迪 6 弗洛里安·祖勒格 5 马吕斯·博兹加 5 亚当·罗加列维奇 5 张丽君 4 约翰娜·比约克隆德 4 雷米·布罗赫宁 4 陈玉芳 4 甘蒂，皮埃尔 4 诺尔，托马斯 4 Jean-François拉斯金 4 艾哈迈德·雷兹 三 尤罕·博伊库特 三 洛伦佐·克莱门特 三 穆纳乔·埃切宁 三 康斯坦丁·埃纳 三 汤姆·菲多尔 三 塞斯·福格蒂。 三 彼得·哈贝梅尔 三 海姆，皮尔雷·科里尔 三 米尔卡胡塔加隆 三 大辅木村 三 奥尔纳·库普弗曼 三 马丁·兰格 三 Le，Quang Loc公司 三 克里斯托夫·马提亚 三 尼古拉斯·佩尔蒂埃 三 菲利普·吕默 三 米哈埃拉·西希雷亚努 三 Makoto Tatsuta 三 Tsay，Yih-Kuen先生 2 弗朗切斯科·阿尔贝蒂 2 亚历山大·安德拉德·德梅洛 2 尼古拉·S·比约纳。 2 劳拉·博泽利 2 保罗·布鲁内特 2 特夫菲克·布尔坦 2 克里希南德·查特吉 2 陈、陶璐 2 魏恩根·钦 2 洛克·杰拉德·克利奥帕斯 2 德奥利维拉·奥利维拉，马特乌斯 2 乔治·德尔扎诺 2 塞萨拉·德拉戈伊 2 达纳·菲斯曼 2 西尔维奥·吉拉尔迪 2 沃伊特·哈夫勒纳 2 弗雷德里克·哈齐扎 2 马丁·赫鲁斯卡 2 诺伯特·亨德斯哈根 2 奥斯卡·H·伊巴拉。 2 佛罗伦萨·杰克马尔 2 克里斯蒂娜·詹森 2 丽莎·卡蒂 2 Joost-Pieter卡托恩 2 费利克斯·克莱特克 2 吉原小岛 2 巴巴拉·科尼格 2 维克多·昆卡 2 迪特里赫·库斯克 2 洛伦兹·勒特盖布 2 Anthony Widjaja林 2 刘德鹏 2 鲁帕克·马朱姆达尔 2 尼古拉斯·马奎特 2 理查德·梅尔（Richard M.Mayr）。 2 乔治·莫瑟 2 简斯·佩格尔 2 苏菲·平奇纳特 2 Damien Pous 2 皮埃尔·雷蒂 2 酒井正彦 2 克里斯蒂安·席林 2 娜塔莎·莎莉吉娜 2 约瑟夫·西法基斯 2 安德烈亚·图里尼 2 瓦尔戈维克，帕沃尔 2 玛格斯·维纳斯 2 托马斯·怀斯 2 吴志林 2 于、方 1 娜塔莎·亚历奇纳 1 侯赛因·阿贾扎尔 1 穆阿特·阿尔卡拉夫 1 阿隆·拉维德 1 拉杰夫·阿鲁尔 1 约书亚·阿玛维 1 达纳·安格鲁因 1 安德鲁·W·阿佩尔。 1 科尼利厄斯·阿斯切尔曼 1 Domagoj Babić …还有237位作者 全部的 前5名26篇连载文章中引用 15 理论计算机科学 14 系统设计中的形式化方法 10 自动推理杂志 8 信息学报 7 信息与计算 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 三 计算的形式方面 三 计算机基础理论 三 ACM计算逻辑事务 2 计算系统理论 2 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 人工智能 1 国际通用系统杂志 1 Automatica公司 1 计算机与系统科学杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 自动机、语言和组合数学杂志 1 逻辑程序设计理论与实践 1 伊朗模糊系统杂志 全部的 前5名在6个字段中引用 172 计算机科学（68至XX） 50 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 按年份列出的引文