编辑配置文件（在新选项卡中打开） 斯特凡·格勒 合著者距离 作者ID： 高尔夫球运动员斯特凡 发布日期： 斯特凡·格勒;斯特凡·高勒 外部链接： MGP公司 已编制索引的文档： 41出版物自2005年以来，包括1本书 合著者： 31位合著者具有36联合出版物 747合著作者 全部的 前5名合著者 4 单作者的 13 马库斯·洛伊 6 克里斯托夫·哈斯 5 斯坦尼斯拉夫·博姆 三 阿兰·芬克尔 三 彼得·扬查尔 三 Anthony Widjaja林 2 迈克尔·布隆丁 2 Carayol，阿诺 2 摩西·加纳迪 2 让·克里斯托夫·荣格 2 拉齐奇，兰科 2 卡斯滕·卢茨 2 皮埃尔·麦肯齐 2 乔尔·欧·瓦克宁。 2 帕里斯（Pawe Parys） 2 帕特里克·托茨克 2 詹姆斯·沃雷尔。 1 Michael A.Benedikt。 1 罗曼·布伦吉尔 1 克里斯托弗·布罗德本特。 1 马提亚斯·恩格尔 1 西蒙·哈尔丰 1 彼得·霍夫曼 1 斯特凡·基弗 1 阿恩·梅尔 1 马丁·蒙德亨克 1 安德烈·穆拉夫斯基。 1 德克·诺沃特卡 1 奥坎·桑库尔 1 托马斯·施耐德 1 费利克斯·维斯 全部的 前5名系列 2 计算系统理论 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 符号逻辑杂志 1 SIAM计算机杂志 1 美国医学会杂志 1 应用逻辑杂志 领域 41 计算机科学（68至XX） 17 数理逻辑与基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 31出版物有被引用120次88文件 引用人▼ 年份▼ 具有状态的二维向量加法系统的可达性是PSPACE完备的。 Zbl 1401.68095号 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 确定性单计数器自动机的等价性是NL-完全的。 Zbl 1293.68181号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·詹卡尔 10 2013 模型检查简洁且参数化的单计数器自动机。 Zbl 1288.68164号 斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 9 2010 具有多项式更新的寄存器机器中的可达性。 Zbl 1398.68160号 阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯 9 2013 带交集和逆向的PDL：可满足性和无限状态模型检查。 兹比尔1181.03034 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 9 2009 关于比奇单计数器自动机。 Zbl 1402.68114号 斯坦尼斯拉夫·博姆;斯特凡·格勒;西蒙·哈尔丰;彼得·霍夫曼 5 2017 参数单计数器自动机的分支时间模型检验。 Zbl 1352.68153号 斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 5 2012 单计数器进程和时间自动机的分支时间模型检查。 Zbl 1275.68092号 斯特凡·格勒;马库斯·洛伊 5 2013 下推自动机的双相似性是非基本的。 Zbl 1366.68136号 迈克尔·本尼迪克特;斯特凡·格勒;斯特凡·基弗;安德烈·穆拉夫斯基。 5 2013 命题动态逻辑的无限状态模型检验。 Zbl 1225.68116号 斯特凡·格勒;马库斯·洛伊 4 2006 确定性实时单计数器自动机的语言等价是NL-完全的。 Zbl 1343.68133号 斯坦尼斯拉夫·博姆;斯特凡·格勒 4 2011 单计数器进程的双相似性是PSPACE-完全的。 Zbl 1287.68122号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2010 实时单计数器自动机的互模拟等价性和正则性。 Zbl 1285.68079号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2014 分解模态和一阶理论的复杂性。 Zbl 1364.03031号 斯特凡·格勒;让·克里斯托夫·荣格;马库斯·洛伊 三 2012 层次结构上的定点逻辑。 Zbl 1172.68542号 斯特凡·格勒;马库斯·洛伊 三 2005 一维分支VASS可达性的多项式时间算法。 Zbl 1388.68197号 斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;帕特里克·托茨克 2 2016 简洁表示的有限状态系统的比较。 Zbl 1364.68277号 罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔 2 2012 带有交叉和逆向的PDL是2EXP完成的。 Zbl 1180.03033号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 2 2007 关于动态政策推理的复杂性。 Zbl 1179.03037号 斯特凡·格勒 2 2007 关于避免子民模式的长词。 Zbl 1402.68145号 Carayol，阿诺;斯特凡·格勒 2 2017 单计数器进程的分支时间模型检查。 兹比尔1230.68142 斯特凡·格勒;马库斯·洛伊 2 2010 关于高阶下推自动机的双相似性：二阶不可判定性。 Zbl 1354.68191号 克里斯托弗·布劳德本特;斯特凡·格勒 2 2012 通过地树重写系统细化流程重写系统层次结构。 Zbl 1344.68164号 斯特凡·格勒;Anthony Widjaja林 2 2011 下推系统的互模拟有限性是基本的。 Zbl 07299493号 斯特凡·格勒;帕里斯（Pawe Parys） 2 2020 关于避免使用子敏模式的长词。 Zbl 1431.68101号 Carayol，阿诺;斯特凡·格勒 1 2019 并行使简单的理论变得困难。 Zbl 1245.68136号 斯特凡·格勒;Anthony Widjaja林 1 2012 带有限定猜测动作的游戏。 Zbl 1401.91033号 托马斯·科尔科姆贝特;斯特凡·格勒 1 2016 地树重写图的一阶理论。 Zbl 1325.68121号 斯特凡·格勒;马库斯·洛伊 1 2014 关于有限系统上互模拟的并行复杂性。 Zbl 1369.68241号 摩西·加纳迪;斯特凡·格勒;马库斯·洛伊 1 2016 分解模态理论和一阶理论的复杂性。 Zbl 1354.03053号 斯特凡·格勒;Jean-Christoph Jung;马库斯·洛伊 1 2015 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;拉齐奇，兰科;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;拉齐奇，兰科;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 下推系统的互模拟有限性是基本的。 Zbl 07299493号 斯特凡·格勒;帕里斯（Pawe Parys） 2 2020 关于避免子民模式的长词。 Zbl 1431.68101号 Carayol，阿诺;斯特凡·格勒 1 2019 关于比奇单计数器自动机。 Zbl 1402.68114号 斯坦尼斯拉夫·博姆;斯特凡·格勒;西蒙·哈尔丰;彼得·霍夫曼 5 2017 关于避免子民模式的长词。 兹比尔1402.68145 Carayol，阿诺;斯特凡·格勒 2 2017 一维分支VASS可达性的多项式时间算法。 Zbl 1388.68197号 斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;帕特里克·托茨克 2 2016 带有限定猜测动作的游戏。 Zbl 1401.91033号 托马斯·科尔科姆贝特;斯特凡·格勒 1 2016 关于有限系统上互模拟的并行复杂性。 兹比尔1369.68241 摩西·加纳迪;斯特凡·格勒;马库斯·洛伊 1 2016 具有状态的二维向量加法系统的可达性是PSPACE完备的。 Zbl 1401.68095号 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 分解模态和一阶理论的复杂性。 Zbl 1354.03053号 斯特凡·格勒;Jean-Christoph Jung;马库斯·洛伊 1 2015 实时单计数器自动机的互模拟等价性和正则性。 Zbl 1285.68079号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2014 地树重写图的一阶理论。 兹比尔1325.68121 斯特凡·格勒;马库斯·洛伊 1 2014 确定性单计数器自动机的等价性是NL-完全的。 Zbl 1293.68181号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·詹卡尔 10 2013 具有多项式更新的寄存器机器中的可达性。 Zbl 1398.68160号 阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯 9 2013 单计数器进程和时间自动机的分支时间模型检查。 Zbl 1275.68092号 斯特凡·格勒;马库斯·洛伊 5 2013 下推自动机的双相似性是非基本的。 Zbl 1366.68136号 迈克尔·本尼迪克特;斯特凡·格勒;斯特凡·基弗;安德烈·穆拉夫斯基。 5 2013 参数单计数器自动机的分支时间模型检验。 Zbl 1352.68153号 斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 5 2012 分解模态和一阶理论的复杂性。 Zbl 1364.03031号 斯特凡·格勒;让·克里斯托夫·荣格;马库斯·洛伊 三 2012 简洁表示的有限状态系统的比较。 Zbl 1364.68277号 罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔 2 2012 关于高阶下推自动机的双相似性：二阶不可判定性。 Zbl 1354.68191号 克里斯托弗·布劳德本特;斯特凡·格勒 2 2012 并行使简单的理论变得困难。 Zbl 1245.68136号 斯特凡·格勒;Anthony Widjaja林 1 2012 确定性实时单计数器自动机的语言等价是NL-完全的。 Zbl 1343.68133号 斯坦尼斯拉夫·博姆;斯特凡·格勒 4 2011 通过地树重写系统细化流程重写系统层次结构。 兹伯利1344.68164 斯特凡·格勒;Lin，Anthony Widjaja 2 2011 模型检查简洁且参数化的单计数器自动机。 Zbl 1288.68164号 斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 9 2010 单计数器进程的双相似性是PSPACE-完全的。 Zbl 1287.68122号 斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔 三 2010 单计数器进程的分支时间模型检查。 Zbl 1230.68142号 斯特凡·格勒;马库斯·洛伊 2 2010 具有交集和逆向的PDL：可满足性和无限状态模型检查。 兹比尔1181.03034 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 9 2009 带有交叉和逆向的PDL是2EXP完成的。 Zbl 1180.03033号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 2 2007 关于动态策略推理的复杂性。 Zbl 1179.03037号 斯特凡·格勒 2 2007 命题动态逻辑的无限状态模型检验。 Zbl 1225.68116号 斯特凡·格勒;马库斯·洛伊 4 2006 层次结构上的固定点逻辑。 Zbl 1172.68542号 斯特凡·格勒;马库斯·洛伊 三 2005 所有引用出版物 排名前五的出版物 全部的 前5名161位作者引用 7 贝内迪克特·博利格 6 斯特凡·格勒 5 Stéphane P.德姆里。 5 彼得·扬查尔 5 萨沃米尔·拉索塔 5 马库斯·洛伊 5 Filip马佐维耶基 5 帕特里克·托茨克 4 沃伊切赫，切尔文斯基 4 保罗·加斯丁 4 彼得·霍夫曼 4 杰罗姆·勒鲁 4 阿诺德·桑尼尔 三 洛伦佐·克莱门特 三 玛丽·何塞·福廷 三 克里斯托夫·哈斯 三 尼古拉斯·马基 三 拉多斯·瓦·皮奥科夫斯基 三 格雷戈伊尔·萨特雷 三 詹姆斯·沃雷尔。 2 沙乌尔·阿尔马戈 2 迈克尔·布隆丁 2 乌迪·博克 2 克里希南德·查特吉 2 德米特里五世·奇斯蒂科夫。 2 阿米特·库马尔·达尔 2 阿兰·芬克尔 2 爱德华·赫尔曼·海尔 2 洛依茨海露 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 让·克里斯托夫·荣格 2 斯特凡·基弗 2 奥尔纳·库普弗曼 2 Anthony Widjaja林 2 布鲁诺·多梅尼西亚诺·洛佩斯 2 卡斯滕·卢茨 2 阿尼埃洛·穆拉诺 2 雷诺·尼斯卡宁 2 奥托普，简 2 乔尔·欧·瓦克宁。 2 Micha Pilipczuk 2 伊戈尔·波塔波夫 2 卡琳·夸斯 2 弗兰克·G·拉德马赫。 2 里塔姆·拉哈 2 沃尔夫冈·托马斯 2 马丁·齐默尔曼 1 托马斯·奥戈特内斯 1 西里亚克·艾斯瓦里亚 1 Alechina，娜塔莎 1 本杰明·阿米诺夫 1 亚历山德罗·阿塔尔 1 大卫·巴罗齐尼 1 弗朗西斯科·贝拉迪内利 1 贝内维特斯，马里奥·R·F·。 1 贝拉德，贝特里奇 1 斯坦尼斯拉夫·博姆 1 劳拉·博泽利 1 牛，尼尔斯 1 丹尼尔·本达拉 1 Carayol，阿诺 1 皮埃尔·香巴特 1 内森·科恩 1 托马斯·科尔科姆贝特 1 戴维·康隆 1 西里亚克，爱斯瓦里亚 1 Deters，摩根 1 约翰内斯·多莱沙尔 1 Gilles Dowek 1 克劳斯·阿格博士 1 亨宁费尔瑙 1 奥利维·芬克尔 1 乔治·H·L·弗莱彻。 1 Forejt，Vojtěch公司 1 福克斯，雅各布 1 摩西·加纳迪 1 西蒙·盖伊。 1 斯坦·格吕纳 1 马克·吉森 1 谢尔盖·哈达德 1 马修·黑格 1 西蒙·哈尔丰 1 克里斯托弗·汉普森 1 罗宾·赫希 1 斯特凡·贾克斯 1 马塞尔·杰克逊。 1 蒂埃里·杰伦 1 斯坦尼斯拉夫·基科特 1 Ko、Sang-Ki 1 罗马人孔查科夫 1 安东尼·库塞拉 1 阿吉·库鲁茨 1 迪特里赫·库斯克 1 马丁·库特里布 1 马塞尔·凯亚斯 1 拉齐奇，兰科 1 恩格尔·勒福丘 1 卡罗琳娜·莱赫蒂宁 1 德克·伦德斯 1 亚历山大·洛赫曼 …还有61位作者 全部的 前5名18篇连载文章中引用 9 理论计算机科学 9 计算机科学中的逻辑方法 7 计算机与系统科学杂志 7 信息与计算 5 ACM计算逻辑事务 2 符号逻辑杂志 2 计算系统理论 2 计算机基础理论 1 人工智能 1 信息科学 1 Studia Logica公司 1 合成 1 美国数学学会会刊 1 自动推理杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 应用逻辑杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名在7个字段中引用 83 计算机科学（68至XX） 30 数理逻辑与基础（03-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的引文