编辑配置文件（在新选项卡中打开） 格雷戈伊尔·萨特雷 合著者距离 作者ID： 苏特雷.风土 发布日期： 格雷戈伊尔·萨特雷;格雷戈伊尔·萨特雷;苏特雷，G。 更多。。。较少的 已编制索引的文档： 35出版物自2000年起 合著者： 34位合著者具有35联合出版物 752联合作者 全部的 前5名合著者 0 单作者的 21 杰罗姆·勒鲁 6 阿兰·芬克尔 4 弗雷德里克·赫布雷托 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 亚历山大·休纳 三 兰吉特·贾拉 三 鲁帕克·马朱姆达尔 三 文森特·佩内尔 三 M·普拉文。 2 洛伦佐·克莱门特 2 托马斯·杰夫罗伊 2 彼得·扬查尔 2 安卡·穆斯科尔 2 帕特里克·托茨克 1 弗兰克·卡塞兹 1 Jean-Michel库弗勒 1 迭戈·菲格拉 1 托马斯·马丁·高利察 1 伊耶，普鲁索塔曼 1 S.Purushothaman，Iyer 1 兰科·拉齐奇 1 特里斯坦勒加尔 1 菲利普·马佐维耶基 1 Necula，George C。 1 简·雷内克 1 Olivier F.鲁克斯。 1 纳赛尔·萨赫布 1 西尔万·萨尔瓦蒂 1 菲利普·施诺贝伦 1 赫尔穆特·塞德尔 1 阿梅利·施泰纳 1 Tran、The Quang 1 韦斯特利·威默 1 莱因哈德·威廉 系列 2 计算机科学中的逻辑方法 1 理论计算机科学 1 信息与计算 1 计算机基础理论 领域 34 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用252中的次212文件 引用人▼ 年份▼ 懒惰的抽象。 Zbl 1323.68374号 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 80 2002 几乎到处都是平面计数器自动机！ Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 22 2005 使用BLAST进行软件验证。 Zbl 1023.68532号 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 15 2003 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 13 2004 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 13 2012 系统代码的临时安全证明。 兹比尔1010.68507 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Necula，George C。;格雷戈伊尔·萨特雷;韦斯特利·威默 11 2002 关于一维下推向量加法系统的覆盖性问题。 Zbl 1440.68177号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 10 2015 两计数器自动机类可达性问题的判定。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 自动机与FIFO和行李通道通信的可决定拓扑。 Zbl 1417.68125号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 概率系统LTL模型检验的最优自动机方法。 Zbl 1273.68224号 Jean-Michel库弗勒;纳赛尔·萨赫布;格雷戈伊尔·萨特雷 9 2003 下推向量加法系统的超阿克曼界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 加速数据流分析。 Zbl 1211.68093号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 通信下推系统的可达性分析。 Zbl 1284.68399号 亚历山大·赫纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 5 2010 良好抽象转换系统：应用于FIFO自动机。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman，Iyer;格雷戈伊尔·萨特雷 5 2003 通信定时进程的可达性。 兹比尔1260.68262 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 奥卡姆剃刀应用于Petri网可覆盖性问题。 Zbl 1402.68134号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 一维简洁分支VASS可达性的多项式空间完备性。 Zbl 1442.68136号 迭戈·菲格拉;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基;格雷戈伊尔·萨特雷 三 2017 下推向量加法系统的有界性问题。 Zbl 1471.68170号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 三 2015 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 一种为二维重置/传输VASS（扩展抽象）构造半线性后置*的算法。 Zbl 0996.68522号 芬克尔，A。;苏特雷，G。 2 2000 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68133号 托马斯·格夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2016 对于平面计数器系统，上下文无关问题是coNP-complete。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 关于可由下推Petri网和相关系统弱计算的函数。 Zbl 1427.68203号 杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 1 2019 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 向量加法系统的关系跟踪逻辑，用于上下文无关。 Zbl 1390.68478号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 具有状态的二维向量加法系统的可达性：一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2020 具有状态的二维向量加法系统的可达性：一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2020 关于可由下推Petri网和相关系统弱计算的函数。 Zbl 1427.68203号 杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 1 2019 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68134号 托马斯·格夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 一维简洁分支VASS可达性的多项式空间完备性。 Zbl 1442.68136号 迭戈·菲格拉;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基;格雷戈伊尔·萨特雷 三 2017 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68133号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2016 关于一维下推向量加法系统的覆盖性问题。 Zbl 1440.68177号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 10 2015 下推向量加法系统的有界性问题。 Zbl 1471.68170号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 三 2015 自动机与FIFO和行李通道通信的可决定拓扑。 兹比尔1417.68125 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 下推向量加法系统的超阿克曼界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 对于平面计数器系统，上下文无关问题是coNP-complete。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 向量加法系统的关系跟踪逻辑，用于上下文无关。 兹比尔1390.68478 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 13 2012 通信下推系统的可达性分析。 Zbl 1284.68399号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 5 2010 回顾多项式精确区间分析。 兹比尔1258.65048 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 加速数据流分析。 Zbl 1211.68093号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 几乎到处都是平面计数器自动机！ Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 22 2005 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 13 2004 使用BLAST进行软件验证。 Zbl 1023.68532号 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 15 2003 概率系统LTL模型检验的一种最优自动机方法。 Zbl 1273.68224号 Jean-Michel库弗勒;纳赛尔·萨赫布;格雷戈伊尔·萨特雷 9 2003 良好抽象转换系统：应用于FIFO自动机。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman，Iyer;格雷戈伊尔·萨特雷 5 2003 懒惰的抽象。 Zbl 1323.68374号 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 80 2002 系统代码的临时安全证明。 兹比尔1010.68507 托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Necula，George C。;格雷戈伊尔·萨特雷;韦斯特利·威默 11 2002 两计数器自动机类可达性问题的判定。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 一种为二维重置/传输VASS（扩展抽象）构造半线性后置*的算法。 兹比尔0996.68522 芬克尔，A。;苏特雷，G。 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名被419位作者引用 12 阿兰·芬克尔 12 杰罗姆·勒鲁 8 Stéphane P.德姆里。 8 格雷戈伊尔·萨特雷 7 彼得·霍夫曼 6 阿诺德·桑尼尔 5 贝内迪克特·博利格 5 哈维尔·埃斯帕尔扎 5 奥斯卡·H·伊巴拉。 5 萨沃米尔·拉索塔 5 乔治·泽采 4 拉杰夫·阿鲁尔 4 特夫菲克·布尔坦 4 拉杜·奥西夫 4 伊戈尔·康诺夫（Igor V.Konnov）。 4 丹尼尔·科宁 4 鲁帕克·马朱姆达尔 4 伊斯特万·马齐克 4 安德烈亚斯·波德尔斯基 4 帕特里克·托茨克 4 乔治·威森巴赫 4 詹姆斯·沃雷尔。 三 帕罗什·阿齐兹·阿卜杜拉 三 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 德克·拜尔 三 亚历山德罗·西马蒂 三 沃伊切赫，切尔文斯基 三 当、哲 三 阿米特·库马尔·达尔 三 段振华 三 托马斯·马丁·高利察 三 彼得·哈贝梅尔 三 兰科·拉齐奇 三 菲利普·马佐维耶基 三 M·普拉文。 三 米哈伊尔·拉斯金 三 安德烈·里巴尔琴科 三 娜塔莎·莎莉吉娜 三 田聪 三 斯特凡诺·托内塔 三 塔马斯·托特 三 赫尔穆特·维思 三 约瑟夫·威德 三 张楠 2 阿克沙伊，S。 2 克里斯特尔·拜尔 2 佛朗哥·巴巴内拉 2 塞巴斯蒂安·巴丁 2 萨米克·巴苏 2 奥利维尔·布瓦索 2 马里奥·布雷韦蒂 2 罗伯特·布鲁托梅索 2 马尔科·卡博尼 2 萨加·查基 2 查克拉波蒂，苏普拉特克 2 尚巴特，皮埃尔 2 亚历山大·查普托 2 纳撒尼尔·查尔顿 2 洛伦佐·克莱门特 2 乌戈·德利古罗 2 马修·德怀尔。 2 戈兰·弗雷斯 2 皮埃尔·甘蒂 2 埃里克·古堡 2 阿尔贝托·格里乔 2 巴加夫·古拉瓦尼。 2 阿里·古芬克尔 2 克里斯托夫·哈斯 2 阿科斯·哈伊杜 2 约翰·哈特克利夫 2 洛依茨海露 2 罗尔夫·亨尼克 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 Jochen Hoenicke公司 2 胡亚伦·J·。 2 迈克尔·R·A·胡特。 2 兰吉特·贾拉 2 Joost-Pieter卡托恩 2 斯特凡·基弗 2 约阿希姆·克莱因 2 埃里克·科斯金 2 萨尔瓦多拉托雷 2 阿卡什·拉尔 2 朱利安·兰格 2 艾蒂安·洛兹 2 鲁帕克·马朱姆达尔 2 伊恩·麦克奎伦 2 塞尔吉奥·莫弗 2 米勒（David I。 2 塞巴斯蒂安·穆斯卡拉 2 阿迪蒂亚·维塔尔·诺里 2 乔尔·欧·瓦克宁。 2 Rajamani，Sriram K。 2 茨沃尼米尔·拉卡马里奇 2 代表Thomas W。 2 西尔万·施密茨 2 菲利普·施诺贝伦 2 穆罕默德·纳西姆·塞吉尔 2 赫尔穆特·塞德尔 2 亚萨米娜·塞拉吉 …和319多位作者 全部的 前5名24篇连载文章中引用 23 理论计算机科学 21 系统设计中的形式化方法 10 信息与计算 9 计算机科学中的逻辑方法 6 程序设计中的逻辑和代数方法杂志 5 计算机与系统科学杂志 5 自动推理杂志 5 计算的形式方面 三 信息学报 三 人工智能 三 符号计算杂志 2 信息处理信件 2 编程和计算机软件 1 国际通用系统杂志 1 数学分析与应用杂志 1 计算机程序设计科学 1 计算机科学与技术杂志 1 实时系统 1 国际计算机科学基础杂志 1 控制论与系统分析 1 数学与人工智能年鉴 1 计算系统理论 1 计算机基础理论 1 计算机科学中的数学 全部的 前5名10个领域引用 208 计算机科学（68至XX） 31 数学逻辑和基础（03-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 数值分析（65-XX） 4 运筹学、数学规划（90-XX） 2 概率论与随机过程（60-XX） 1 数论（11-XX） 1 算子理论（47-XX） 1 流体力学（76-XX） 1 系统论；控制（93至XX） 按年份列出的引文