编辑配置文件(在新选项卡中打开) 彼得·扬查尔 合著者距离 作者ID: jancar.petr公司 发布日期: 彼得·扬查尔;彼得·詹卡尔;詹查尔,P。;彼得·扬克;詹科尔,P。 更多。。。较少的 已编制索引的文档: 80种出版物自1989年起 2作为编辑的贡献 审查活动: 31评论 合著者: 38位合著者具有57联合出版物 697合作作者 全部的 前5名合著者 25 单作者的 13 Zdeněk萨瓦 10 安东尼·库塞拉 8 弗朗蒂舍克先生 8 马丁·普拉特克 7 法隆·莫勒 5 约格·沃格尔 4 斯坦尼斯拉夫·博姆 三 哈维尔·埃斯帕尔扎 三 Forejt,Vojtěch公司 三 斯特凡·格勒 三 斯特凡·基弗 三 马丁·科特 三 菲利普·施诺贝伦 三 吉·斯尔巴 三 詹姆斯·沃雷尔。 2 沃伊切赫,切尔文斯基 2 罗德尼·豪厄尔。 2 普拉蒂克,卡兰迪卡尔 2 莫西尔·Křetínsk \345] 2 杰罗姆·勒鲁 2 彼得·奥西卡 2 路易斯·罗西尔(Louis E.Rosier)。 2 格雷戈伊尔·萨特雷 1 弗拉基米尔·巴什金。 1 托马斯·布拉兹迪尔 1 卢博什·布里姆 1 凯瑟琳·杜福尔德 1 Fröschle,Sibylle B。 1 萨沃米尔·拉索塔 1 伊琳娜·洛马佐娃。 1 理查德·梅尔(Richard M.Mayr)。 1 安大略省麦加 1 马丁·普鲁查斯卡 1 乘务长,大卫 1 马克·施费尔 1 希玛,吉安尼 1 瓦利舍克(Valůsh ek,Jiří) 1 沃尔特·福格勒 全部的 前5名系列 7 信息与计算 5 理论计算机科学 5 计算机科学中的逻辑方法 4 计算机与系统科学杂志 4 计算机基础理论 三 信息学报 2 信息处理信件 2 自动机、语言和组合数学杂志 1 卡罗莱纳大学数学评论 1 欧洲理论计算机科学协会(EATCS)公报 1 俄斯特拉维大学数学与信息学报 1 美国计算机学会期刊 1 逻辑程序设计理论与实践 1 计算与信息学 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 82 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 66出版物有被引用409中的次255个文档 引用人▼ 年份▼ Petri网的双相似性的不可判定性及相关问题。 Zbl 0873.68147号 彼得·扬查尔 35 1995 关于具有重新启动操作的单调自动机。 Zbl 0942.68064号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 33 1999 正在重新启动自动机。 Zbl 1508.68194号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 30 1995 带状态的扩展向量加法系统上的可达性对策。 Zbl 1288.68179号 托马斯·布拉兹迪尔;彼得·扬查尔;安东·库切拉 18 2010 Petri网双相似性的判定问题及相关问题。 兹伯利0941.68644 彼得·扬查尔 17 1994 确定有限状态过程的类互模拟等价。 Zbl 0974.68131号 詹查尔,P。;库切拉,A。;R·迈尔。 17 2001 重启自动机的单调性。 Zbl 1149.68052号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 13 2007 Petri网时态逻辑问题的可判定性。 Zbl 0701.68081号 彼得·扬查尔 13 1990 重置P/T网的有界性。 Zbl 0943.68122号 C.杜福尔德。;詹科尔,P。;Schnoebelen博士。 13 1999 Petri网和常规过程。 Zbl 0958.68121号 彼得·扬查尔;哈维尔·埃斯帕尔扎;法隆·莫勒 12 1999 确定性单计数器自动机的等价性是NL-完全的。 Zbl 1293.68181号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·詹卡尔 10 2013 关于有限自动机与单字母字母交替的空性的注记。 Zbl 1184.68317号 彼得·扬查尔;Zdeněk萨瓦 9 2007 关于幂集的良好拟序的注记。 Zbl 0998.06002号 彼得·扬查尔 9 1999 无限状态系统的等价性检查:技术和结果。 Zbl 1101.68700号 安东·库切拉;彼得·扬查尔 9 2006 由于防守队员的强迫而导致的不可解释性。 Zbl 1326.68199号 彼得·扬查尔;吉·斯尔巴 9 2008 决定Petri网到互模拟的有限性。 Zbl 1046.68622号 彼得·扬查尔;哈维尔·埃斯帕尔扎 9 1996 遗忘自动机的分类。 Zbl 0925.68320号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克 7 1993 基本并行过程上的不相交互模拟等价。 Zbl 1185.68444号 西比尔·弗罗斯科尔;彼得·扬查尔;斯拉沃米尔·拉索塔;Zdeněk萨瓦 7 2010 单计数器机器的模拟问题。 Zbl 0963.68094号 彼得·扬查尔;法隆·莫勒;萨瓦,兹登斯克 7 1999 单计数器进程上的模拟和互模拟。 Zbl 0962.68121号 彼得·扬查尔;安东·库切拉;法隆·莫勒 7 2000 下推系统的等效性很难实现。 Zbl 1407.68258号 彼得·扬查尔 7 2014 单计数器自动机等价性检查和模型检查的DP下界。 Zbl 1078.68087号 彼得·扬查尔;安东·库切拉;法隆·莫勒;Zdeněk萨瓦 6 2004 重启自动机、马库斯语法和无上下文语言。 Zbl 1096.68658号 彼得·扬查尔;František先生;马丁·普拉特克;马丁·普鲁查斯卡;约格·沃格尔 6 1996 有限状态系统上的行为等价是PTIME-hard。 Zbl 1109.68052号 Zdeněk萨瓦;彼得·扬查尔 6 2005 双相似性的可判定性和不可判定性技术。 Zbl 0940.68087号 彼得·扬查尔;莫勒,法伦 6 1999 基本进程代数上的双相似性在2-ExpTime中(一个显式证明)。 Zbl 1260.68269号 彼得·扬查尔 6 2013 Petri网弱双相似性的高不可判定性。 Zbl 1496.68229号 彼得·扬查尔 5 1995 单计数器过程的双相似性的判定。 Zbl 1046.68621号 彼得·扬查尔 5 2000 Petri网等价的非本原递归复杂性和不可判定性。 兹伯利0974.68130 詹查尔,P。 5 2001 对于单计数器过程,互模拟等价性是可以判定的。 Zbl 1401.68229号 彼得·扬查尔 4 1997 一阶文法的互模拟等价性。 Zbl 1410.68192号 彼得·扬查尔 4 2014 概率下推自动机的语言等价性。 Zbl 1360.68556号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 4 2014 规范BPA过程的分支双相似性在NExpTime中。 Zbl 1392.68292号 沃伊切赫,切尔文斯基;彼得·扬查尔 三 2015 确定BPA和BPP流程之间的相似性。 兹比尔1274.68236 彼得·扬查尔;安东·库切拉;法隆·莫勒 三 2003 重新审视了正常BPA和正常BPP。 Zbl 1160.68468号 彼得·扬查尔;马丁·科特;Zdeněk萨瓦 三 2008 用单计数器自动机进行等价性检查:证明下限的通用方法。 Zbl 1077.68653号 彼得·扬查尔;安东·库切拉;莫勒,法伦;Zdeněk萨瓦 三 2002 单计数器进程的双相似性是PSPACE-完全的。 Zbl 1287.68122号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2010 单路径Petri网的完备性结果。 Zbl 0786.68075号 Rodney R.豪厄尔。;彼得·扬查尔;路易斯·罗西尔(Louis E.Rosier)。 三 1993 从一阶语法看DPDA语言等价的可判定性。 Zbl 1360.68561号 彼得·扬克 三 2012 实时单计数器自动机的互模拟等价性和正则性。 Zbl 1285.68079号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2014 组合有限状态系统等价性检查的困难。 Zbl 1166.68018号 Zdeněk萨瓦;彼得·扬查尔 2 2009 概率双相似度的博弈特征及其在下推自动机中的应用。 Zbl 1407.68252号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2018 非确定性遗忘自动机不如确定性线性有界自动机强大。 Zbl 0853.68118号 彼得·扬查尔 2 1993 P-有限状态过程等价性测试的硬度。 Zbl 1052.68093号 兹德内克·萨瓦;彼得·扬查尔 2 2001 通过擦除自动机描述无上下文语言。 Zbl 1494.68140号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克 2 1992 Petri网的结构活性是ExpSpace(扩展空间)-难以判断。 Zbl 1425.68296号 彼得·扬查尔;乘务长,大卫 2 2019 赋范BPA过程作为有理幺半群的分支双相似性。 Zbl 1398.68366号 彼得·扬查尔 2 2017 确定标记图的STG分解。 Zbl 1128.68385号 马克·施费尔;沃尔特·福格勒;彼得·扬查尔 2 2005 概率下推自动机的双相似性。 Zbl 1354.68152号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2012 无限状态系统的等效性检查:技术和结果。 Zbl 1278.68218号 安东·库切拉;彼得·扬查尔 2 2002 重启自动机的不同类型的单调性。 Zbl 1499.68182号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 2 1998 用于确定和不确定双相似性的选定思想。 Zbl 1161.68621号 彼得·扬查尔 1 2008 Petri网可达性问题的Bouziane变换和相关算法的不正确性。 Zbl 1178.68365号 彼得·扬查尔 1 2008 忘记自动机和上下文无关语言。 Zbl 0849.68081号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克 1 1996 所有基于行动的行为等价物对于标记的Petri网都是不可判定的。 Zbl 1026.68572号 彼得·扬查尔 1 1995 Petri网中的资源二相似性是可判定的。 Zbl 07597932号 伊琳娜·洛马佐娃(Irina A.Lomazova)。;弗拉基米尔·巴什金。;彼得·扬查尔 1 2022 EXPSPACE-完成倒计时游戏的变体,并在简洁的单计数器网络上进行模拟。 Zbl 1515.68208号 彼得·扬查尔;彼得·奥西卡;Zdeněk萨瓦 1 2018 关于状态向量加法系统上的可达性相关对策。 Zbl 1471.68166号 彼得·扬查尔 1 2015 可以测试单向通道系统。 Zbl 1362.68174号 彼得·扬查尔;普拉蒂克,卡兰迪卡尔;菲利普·施诺贝伦 1 2012 决定Petri网的结构活性。 Zbl 1425.68295号 彼得·扬查尔 1 2017 Petri网某些动态性质的判定问题。(论文摘要)。 Zbl 0682.68076号 詹查尔,P。 1 1989 Petri网中弱公平性的判定。 Zbl 1492.68096号 彼得·扬查尔 1 1989 基本并行过程的相似性。 Zbl 07467467号 彼得·扬查尔 1 2022 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 适用于MPI死锁检测的非确定性同步系统的状态空间缩减。 Zbl 1427.68184号 斯坦尼斯拉夫·博姆;安大略省麦加;彼得·扬查尔 1 2016 决定下推过程和一阶语法的语义有限性w.r.t.双模拟等价。 Zbl 1435.68169号 彼得·扬查尔 1 2020 Petri网中的资源相似性是可判定的。 Zbl 07597932号 伊琳娜·洛马佐娃(Irina A.Lomazova)。;弗拉基米尔·巴什金。;彼得·扬查尔 1 2022 基本并行过程的相似性。 Zbl 07467467号 彼得·扬查尔 1 2022 决定下推过程和一阶文法的语义有限性。 兹比尔1435.68169 彼得·扬查尔 1 2020 Petri网的结构活性是ExpSpace(扩展空间)-难以判断。 Zbl 1425.68296号 彼得·扬查尔;乘务长,大卫 2 2019 概率双相似度的博弈特征及其在下推自动机中的应用。 Zbl 1407.68252号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2018 EXPSPACE-完成倒计时游戏的变体,并在简洁的单计数器网络上进行模拟。 Zbl 1515.68208号 彼得·扬查尔;彼得·奥西卡;Zdeněk萨瓦 1 2018 具有状态的向量加法系统中可达集的共有限性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 赋范BPA过程作为有理幺半群的分支双相似性。 Zbl 1398.68366号 彼得·扬查尔 2 2017 决定Petri网的结构活性。 Zbl 1425.68295号 彼得·扬查尔 1 2017 适用于MPI中死锁检测的非确定性同步系统的状态空间缩减。 Zbl 1427.68184号 斯坦尼斯拉夫·博姆;安大略省麦加;彼得·扬查尔 1 2016 规范BPA过程的分支双相似性在NExpTime中。 Zbl 1392.68292号 沃伊切赫,切尔文斯基;彼得·扬查尔 三 2015 关于状态向量加法系统上的可达性相关对策。 Zbl 1471.68166号 彼得·扬查尔 1 2015 下推系统的等效性很难实现。 Zbl 1407.68258号 彼得·扬查尔 7 2014 一阶文法的互模拟等价性。 Zbl 1410.68192号 彼得·扬查尔 4 2014 概率下推自动机的语言等价性。 Zbl 1360.68556号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 4 2014 实时单计数器自动机的互模拟等价性和正则性。 Zbl 1285.68079号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2014 确定性单计数器自动机的等价性是NL-完全的。 Zbl 1293.68181号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·詹卡尔 10 2013 基本进程代数上的双相似性在2-ExpTime中(一个显式证明)。 Zbl 1260.68269号 彼得·扬查尔 6 2013 DPDA语言等价性的一阶文法判定。 Zbl 1360.68561号 彼得·扬克 三 2012 概率下推自动机的双相似性。 Zbl 1354.68152号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2012 可以测试单向通道系统。 Zbl 1362.68174号 彼得·扬查尔;普拉蒂克,卡兰迪卡尔;菲利普·施诺贝伦 1 2012 带状态的扩展向量加法系统上的可达性对策。 Zbl 1288.68179号 托马斯·布拉兹迪尔;彼得·扬查尔;安东·库切拉 18 2010 基本并行过程上的不相交互模拟等价。 Zbl 1185.68444号 西比尔·弗罗斯科尔;彼得·扬查尔;斯拉沃米尔拉索塔;Zdeněk萨瓦 7 2010 单计数器进程的双相似性是PSPACE-完全的。 Zbl 1287.68122号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2010 组合有限状态系统等价性检查的困难。 Zbl 1166.68018号 Zdeněk萨瓦;彼得·扬查尔 2 2009 防守者的逼迫无法决定是否存在双重相似性。 Zbl 1326.68199号 彼得·扬查尔;吉·斯尔巴 9 2008 重新审视了正常BPA和正常BPP。 Zbl 1160.68468号 彼得·扬查尔;马丁·科特;Zdeněk萨瓦 三 2008 用于确定和不确定双相似性的选定思想。 Zbl 1161.68621号 彼得·扬查尔 1 2008 Petri网可达性问题的Bouziane变换及相关算法的不正确性。 Zbl 1178.68365号 彼得·扬查尔 1 2008 重启自动机的单调性。 Zbl 1149.68052号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 13 2007 关于有限自动机与单字母字母交替的空性的注记。 Zbl 1184.68317号 彼得·扬查尔;Zdeněk萨瓦 9 2007 无限状态系统的等价性检查:技术和结果。 Zbl 1101.68700号 安东·库切拉;彼得·扬查尔 9 2006 有限状态系统上的行为等价很难实现。 Zbl 1109.68052号 Zdeněk萨瓦;彼得·扬查尔 6 2005 确定标记图的STG分解。 Zbl 1128.68385号 马克·施费尔;沃尔特·福格勒;彼得·扬查尔 2 2005 单计数器自动机等价性检查和模型检查的DP下界。 Zbl 1078.68087号 彼得·扬查尔;安东·库切拉;法隆·莫勒;Zdeněk萨瓦 6 2004 确定BPA和BPP流程之间的相似性。 Zbl 1274.68236号 彼得·扬查尔;安东·库切拉;莫勒,法伦 三 2003 用单计数器自动机进行等价性检查:证明下限的通用方法。 Zbl 1077.68653号 彼得·扬查尔;安东·库切拉;法隆·莫勒;Zdeněk萨瓦 三 2002 无限状态系统的等效性检查:技术和结果。 Zbl 1278.68218号 安东·库切拉;彼得·扬查尔 2 2002 确定有限状态过程的类互模拟等价。 Zbl 0974.68131号 Jančar,P。;库切拉,A。;R·迈尔。 17 2001 Petri网等价的非本原递归复杂性和不可判定性。 Zbl 0974.68130号 詹查尔,P。 5 2001 P-有限状态过程等价性测试的硬度。 Zbl 1052.68093号 兹德内克·萨瓦;彼得·扬查尔 2 2001 单计数器进程上的模拟和互模拟。 兹伯利0962.68121 彼得·扬查尔;安东·库切拉;法隆·莫勒 7 2000 单计数器过程的双相似性的判定。 Zbl 1046.68621号 彼得·扬查尔 5 2000 关于带重启操作的单调自动机。 Zbl 0942.68064号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 33 1999 重置P/T网的有界性。 Zbl 0943.68122号 C.杜福尔德。;詹科尔,P。;Schnoebelen博士。 13 1999 Petri网和常规过程。 Zbl 0958.68121号 彼得·扬查尔;哈维尔·埃斯帕尔扎;法隆·莫勒 12 1999 关于幂集的良好拟序的注记。 Zbl 0998.06002号 彼得·扬查尔 9 1999 单计数器机器的模拟问题。 Zbl 0963.68094号 彼得·扬查尔;法隆·莫勒;萨瓦,兹登斯克 7 1999 双相似性的可判定性和不可判定性技术。 Zbl 0940.68087号 彼得·扬查尔;法隆·莫勒 6 1999 重启自动机的不同类型的单调性。 Zbl 1499.68182号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 2 1998 双模拟等价性对于一个计数器过程是可判定的。 Zbl 1401.68229号 彼得·扬查尔 4 1997 决定Petri网到互模拟的有限性。 Zbl 1046.68622号 彼得·扬查尔;哈维尔·埃斯帕尔扎 9 1996 重启自动机、马库斯语法和无上下文语言。 Zbl 1096.68658号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;马丁·普鲁查斯卡;约格·沃格尔 6 1996 忘记自动机和上下文无关语言。 Zbl 0849.68081号 彼得·扬查尔;František先生;马丁·普拉特克 1 1996 Petri网的双相似性的不可判定性及相关问题。 Zbl 0873.68147号 彼得·扬查尔 35 1995 正在重新启动自动机。 Zbl 1508.68194号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 30 1995 Petri网弱相似性的高不可判定性。 Zbl 1496.68229号 彼得·扬查尔 5 1995 所有基于行动的行为等价物对于标记的Petri网都是不可判定的。 Zbl 1026.68572号 彼得·扬查尔 1 1995 Petri网双相似性的判定问题及相关问题。 Zbl 0941.68644号 彼得·扬查尔 17 1994 遗忘自动机的分类。 Zbl 0925.68320号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克 7 1993 单路径Petri网的完备性结果。 Zbl 0786.68075号 Rodney R.豪厄尔。;彼得·扬查尔;路易斯·罗西尔(Louis E.Rosier)。 三 1993 非确定性遗忘自动机不如确定性线性有界自动机强大。 Zbl 0853.68118号 彼得·扬查尔 2 1993 通过擦除自动机描述无上下文语言。 Zbl 1494.68140号 彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克 2 1992 Petri网的一个时间逻辑问题的可判定性。 Zbl 0701.68081号 彼得·扬查尔 13 1990 Petri网某些动态性质的判定问题。(论文摘要)。 Zbl 0682.68076号 詹查尔,P。 1 1989 Petri网中弱公平性的判定。 Zbl 1492.68096号 彼得·扬查尔 1 1989 所有引用出版物 排名前五的出版物 全部的 前5名291位作者引用 45 弗里德里希·奥托 26 彼得·扬查尔 21 František先生 12 马丁·普拉特克 10 理查德·梅尔(Richard M.Mayr)。 9 安东尼·库塞拉 8 吉·斯尔巴 7 罗伯托·戈里埃里 7 萨沃米尔·拉索塔 7 菲利普·施诺贝伦 6 沃伊切赫,切尔文斯基 6 斯特凡·德姆里。 6 彼得·霍夫曼 6 法隆·莫勒 6 Zdeněk萨瓦 6 王启超 5 阿兰·芬克尔 5 托马斯·尤尔津斯基 5 马丁·库特里布 5 金·古德斯特兰·拉森 4 帕罗什·阿齐兹·阿卜杜拉 4 哈维尔·埃斯帕尔扎 4 斯特凡·格勒 4 诺伯特·亨德斯哈根 4 贝内德克·纳吉 4 雷诺·尼斯卡宁 4 伊戈尔·波塔波夫 4 西尔万·施密茨 4 帕特里克·托茨克 4 范德阿尔斯特。 4 Yen、Hsuchun 三 劳伦特·多恩 三 Fröschle,Sibylle B。 三 维萨·哈拉瓦 三 Rodney R.豪厄尔。 三 本特·琼森 三 斯特凡·基弗 三 罗兰·梅耶 三 M·普拉文。 三 Jean-François拉斯金 三 斯特雷切克,简 三 阿瑟·霍夫斯泰德。 三 H.M.W.韦贝克。 三 谢尔盖·弗兰 三 马蒂亚斯·温德兰特 三 詹姆斯·沃雷尔。 三 韦恩、莫·桑达尔 2 娜塔莎·亚历奇纳 2 保罗·巴尔丹 2 弗拉基米尔·巴什金。 2 尼古拉·贝内什 2 艾哈迈德·布瓦贾尼 2 马里奥·布拉维蒂 2 马尔科·卡博尼 2 卡利斯·采拉人 2 皮埃尔·香巴特 2 克里希南德·查特吉 2 德米特里五世·奇斯蒂科夫。 2 斯齐拉德·兹索尔特·法泽卡斯 2 迭戈·菲格拉 2 Forejt,Vojtěch公司 2 让·古鲍特·拉雷克 2 革兰氏菌,Radu 2 克里斯托夫·哈斯 2 西蒙·哈尔丰 2 特罗·哈尔朱 2 约拉姆·赫什菲尔德 2 霍尔泽,马库斯 2 黄明章 2 塞尔吉·伊万诺夫 2 施孙健 2 Juhl,线路 2 普拉蒂克,卡兰迪卡尔 2 Joost-Pieter卡托恩 2 马丁·科特 2 简·Křetínsk 2 莫西尔·Křetínsk \345] 2 肯特·奎 2 伊万·拉内斯 2 朱利安·兰格 2 老挝,塔邦 2 兰科·拉齐奇 2 杰罗姆·勒鲁 2 布赖恩·洛根 2 丹尼斯·卢吉兹 2 哈特穆特Messerschmidt 2 安德烈亚·莫迪多 2 塞巴斯蒂安·马斯卡拉 2 Polyvyany,Artem公司 2 艾哈克,沃伊特 2 费尔南多·罗莎·维拉尔多 2 路易斯·罗西尔(Louis E.Rosier)。 2 普拉卡什·塞瓦桑 2 阿诺德·桑尼尔 2 塞尼泽格斯,热罗 2 伯恩哈德·斯特芬 2 科林·斯特林 2 格雷戈伊尔·萨特雷 2 Vascoconcelos、Vasco Thudichum 2 沃尔特·福格勒 …还有191位作者 全部的 前5名29篇连载文章中引用 54 理论计算机科学 29 信息与计算 17 信息学报 9 计算机与系统科学杂志 9 计算机科学中的逻辑方法 7 信息处理信件 7 计算系统理论 6 计算机基础理论 5 RAIRO公司。理论信息学及其应用 4 自动机、语言和组合数学杂志 三 俄斯特拉维大学数学与信息学报 三 RAIRO公司。理论信息学及其应用 2 信息科学 2 系统设计中的形式化方法 1 人工智能 1 代数普遍性 1 数学座谈会 1 组合理论杂志。B系列 1 计算机程序设计科学 1 符号计算杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 离散事件动态系统 1 数学逻辑档案 1 软计算 1 自然计算 1 ACM计算逻辑事务 1 ACM计算理论汇刊 1 信息分析系统模型 全部的 前5名在8个字段中引用 249 计算机科学(68至XX) 35 数学逻辑和基础(03-XX) 17 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 阶、格、有序代数结构(06-XX) 2 组合数学(05-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 1 一般拓扑结构(54至XX) 按年份列出的引文