编辑配置文件（在新选项卡中打开） 萨沃米尔·拉索塔 合著者距离 作者ID： 拉索塔·斯拉沃米尔 发布日期： 萨沃米尔·拉索塔；斯拉沃米尔拉索塔 已编制索引的文档： 71出版物自1998年以来 5名编辑的贡献 合著者： 46位合著者具有63联合出版物 967合著作者 全部的 前5名合著者 13 单作者的 17 沃伊切赫，切尔文斯基 11 彼得·霍夫曼 10 洛伦佐·克莱门特 8 Mikołaj博扬奇克 8 巴托克·克林 7 Fröschle，Sibylle B。 7 兰科·拉齐奇 5 杰罗姆·勒鲁 5 菲利普·马佐维耶基 5 拉多斯·瓦·皮奥科夫斯基 5 西门托伦奇克 三 让·古鲍特·拉雷克 三 大卫·E·诺瓦克。 三 乔安娜·奥奇里米亚克 三 帕特里克·托茨克 2 迭戈·菲格拉 2 理查德·梅尔（Richard M.Mayr）。 2 查尔斯·帕普曼 2 伊戈尔·波塔波夫 2 伊戈尔·瓦卢基维奇 1 劳伦特·布劳德 1 托马斯·布里海耶 1 迪茨费尔宾格，马丁 1 苏珊娜·多纳泰利 1 马提亚斯·恩格尔 1 安娜·甘宾 1 斯特凡·哈尔 1 克里斯托夫·哈斯 1 彼得·扬查尔 1 里扎德·贾尼基 1 卡迪耶·凯什瓦尔杜斯特 1 克里斯托夫·Löding 1 罗兰·迈耶 1 安卡·穆斯科尔 1 塞巴斯蒂安·穆斯卡拉 1 库马尔·纳拉扬。 1 乔尔·欧·瓦克宁。 1 莫尼什·帕塔图拉扬 1 马钦·波图拉尔斯基 1 沃伊切赫·莱特 1 普拉卡什·塞瓦桑 1 Zdeněk萨瓦 1 西尔万·施密茨 1 纳塔利亚·西多罗娃 1 朱利叶斯·斯特拉辛斯基 1 张瑜 全部的 前5名系列 7 计算机科学中的逻辑方法 4 理论计算机科学 4 信息与计算 三 信息处理信件 三 计算机基础理论 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑汇刊 1 计算机与系统科学杂志 1 计算系统理论 1 美国计算机学会期刊 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 70 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 1 一般代数系统（08-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 60出版物有被引用333中的次227份文件 引用人▼ 年份▼ 名义集合中的自动机理论。 Zbl 1338.68140号 Mikołaj博扬奇克；巴托克·克林；萨沃米尔·拉索塔 45 2014 Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 30 2019 朝向标称计算。 Zbl 1321.68139号 米科拉伊·博扬奇克；劳伦特·布劳德；巴托克·克林；斯拉沃米尔·拉索塔 16 2012 交替定时自动机。 Zbl 1367.68172号 斯拉沃米尔·拉索塔；伊戈尔·瓦卢基维奇 14 2008 一元类型的逻辑关系。 Zbl 1156.03014号 让·古鲍特·拉雷克；萨沃米尔·拉索塔；大卫·诺瓦克 13 2008 带原子的图灵机器。 Zbl 1367.68098号 米科拉伊·博扬茨克（Mikolaj Bojánczyk）；巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 13 2013 带数据Petri网的可判定边界：WQO二分法猜想。 Zbl 1346.68137号 萨沃米尔·拉索塔 11 2016 重新访问定时下推自动装置。 Zbl 1401.68157号 洛伦佐·克莱门特；萨沃米尔·拉索塔 10 2015 规范化过程、唯一分解和互模拟等价的复杂性。 Zbl 1347.68264号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 8 2009 Petri网的可达性问题不是基本的。 兹比尔1499.68222 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 7 2021 赋范无上下文过程互模拟等价的快速算法。 Zbl 1132.68498号 萨沃米尔·拉索塔；沃伊切赫·莱特 7 2006 基本并行过程上的不相交互模拟等价。 Zbl 1185.68444号 西比尔·弗罗斯科尔；彼得·扬查尔；斯拉沃米尔·拉索塔；Zdeněk萨瓦 7 2010 交替定时自动机。 Zbl 1119.68109号 萨沃米尔·拉索塔；伊戈尔·瓦卢基维奇 7 2005 一个计数器自动机的规则可分性。 Zbl 1457.68141号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 7 2017 基本并行过程性能等价性的决定。 Zbl 1099.68070号 萨沃米尔·拉索塔 6 2006 Parikh自动机的正则可分性。 Zbl 1442.68088号 洛伦佐·克莱门特；沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；查尔斯·帕普曼 6 2017 单计数器网络上的模拟问题。 Zbl 1448.68342号 彼得·霍夫曼；斯拉沃米尔·拉索塔；Richard迈尔；帕特里克·托茨克 6 2016 无序数据Petri网的可覆盖树。 Zbl 1475.68208号 彼得·霍夫曼；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；西尔万·施密茨；帕特里克·托茨克 6 2016 确定基本并行进程真正并发等价性的多项式时间算法。 Zbl 1124.68392号 萨沃米尔·拉索塔 6 2003 BPP上遗传历史保持互模拟的分解和复杂性。 Zbl 1134.68434号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 5 2005 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 时间语言的机器相关特性。 Zbl 1367.68159号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 规范无上下文过程的快速等价性检查。 Zbl 1245.68134号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 5 2010 一阶可定义下推系统的可达性分析。 Zbl 1373.68280号 洛伦佐·克莱门特；斯拉沃米尔·拉索塔 5 2015 关联定时自动机和寄存器自动机。 Zbl 1362.68138号 迭戈·菲格拉；彼得·霍夫曼；萨沃米尔·拉索塔 5 2016 带原子的图灵机、约束满足问题和描述复杂性。 Zbl 1401.68079号 巴托克·克林；萨沃米尔·拉索塔；乔安娜·奥奇里米亚克；西门托伦奇克 5 2014 一阶可定义结构的同态问题。 Zbl 1434.03093号 巴托克·克林；斯拉沃米尔·拉索塔；乔安娜·奥奇里米亚克；斯兹蒙·托伦茨克 5 2016 结构良好的过渡系统的规则可分性。 兹比尔1520.68092 沃伊切赫，切尔文斯基；斯拉沃米尔·拉索塔；罗兰·迈耶；塞巴斯蒂安·穆斯卡拉；库马尔·纳拉扬。；普拉卡什·赛瓦桑 5 2018 一元类型的逻辑关系。 Zbl 1021.03003号 让·古鲍特·拉雷克；斯拉沃米尔·拉索塔；大卫·诺瓦克 4 2002 余代数形态包含开放映射。 Zbl 1014.68106号 萨沃米尔·拉索塔 4 2002 通过量词消去和循环序原子实现定时下推自动机的二进制可达性。 Zbl 1499.68169号 洛伦佐·克莱门特；斯拉沃米尔·拉索塔 4 2018 定时BPP强双相似性的可判定性。 Zbl 1012.68126号 萨沃米尔·拉索塔 三 2002 非循环下推VAS中覆盖性问题的下限。 Zbl 1509.68097号 马提亚斯·恩格尔；彼得·霍夫曼；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；朱利叶斯·斯特拉辛斯基 三 2021 定时下推自动机和分支向量加法系统。 Zbl 1457.68140号 洛伦佐·克莱门特；萨沃米尔·拉索塔；兰科·拉齐奇；菲利普·马佐维耶基 三 2017 单计数器网络上的模拟是PSPACE完成的。 Zbl 1359.68223号 彼得·霍夫曼；斯拉沃米尔·拉索塔；Richard迈尔；帕特里克·托茨克 三 2013 向量加法系统可达集的可分性。 Zbl 1402.68132号 洛伦佐·克莱门特；沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；查尔斯·帕普曼 三 2017 单时钟时间自动机的可确定性。 Zbl 07559498号 洛伦佐·克莱门特；萨沃米尔·拉索塔；拉多斯·瓦·皮奥科夫斯基 三 2020 余代数形态包含开放映射。 Zbl 0918.68022号 斯拉沃米尔·拉索塔 2 1999 3-图的WQO二分法。 Zbl 1496.68233号 萨沃米尔·拉索塔；拉多斯·瓦·皮奥科夫斯基 2 2018 弱多推自动机的可达性问题。 Zbl 1364.68247号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2012 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1343.68164号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2011 关联定时自动机和寄存器自动机。 Zbl 1455.68089号 迭戈·菲格拉；彼得·霍夫曼；萨沃米尔·拉索塔 2 2010 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1319.68147号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2014 因果关系与真实一致性。 Zbl 1143.68052号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 2 2007 具有有序数据的线性方程组。 Zbl 1520.68094号 彼得·霍夫曼；斯拉沃米尔拉索塔 2 2018 具有状态的定维向量加法系统的可达性。 Zbl 07559504号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 2 2020 二维VASS的新泵送技术。 Zbl 07561706号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；克里斯托夫·Löding；拉多斯·瓦·皮奥科夫斯基 2 2019 对于数据语言来说，不确定性和共不确定性意味着确定性。 Zbl 07410434号 巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 1 2021 加密lambda-calculi的完全松散逻辑关系。 邮编1095.03009 让·古鲍特·拉雷克；萨沃米尔·拉索塔；大卫·诺瓦克；张瑜 1 2004 弱双相似性和开放映射。 Zbl 0936.68070号 萨沃米尔·拉索塔 1 1998 具有非齐次原子的Fraenkel-Mostowski集合。 Zbl 1311.03058号 Mikołaj博扬奇克；萨沃米尔·拉索塔 1 2012 弱多推自动机的可达性问题。 Zbl 1274.68156号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 1 2013 部分交换的上下文无关过程。 Zbl 1254.68164号 沃伊切赫，切尔文斯基；西比尔·弗罗斯科尔；萨沃米尔·拉索塔 1 2009 时间寄存器下推自动机和分支向量加法系统的二进制可达性。 Zbl 1433.68194号 洛伦佐·克莱门特；萨沃米尔·拉索塔；兰科·拉齐奇；菲利普·马佐维耶基 1 2019 部分交换的上下文无关语言。 Zbl 1459.68099号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 1 2012 定时下推自动机的可达性关系。 Zbl 1484.68079号 洛伦佐·克莱门特；萨沃米尔·拉索塔 1 2021 一个计数器自动机的规则可分性。 Zbl 1440.68154号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 1 2019 开放地图是代数观测等价性和双相似性之间的桥梁。 Zbl 0903.08008号 萨沃米尔·拉索塔 1 1998 EXPSPACE无通信Petri网和有限状态系统之间模拟预序的下界。 Zbl 1205.68246号 萨沃米尔·拉索塔 1 2009 可达性问题。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。 Zbl 1371.68004号 1 2015 Petri网的可达性问题不是基本的。 Zbl 1499.68222号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 7 2021 非循环下推VAS中覆盖性问题的下限。 Zbl 1509.68097号 马提亚斯·恩格尔；彼得·霍夫曼；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；朱利叶斯·斯特拉辛斯基 三 2021 对于数据语言来说，不确定性和共不确定性意味着确定性。 兹伯利07410434 巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 1 2021 定时下推自动机的可达性关系。 Zbl 1484.68079号 洛伦佐·克莱门特；萨沃米尔·拉索塔 1 2021 单时钟时间自动机的可确定性。 Zbl 07559498号 洛伦佐·克莱门特；萨沃米尔·拉索塔；拉多斯·瓦·皮奥科夫斯基 三 2020 具有状态的定维向量加法系统的可达性。 Zbl 07559504号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 2 2020 Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；菲利普·马佐维耶基 30 2019 二维VASS的新泵送技术。 Zbl 07561706号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；克里斯托夫·Löding；拉多斯·瓦·皮奥科夫斯基 2 2019 时间寄存器下推自动机和分支向量加法系统的二进制可达性。 Zbl 1433.68194号 洛伦佐·克莱门特；萨沃米尔·拉索塔；兰科·拉齐奇；菲利普·马佐维耶基 1 2019 一个计数器自动机的正则可分离性。 Zbl 1440.68154号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 1 2019 结构良好的过渡系统的规则可分性。 兹比尔1520.68092 沃伊切赫，切尔文斯基；斯拉沃米尔·拉索塔；罗兰·迈耶；塞巴斯蒂安·穆斯卡拉；库马尔·纳拉扬。；普拉卡什·塞瓦桑 5 2018 通过量词消去和循环序原子实现定时下推自动机的二进制可达性。 Zbl 1499.68169号 洛伦佐·克莱门特；斯拉沃米尔·拉索塔 4 2018 3-图的WQO二分法。 Zbl 1496.68233号 萨沃米尔·拉索塔；拉多斯·瓦·皮奥科夫斯基 2 2018 具有有序数据的线性方程组。 Zbl 1520.68094号 彼得·霍夫曼；斯拉沃米尔·拉索塔 2 2018 一个计数器自动机的规则可分性。 Zbl 1457.68141号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 7 2017 Parikh自动机的正则可分性。 Zbl 1442.68088号 洛伦佐·克莱门特；沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；查尔斯·帕普曼 6 2017 定时下推自动机和分支向量加法系统。 Zbl 1457.68140号 洛伦佐·克莱门特；萨沃米尔·拉索塔；兰科·拉齐奇；菲利普·马佐维耶基 三 2017 向量加法系统可达集的可分性。 Zbl 1402.68132号 洛伦佐·克莱门特；沃伊切赫，切尔文斯基；萨沃米尔·拉索塔；查尔斯·帕普曼 三 2017 带数据Petri网的可判定边界：WQO二分法猜想。 Zbl 1346.68137号 萨沃米尔·拉索塔 11 2016 单计数器网络上的模拟问题。 Zbl 1448.68342号 彼得·霍夫曼；斯拉沃米尔·拉索塔；Richard迈尔；帕特里克·托茨克 6 2016 无序数据Petri网的可覆盖树。 Zbl 1475.68208号 彼得·霍夫曼；萨沃米尔·拉索塔；兰科·拉齐奇；杰罗姆·勒鲁；西尔万·施密茨；帕特里克·托茨克 6 2016 关联定时自动机和寄存器自动机。 Zbl 1362.68138号 迭戈·菲格拉；彼得·霍夫曼；萨沃米尔·拉索塔 5 2016 一阶可定义结构的同态问题。 Zbl 1434.03093号 巴托克·克林；斯拉沃米尔·拉索塔；乔安娜·奥奇里米亚克；西蒙·托伦奇克 5 2016 重新访问定时下推自动装置。 Zbl 1401.68157号 洛伦佐·克莱门特；萨沃米尔·拉索塔 10 2015 一阶可定义下推系统的可达性分析。 Zbl 1373.68280号 洛伦佐·克莱门特；斯拉沃米尔·拉索塔 5 2015 可达性问题。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。 Zbl 1371.68004号 1 2015 名义集合中的自动机理论。 Zbl 1338.68140号 Mikołaj博扬奇克；巴托克·克林；萨沃米尔·拉索塔 45 2014 带原子的图灵机、约束满足问题和描述复杂性。 Zbl 1401.68079号 巴托克·克林；萨沃米尔·拉索塔；乔安娜·奥奇里米亚克；西门托伦奇克 5 2014 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1319.68147号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2014 带原子的图灵机器。 Zbl 1367.68098号 米科拉伊·博扬茨克（Mikolaj Bojánczyk）；巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 13 2013 单计数器网络上的模拟是PSPACE完成的。 Zbl 1359.68223号 彼得·霍夫曼；斯拉沃米尔·拉索塔；Richard迈尔；帕特里克·托茨克 三 2013 弱多推自动机的可达性问题。 Zbl 1274.68156号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 1 2013 朝向标称计算。 Zbl 1321.68139号 米科拉伊·博扬奇克；劳伦特·布劳德；巴托克·克林；斯拉沃米尔·拉索塔 16 2012 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 时间语言的机器相关特性。 Zbl 1367.68159号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 弱多推自动机的可达性问题。 Zbl 1364.68247号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2012 具有非均匀原子的Fraenkel-Mostowski集。 Zbl 1311.03058号 Mikołaj博扬奇克；萨沃米尔·拉索塔 1 2012 部分交换的上下文无关语言。 兹比尔1459.68099 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 1 2012 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1343.68164号 沃伊切赫，切尔文斯基；彼得·霍夫曼；萨沃米尔·拉索塔 2 2011 基本并行过程上的不相交互模拟等价。 Zbl 1185.68444号 西比尔·弗罗斯科尔；彼得·扬查尔；斯拉沃米尔·拉索塔；Zdeněk萨瓦 7 2010 规范无上下文过程的快速等价性检查。 Zbl 1245.68134号 沃伊切赫，切尔文斯基；萨沃米尔·拉索塔 5 2010 关联定时自动机和寄存器自动机。 Zbl 1455.68089号 迭戈·菲格拉；彼得·霍夫曼；萨沃米尔·拉索塔 2 2010 规范化过程、唯一分解和互模拟等价的复杂性。 Zbl 1347.68264号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 8 2009 部分交换的上下文无关过程。 兹比尔1254.68164 沃伊切赫，切尔文斯基；西比尔·弗罗斯科尔；萨沃米尔·拉索塔 1 2009 EXPSPACE无通信Petri网和有限状态系统之间模拟预序的下界。 Zbl 1205.68246号 萨沃米尔·拉索塔 1 2009 交替定时自动机。 Zbl 1367.68172号 斯拉沃米尔·拉索塔；伊戈尔·瓦卢基维奇 14 2008 一元类型的逻辑关系。 Zbl 1156.03014号 让·古鲍特·拉雷克；萨沃米尔·拉索塔；大卫·诺瓦克 13 2008 因果关系与真实一致性。 Zbl 1143.68052号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 2 2007 赋范无上下文过程互模拟等价的快速算法。 Zbl 1132.68498号 萨沃米尔·拉索塔；沃伊切赫·莱特 7 2006 基本并行过程性能等价性的决定。 Zbl 1099.68070号 萨沃米尔·拉索塔 6 2006 交替定时自动机。 Zbl 1119.68109号 萨沃米尔·拉索塔；伊戈尔·瓦卢基维奇 7 2005 BPP上遗传历史保持互模拟的分解和复杂性。 Zbl 1134.68434号 西比尔·弗罗斯科尔；萨沃米尔·拉索塔 5 2005 加密lambda-calculi的完全松散逻辑关系。 邮编1095.03009 让·古鲍特·拉雷克；萨沃米尔·拉索塔；大卫·诺瓦克；张瑜 1 2004 确定基本并行进程真正并发等价性的多项式时间算法。 Zbl 1124.68392号 萨沃米尔·拉索塔 6 2003 一元类型的逻辑关系。 Zbl 1021.03003号 让·古鲍特·拉雷克；斯拉沃米尔·拉索塔；大卫·诺瓦克 4 2002 余代数形态包含开放映射。 Zbl 1014.68106号 萨沃米尔·拉索塔 4 2002 定时BPP强双相似性的判定。 Zbl 1012.68126号 萨沃米尔·拉索塔 三 2002 余代数形态包含开放映射。 Zbl 0918.68022号 斯拉沃米尔·拉索塔 2 1999 弱相似性和开放地图。 Zbl 0936.68070号 萨沃米尔·拉索塔 1 1998 开放地图是代数观测等价性和双相似性之间的桥梁。 Zbl 0903.08008号 萨沃米尔·拉索塔 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名301位作者引用 26 萨沃米尔·拉索塔 13 彼得·霍夫曼 10 沃伊切赫，切尔文斯基 10 彼得·扬查尔 8 哈维尔·埃斯帕尔扎 7 迈克尔·布隆丁 7 杰罗姆·勒鲁 7 斯特凡·米利厄斯 7 詹姆斯·沃雷尔。 6 洛伦佐·克莱门特 6 Fröschle，Sibylle B。 6 胜本，Shin-ya 6 菲利普·马佐维耶基 6 菲利普·施诺贝伦 5 斯特凡·基弗 5 桑卡拉·纳拉亚南·克里希纳 5 卡琳·夸斯 5 帕特里克·托茨克 4 贝内迪克特·博利格 4 帕特里夏·鲍耶 4 阿兰·芬克尔 4 默多克·詹姆斯·加贝 4 罗伯托·戈里埃里 4 卡迪耶·凯什瓦尔杜斯特 4 巴托克·克林 4 兰科·拉齐奇 4 马尔科·蒙塔利 4 乔尔·欧·瓦克宁。 4 拉多斯·瓦·皮奥科夫斯基 4 马蒂奥·桑马蒂诺 4 Zdeněk萨瓦 4 亚历山德拉·席尔瓦 4 托尔斯滕·维曼 三 阿克西，S。 三 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 曼纽尔·博迪尔斯基 三 皮埃尔·香巴特 三 克里希南德·查特吉 三 乌戈·达尔拉戈 三 杰雷米·杜布特 三 保罗·加斯丁 三 弗朗西斯科·加瓦佐 三 斯特凡·贾克斯 三 德克斯特·C·科赞。 三 约书亚·莫尔曼 三 安托万·莫特特 三 菲利普·奥特马特 三 米哈伊尔·拉斯金 三 皮埃尔·阿莱·雷尼尔 三 安德烈·里夫金 三 朱里安·罗特 三 阿诺德·桑尼尔 三 佐藤，铁杉 三 卢茨·施罗德 三 弘久世奇（Hiroyuki Seki） 三 Yoshiaki高田 三 尼科斯·齐夫列科斯 三 乔治·泽采 2 帕罗什·阿齐兹·阿卜杜拉 2 亚历杭德罗·阿吉雷 2 沙乌尔·阿尔马戈 2 Franz巴德 2 帕瓦内·巴巴里 2 劳拉·博泽利 2 托马斯·布拉兹迪尔 2 贝内迪克特·布吕奇 2 维伦达·戴夫 2 西蒙·迪尔 2 曼弗雷德·德罗斯特 2 莱奥·埃克巴德 2 迭戈·菲格拉 2 艾曼纽·菲利奥特 2 丹尼尔·戈拉 2 拉杜·格里戈尔 2 谢尔盖，哈达德 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 克劳迪奥·赫米达 2 福尔克·豪尔 2 马丁·科特 2 安东尼·库塞拉 2 奥尔纳·库普弗曼 2 巴斯·卢提克 2 莫伊根·马哈茂迪 2 康斯坦蒂诺斯·马穆拉斯 2 尼古拉斯·马基 2 阿尼埃洛·穆拉诺 2 安德烈·穆拉夫斯基。 2 库马尔·纳拉扬。 2 奥托普，简 2 帕里托什·K·潘迪亚。 2 维塔利·佩雷沃什奇科夫 2 吉列尔莫·佩雷斯。 2 阿德里亚诺·佩隆 2 Daniela Luan Petrisan 2 Micha Pilipczuk 2 Polyvyany，Artem公司 2 美国雷迪。 2 Edmund P.罗宾逊。 2 雅库布·里德瓦尔 2 普拉卡什·塞瓦桑 …还有201位作者 全部的 前5名36篇连载文章中引用 20 计算机科学中的逻辑方法 18 理论计算机科学 13 信息与计算 7 MSCS公司。计算机科学中的数学结构 6 计算系统理论 6 计算机基础理论 5 计算机与系统科学杂志 5 程序设计中的逻辑和代数方法杂志 4 信息学报 4 信息处理信件 三 计算的形式方面 2 算法 2 分布式计算 2 ACM计算逻辑汇刊 1 人工智能 1 卡罗莱纳大学数学评论 1 信息科学 1 纯粹与应用代数杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 软计算 1 美国计算机学会期刊 1 群论杂志 1 计算机语言、系统和结构 1 对离散数学的贡献 1 离散数学、算法和应用 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 1 公理 1 计算机科学评论 1 ACM计算理论汇刊 1 Modelirovanie i Analiz信息系统 1 范畴和一般代数结构及其应用 全部的 前5名17个领域引用 215 计算机科学（68至XX） 64 数学逻辑和基础（03-XX） 13 范畴理论；同调代数（18-XX） 6 群论与推广（20-XX） 4 概率论与随机过程（60-XX） 三 阶、格、有序代数结构（06-XX） 2 组合数学（05-XX） 2 一般代数系统（08-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 \（K\）理论（19-XX） 1 拓扑群、李群（22日至XX日） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文