编辑配置文件(在新选项卡中打开) 杰罗姆·勒鲁 合著者距离 作者ID: 勒罗克斯·杰罗姆 发布日期: 杰罗姆·勒鲁;杰罗姆·勒鲁;杰罗姆·勒鲁;J.勒鲁。 更多。。。较少的 主页: https://www.labri.fr/perso/leroux网站/ 外部链接: 谷歌学者·数据库许可证·ID参考·论文.fr 编入索引的文档: 64出版物自2002年起 4作为编辑的贡献 合著者: 46位合著者具有52联合出版物 1154名合作作者 全部的 前5名合著者 16 单作者的 21 格雷戈伊尔·萨特雷 11 阿兰·芬克尔 6 兰科·拉齐奇 5 萨沃米尔·拉索塔 4 哈维尔·埃斯帕尔扎 4 菲利普·马佐维耶基 4 帕特里克·托茨克 三 沃伊切赫,切尔文斯基 三 皮埃尔·甘蒂 三 彼得·霍夫曼 三 鲁帕克·马朱姆达尔 三 M·普拉文。 三 西尔万·施密茨 三 菲利普·施诺贝伦 三 马克·泽顿 2 塞巴斯蒂安·巴丁 2 雷米发动机盖 2 托马斯·杰夫罗伊 2 亚历山大·休纳 2 彼得·扬查尔 2 安卡·穆斯科尔 2 文森特·佩内尔 2 伊戈尔·波塔波夫 2 菲利普·吕默 1 帕罗什·阿齐兹·阿卜杜拉 1 伯纳德·博伊格洛特 1 朱利安·布鲁斯滕 1 尼古拉斯·卡尼亚特 1 菲利普·泽纳 1 斯特凡·德姆里。 1 马蒂亚斯·恩格尔特 1 迭戈·菲格拉 1 伊曼纽尔·弗勒里 1 托马斯·马丁·高利察 1 丹尼尔·科宁 1 安东尼·库塞拉 1 西尔万·伦巴第 1 大卫·佩勒 1 盖拉尔·波因特 1 Jean-François拉斯金 1 Reineke,一月 1 赫尔穆特·塞德尔 1 朱利叶斯·斯特拉辛斯基 1 Subotic,铺面 1 多米尼克·维兰 1 莱因哈德·威廉 全部的 前5名系列 5 计算机科学中的逻辑方法 2 信息学报 2 信息处理信件 2 理论计算机科学 2 计算机基础理论 1 分布式计算 1 美国医学会杂志 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 67 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 55出版物有被引用371中的次216文件 引用人▼ 年份▼ 如何编写Presburger加速:广播协议的应用程序。 兹比尔1027.68616 阿兰·芬克尔;杰罗姆·勒鲁 37 2002 向量加法系统可达性的解密。 Zbl 1392.68308号 杰罗姆·勒鲁;西尔万·施密茨 30 2015 Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 30 2019 几乎到处都是平面计数器自动机! Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 22 2005 人口协议的验证。 Zbl 1364.68081号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 21 2017 符号模型检查中的平加速度。 Zbl 1170.68507号 塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁;菲利普·施诺贝伦 19 2005 向量加法系统可达性问题,一个简短的自包含证明。 兹比尔1284.68429 杰罗姆·勒鲁 14 2011 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 13 2004 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 13 2012 关于一维下推向量加法系统的覆盖性问题。 Zbl 1440.68177号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 10 2015 下推向量加法系统的超阿克曼界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 加速数据流分析。 Zbl 1211.68093号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 普雷斯伯格矢量加法系统。 Zbl 1366.68209号 杰罗姆·勒鲁 8 2013 人口协议的验证。 兹比尔1374.68326 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 8 2015 Petri网的可达性问题不是基本的。 Zbl 1499.68222号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 7 2021 将Semenov定理推广到实数上的自动机。 Zbl 1250.03061号 伯纳德·博伊格洛特;朱利安·布鲁斯滕;杰罗姆·勒鲁 7 2009 TaPAS:塔伦斯·普雷斯伯格算法套件。 Zbl 1234.03002号 杰罗姆·勒鲁;盖拉尔·波因特 6 2009 利用Presburger归纳不变量研究一般向量加法系统的可达性问题。 Zbl 1208.68161号 杰罗姆·勒鲁 6 2010 无序数据Petri网的可覆盖树。 Zbl 1475.68208号 彼得·霍夫曼;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;西尔万·施密茨;帕特里克·托茨克 6 2016 模型检查填充协议。 Zbl 1391.68078号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 6 2016 用一个零测试对矢量加法系统进行模型检验。 Zbl 1242.68196号 雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 5 2012 插入量词免费的Presburger算法。 Zbl 1306.68148号 丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默 5 2010 通信下推系统的可达性分析。 Zbl 1284.68399号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 5 2010 使用特定领域的抽象指导Craig插值。 Zbl 1344.68139号 杰罗姆·勒鲁;菲利普·吕默;Subotić,Pavle公司 5 2016 在实践中加速计数器自动机。 Zbl 1126.68452号 塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁 4 2004 向量加法系统可逆可达性问题。 Zbl 1343.68173号 杰罗姆·勒鲁 4 2011 向量加法系统的理想分解(邀请演讲)。 Zbl 1388.68199号 杰罗姆·勒鲁;西尔万·施密茨 4 2016 向量加法系统可逆可达性问题。 Zbl 1260.68271号 杰罗姆·勒鲁 4 2013 具有状态的多项式向量加法系统。 兹比尔1499.68229 杰罗姆·勒鲁 4 2018 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;Reineke,一月;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 具有一个零检验的向量加法系统的有界性。 Zbl 1245.68131号 雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 三 2010 关于Petri网和向量加法系统可弱计算的函数。 Zbl 1448.68346号 J.勒鲁。;Schnoebelen博士。 三 2014 下推向量加法系统的有界性问题。 Zbl 1471.68170号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 三 2015 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68134号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 一维简洁分支VASS可达性的多项式空间完备性。 Zbl 1442.68136号 迭戈·菲格拉;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基;格雷戈伊尔·萨特雷 三 2017 无序数据向量的线性组合。 Zbl 1457.68164号 彼得·霍夫曼;杰罗姆·勒鲁;帕特里克·托茨克 三 2017 非循环下推VAS中覆盖性问题的下限。 Zbl 1509.68097号 马提亚斯·恩格尔;彼得·霍夫曼;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;朱利叶斯·斯特拉辛斯基 三 2021 正则整数向量集的凸包是多面体的,并且可以有效地计算。 Zbl 1184.68634号 阿兰·芬克尔;杰罗姆·勒鲁 2 2005 加速基于插值的模型检查。 Zbl 1134.68400号 尼古拉斯·卡尼亚特;伊曼纽尔·弗勒里;杰罗姆·勒鲁;马克·泽顿 2 2008 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 对于平面计数器系统,上下文无关问题是coNP-complete。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 具有状态的定维向量加法系统的可达性。 Zbl 07559504号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 2 2020 二元自动机的仿射外壳可以在多项式时间内计算。 Zbl 1271.68126号 杰罗姆·勒鲁 2 2004 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68133号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2016 数值系统的析取不变量。 Zbl 1108.68075号 杰罗姆·勒鲁 1 2004 结构Presburger数字向量自动机。 Zbl 1155.68045号 杰罗姆·勒鲁 1 2008 加速Petri网。 Zbl 1410.68254号 杰罗姆·勒鲁 1 2013 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 互可达Petri网配置之间的距离。 兹伯利07650344 杰罗姆·勒鲁 1 2019 具有状态的二维向量加法系统的可达性:一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2020 当可达性满足Grzegorczyk时。 Zbl 1506.68061号 杰罗姆·勒鲁 1 2020 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 关于可由下推Petri网和相关系统弱计算的函数。 Zbl 1427.68203号 杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 1 2019 向量加法系统的关系跟踪逻辑,用于上下文无关。 Zbl 1390.68478号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 Petri网的可达性问题不是基本的。 Zbl 1499.68222号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 7 2021 非循环下推VAS中覆盖性问题的下限。 Zbl 1509.68097号 马提亚斯·恩格尔;彼得·霍夫曼;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;朱利叶斯·斯特拉辛斯基 三 2021 具有状态的定维向量加法系统的可达性。 Zbl 07559504号 沃伊切赫Czerwiński;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 2 2020 具有状态的二维向量加法系统的可达性:一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2020 当可达性满足Grzegorczyk时。 Zbl 1506.68061号 杰罗姆·勒鲁 1 2020 Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 30 2019 互可达Petri网配置之间的距离。 Zbl 07650344号 杰罗姆·勒鲁 1 2019 关于可由下推Petri网和相关系统弱计算的函数。 Zbl 1427.68203号 杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 1 2019 具有状态的多项式向量加法系统。 Zbl 1499.68229号 杰罗姆·勒鲁 4 2018 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68134号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 人口协议的验证。 Zbl 1364.68081号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 21 2017 一维简洁分支VASS可达性的多项式空间完备性。 兹比尔1442.68136 迭戈·菲格拉;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基;格雷戈伊尔·萨特雷 三 2017 无序数据向量的线性组合。 Zbl 1457.68164号 彼得·霍夫曼;杰罗姆·勒鲁;帕特里克·托茨克 三 2017 无序数据Petri网的可覆盖树。 Zbl 1475.68208号 彼得·霍夫曼;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;西尔万·施密茨;帕特里克·托茨克 6 2016 模型检查填充协议。 Zbl 1391.68078号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 6 2016 使用特定领域的抽象指导Craig插值。 Zbl 1344.68139号 杰罗姆·勒鲁;菲利普·吕默;Subotić,Pavle公司 5 2016 向量加法系统的理想分解(邀请演讲)。 Zbl 1388.68199号 杰罗姆·勒鲁;西尔万·施密茨 4 2016 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68133号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2016 向量加法系统可达性的解密。 Zbl 1392.68308号 杰罗姆·勒鲁;西尔万·施密茨 30 2015 关于一维下推向量加法系统的覆盖性问题。 Zbl 1440.68177号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 10 2015 人口协议的验证。 Zbl 1374.68326号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 8 2015 下推向量加法系统的有界性问题。 Zbl 1471.68170号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 三 2015 下推向量加法系统的超阿克曼界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 关于Petri网和向量加法系统可弱计算的函数。 Zbl 1448.68346号 J.勒鲁。;Schnoebelen博士。 三 2014 对于平面计数器系统,上下文无关问题是coNP-complete。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 普雷斯伯格矢量加法系统。 兹比尔1366.68209 杰罗姆·勒鲁 8 2013 向量加法系统可逆可达性问题。 Zbl 1260.68271号 杰罗姆·勒鲁 4 2013 加速Petri网。 Zbl 1410.68254号 杰罗姆·勒鲁 1 2013 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 矢量加法系统的关系跟踪逻辑,具有上下文无关的应用程序。 Zbl 1390.68478号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 13 2012 用一个零测试对矢量加法系统进行模型检验。 Zbl 1242.68196号 雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 5 2012 向量加法系统可达性问题,一个简短的自包含证明。 Zbl 1284.68429号 杰罗姆·勒鲁 14 2011 向量加法系统可逆可达性问题。 Zbl 1343.68173号 杰罗姆·勒鲁 4 2011 利用Presburger归纳不变量研究一般向量加法系统的可达性问题。 Zbl 1208.68161号 杰罗姆·勒鲁 6 2010 无量词插值Presburger算法。 兹比尔1306.68148 丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默 5 2010 通信下推系统的可达性分析。 Zbl 1284.68399号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 5 2010 具有一个零检验的向量加法系统的有界性。 Zbl 1245.68131号 雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 三 2010 将Semenov定理推广到实数上的自动机。 Zbl 1250.03061号 伯纳德·博伊格洛特;朱利安·布鲁斯滕;杰罗姆·勒鲁 7 2009 TaPAS:塔伦斯·普雷斯伯格算法套件。 Zbl 1234.03002号 杰罗姆·勒鲁;盖拉尔·波因特 6 2009 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;Reineke,一月;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 加速基于插值的模型检查。 Zbl 1134.68400号 尼古拉斯·卡尼亚特;伊曼纽尔·弗勒里;杰罗姆·勒鲁;马克·泽顿 2 2008 结构Presburger数字向量自动机。 Zbl 1155.68045号 杰罗姆·勒鲁 1 2008 加速数据流分析。 Zbl 1211.68093号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 几乎到处都是平面计数器自动机! Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 22 2005 符号模型检查中的平加速度。 Zbl 1170.68507号 塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁;菲利普·施诺贝伦 19 2005 正则整数向量集的凸包是多面体的,并且可以有效地计算。 Zbl 1184.68634号 阿兰·芬克尔;杰罗姆·勒鲁 2 2005 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 13 2004 在实践中加速计数器自动机。 Zbl 1126.68452号 塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁 4 2004 二元自动机的仿射外壳可以在多项式时间内计算。 Zbl 1271.68126号 杰罗姆·勒鲁 2 2004 数值系统的析取不变量。 Zbl 1108.68075号 杰罗姆·勒鲁 1 2004 如何编写Presburger加速:广播协议的应用程序。 兹比尔1027.68616 阿兰·芬克尔;杰罗姆·勒鲁 37 2002 所有引用出版物 前5名被引用出版物 全部的 前5名313位作者引用 18 哈维尔·埃斯帕尔扎 18 杰罗姆·勒鲁 17 阿兰·芬克尔 12 迈克尔·布隆丁 11 斯特凡·德姆里。 9 彼得·霍夫曼 9 萨沃米尔·拉索塔 8 米哈伊尔·拉斯金 7 沃伊切赫,切尔文斯基 7 兰科·拉齐奇 7 菲利普·吕默 7 格雷戈伊尔·萨特雷 6 斯特凡·贾克斯 6 菲利普·马佐维耶基 6 阿诺德·桑尼尔 6 乔治·泽采 5 贝内迪克特·博利格 5 丹尼尔·科宁 5 西尔万·施密茨 5 詹姆斯·沃雷尔。 4 让·古鲍特·拉雷克 4 克里斯托夫·哈斯 4 谢尔盖·哈达德 4 伊戈尔·赫梅尔尼茨基 4 Lin,Anthony Widjaja 4 乔尔·欧·瓦克宁。 4 帕特里克·托茨克 4 查纳·韦尔·肯尼迪 三 穆罕默德·法乌齐(Mohamed Faouzi Atig) 三 特夫菲克·布尔坦 三 克里希南德·查特吉 三 德米特里五世·奇斯蒂科夫。 三 阿米特·库马尔·达尔 三 大卫·多蒂 三 皮埃尔·甘蒂 三 托马斯·马丁·高利察 三 彼得·哈贝梅尔 三 伊戈尔·康诺夫(Igor V.Konnov)。 三 鲁帕克·马朱姆达尔 三 鲁帕克·马朱姆达尔 三 塞巴斯蒂安·穆斯卡拉 三 菲利普·奥特马特 三 Micha Pilipczuk 三 M·普拉文。 三 赫尔穆特·维思 三 乔治·威森巴赫 三 约瑟夫·威德 2 弗朗西斯科·阿尔贝蒂 2 娜塔莎·亚历奇纳 2 沙乌尔·阿尔马戈 2 Balasubramanian,A.R。 2 萨米克·巴苏 2 奥利维尔·布瓦索 2 劳拉·博泽利 2 罗伯特·布里德 2 查克拉波蒂,苏普拉特克 2 尚巴特,皮埃尔 2 亚历山大·查普托 2 艾米莉·查利尔 2 洛伦佐·克莱门特 2 菲利普·泽纳 2 戴克,诺曼 2 西尔维奥·吉拉尔迪 2 埃里克·古堡 2 西蒙·哈尔丰 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 拉杜·奥西夫 2 彼得·扬查尔 2 贝特朗·珍妮特 2 斯特凡·基弗 2 雅库布·科尼埃奇尼 2 安东尼·库塞拉 2 K.Narayan Kumar 2 布赖恩·洛根 2 艾蒂安·洛兹 2 理查德·梅尔(Richard M.Mayr)。 2 罗兰·梅耶 2 奥托普,简 2 吉列尔莫·A·佩雷斯。 2 苏菲·平奇纳特 2 阿默里·波利 2 乘务长,大卫 2 普拉卡什·塞瓦桑 2 菲利普·施诺贝伦 2 彼得·施拉梅尔 2 赫尔穆特·塞德尔 2 亚萨明,塞拉吉 2 娜塔莎·莎莉吉娜 2 大卫·索洛维奇克 2 阿姆丽塔·苏雷什 2 丹尼尔·托马 2 迈克尔·韦哈尔 2 克里斯托夫·韦尔泽尔 2 马克·泽顿 1 帕罗什·阿齐兹·阿卜杜拉 1 阿萨勒阿杰 1 西里亚克·艾斯瓦里亚 1 阿克西,S。 1 奥马尔·巴塔内赫 1 本杰明·阿米诺夫 …还有213位作者 全部的 前5名29篇连载文章中引用 15 理论计算机科学 14 计算机科学中的逻辑方法 12 信息与计算 10 系统设计中的形式化方法 4 信息学报 4 计算机与系统科学杂志 4 计算机基础理论 三 自动推理杂志 三 计算的形式方面 三 分布式计算 2 人工智能 2 信息处理信件 2 符号计算杂志 2 MSCS公司。计算机科学中的数学结构 2 计算系统理论 2 自然计算 2 ACM计算逻辑事务 1 数学分析与应用杂志 1 算术学报 1 数学进展 1 数学座谈会 1 信息科学 1 SIAM计算机杂志 1 美国数学学会会刊 1 组合数学 1 国际计算机科学基础杂志 1 离散事件动态系统 1 ACM计算理论汇刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在15个字段中引用 201 计算机科学(68至XX) 56 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 数值分析(65-XX) 4 运筹学、数学规划(90-XX) 三 系统论;控制(93至XX) 2 阶、格、有序代数结构(06-XX) 2 数论(11-XX) 2 一般拓扑结构(54至XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 按年份列出的引文