编辑配置文件(在新选项卡中打开) 格雷戈伊尔·萨特雷 合著者距离 作者ID: 苏特雷·格雷戈瓦 发布日期: 格雷戈伊尔·萨特雷;格雷戈瓦,萨特;苏特雷,G。 更多。。。较少的 已编制索引的文档: 35出版物自2000年起 合著者: 34位合著者具有35联合出版物 757位合作作者 全部的 前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出版物有被引用256次216文件 引用人▼ 年份▼ 懒惰的抽象。 Zbl 1323.68374号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 80 2002 几乎到处都是平面计数器自动机! Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 23 2005 使用BLAST进行软件验证。 Zbl 1023.68532号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Grégoire萨特雷 15 2003 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·赫纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 14 2012 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 勒鲁,杰罗姆;格雷戈伊尔·萨特雷 13 2004 系统代码的临时安全证明。 Zbl 1010.68507号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Necula,George C。;格雷戈伊尔·萨特雷;韦斯特利·威默 12 2002 关于一维下推向量加法系统的覆盖性问题。 Zbl 1440.68177号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 10 2015 两计数器自动机类可达性问题的判定。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 自动机与FIFO和行李通道通信的可决定拓扑。 Zbl 1417.68125号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 概率系统LTL模型检验的最优自动机方法。 Zbl 1273.68224号 Jean-Michel库弗勒;纳赛尔·萨赫布;格雷戈伊尔·萨特雷 10 2003 下推向量加法系统的超阿克曼界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 加速数据流分析。 兹比尔1211.68093 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 抽象良好的转换系统:FIFO自动机的应用。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman,Iyer;格雷戈伊尔·萨特雷 5 2003 通信下推系统的可达性分析。 Zbl 1284.68399号 亚历山大·赫纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 5 2010 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68134号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 下推向量加法系统的有界性问题。 Zbl 1471.68170号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 三 2015 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 三 2018 一维简洁分支VASS可达性的多项式空间完备性。 Zbl 1442.68136号 迭戈·菲盖拉;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基;格雷戈伊尔·萨特雷 三 2017 平面计数器系统的上下文自由度问题是coNP完全问题。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 一种为二维重置/传输VASS(扩展抽象)构造半线性后置*的算法。 兹比尔0996.68522 芬克尔,A。;苏特雷,G。 2 2000 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 奥卡姆剃刀应用于Petri网覆盖问题。 Zbl 1402.68133号 托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2016 状态向量加法系统可达集的共有性和共空性。 Zbl 1427.68200号 彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2018 关于可由下推Petri网和相关系统弱计算的函数。 Zbl 1427.68203号 杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 1 2019 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 向量加法系统的关系跟踪逻辑,用于上下文无关。 Zbl 1390.68478号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 具有状态的二维向量加法系统的可达性:一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;Grégoire萨特雷 1 2020 具有状态的二维向量加法系统的可达性:一个测试是免费的。 Zbl 07559493号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 1 2020 关于可由下推Petri网和相关系统弱计算的函数。 兹比尔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和行李通道通信的可决定拓扑。 Zbl 1417.68125号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 下推向量加法系统的超Ackermannian界。 Zbl 1392.68307号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 9 2014 对于平面计数器系统,上下文无关问题是coNP-complete。 Zbl 1448.68270号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 2 2014 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 关于向量加法系统的上下文无关性问题。 Zbl 1366.68210号 杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 1 2013 向量加法系统的关系跟踪逻辑,用于上下文无关。 Zbl 1390.68478号 杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 1 2013 通信下推系统的可达性分析。 Zbl 1248.68330号 亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 14 2012 通信下推系统的可达性分析。 兹比尔1284.68399 亚历山大·休纳;杰罗姆·勒鲁;麝香草,安卡;格雷戈伊尔·萨特雷 5 2010 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;Reineke,一月;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 加速数据流分析。 Zbl 1211.68093号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 8 2007 凸数据流分析中的加速。 Zbl 1135.68369号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 2 2007 几乎到处都是平面计数器自动机! Zbl 1170.68519号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 23 2005 关于二维状态向量加法系统的平坦性。 Zbl 1099.68071号 杰罗姆·勒鲁;格雷戈伊尔·萨特雷 13 2004 使用BLAST进行软件验证。 Zbl 1023.68532号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 15 2003 概率系统LTL模型检验的最优自动机方法。 Zbl 1273.68224号 Jean-Michel库弗勒;纳赛尔·萨赫布;格雷戈伊尔·萨特雷 10 2003 良好抽象转换系统:应用于FIFO自动机。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman Iyer;格雷戈伊尔·萨特雷 5 2003 懒惰的抽象。 兹比尔1323.68374 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 80 2002 系统代码的临时安全证明。 Zbl 1010.68507号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;乔治·C·内库拉。;格雷戈伊尔·萨特雷;韦斯特利·威默 12 2002 两计数器自动机类可达性问题的判定。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 一种为二维重置/传输VASS(扩展抽象)构造半线性后置*的算法。 Zbl 0996.68522号 芬克尔,A。;苏特雷,G。 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名429位作者引用 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) 三 克里斯特尔·拜尔 三 德克·拜尔 三 亚历山德罗·西马蒂 三 沃伊切赫,切尔文斯基 三 当、哲 三 阿米特·库马尔·达尔 三 段振华 三 托马斯·马丁·高利察 三 彼得·哈贝梅尔 三 约阿希姆·克莱因 三 兰科·拉齐奇 三 菲利普·马佐维耶基 三 米勒(David I。 三 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 托马斯·亨辛格(Thomas A.Henzinger)。 2 Jochen Hoenicke公司 2 胡亚伦·J·。 2 迈克尔·R·A·胡特。 2 西蒙·扬奇 2 兰吉特·贾拉 2 Joost-Pieter卡托恩 2 斯特凡·基弗 2 埃里克·科斯金 2 迪特里赫·库斯克 2 萨尔瓦多拉托雷 2 阿卡什·拉尔 2 朱利安·兰格 2 艾蒂安·洛兹 2 鲁帕克·马朱姆达尔 2 McQuillan,伊恩 2 塞尔吉奥·莫弗 2 塞巴斯蒂安·穆斯卡拉 2 阿迪蒂亚·维塔尔·诺里 2 乔尔·欧·瓦克宁。 2 Rajamani,Sriram K。 2 茨沃尼米尔·拉卡马里奇 2 代表,Thomas W。 2 西尔万·施密茨 2 菲利普·施诺贝伦 2 穆罕默德·纳西姆·塞吉尔 …还有329位作者 全部的 前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个领域引用 212 计算机科学(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) 按年份列出的引文