编辑配置文件(在新选项卡中打开) 斯蒂芬·克鲁泽 合著者距离 作者ID: 克鲁特泽·斯特潘 发布日期: 斯蒂芬·克鲁泽;Kreutzer,S。 编入索引的文档: 91出版物自1999年以来,包括7其他arXiv预打印 3作为编辑的贡献 合著者: 75位合著者具有81联合出版物 2321合著作者 全部的 前5名合著者 11 单作者的 20 塞巴斯蒂安·西伯茨 15 川崎敬一 15 罗马人拉比诺维奇 10 阿努杰,达瓦尔 9 格罗赫,马丁 7 Micha Pilipczuk 6 赛义德·阿库翁迪安·阿米里 6 埃里希·格拉德尔 5 加亚尔斯克,雅库布 5 大执政官Giannopoulou。 5 塞巴斯蒂安·奥德尼亚克 4 亨特,保罗 4 尼科尔·施韦卡特 3 迪特马尔·伯旺格 3 科德·艾克迈耶 3 帕特丽斯·奥斯纳·德门德斯 3 西门托伦奇克 3 塞巴斯蒂安·维德雷赫特 2 朱利安·查尔斯·布拉德菲尔德 2 克里斯托夫·迪特曼 2 维克托·恩格尔曼 2 费多尔·福明。 2 马克西米利安·戈斯基 2 卢卡斯·凯泽 2 Ojoung Kwon 2 马丁·兰格 2 达尼尔·马克思 2 博扬·莫哈尔 2 雅罗斯拉夫·内舍特伊尔 2 丹尼尔·基罗兹(Daniel A.Quiroz)。 2 斯塔夫罗普洛斯,康斯坦蒂诺斯S。 2 暹罗塔扎里 2 范登·胡维尔(Jan van den Heuvel) 1 艾索尔德·阿德勒 1 阿尔伯特·阿塞里亚斯 1 罗兰·阿克塞尔森 1 阿希姆·布卢门塔什 1 Mikołaj博扬奇克 1 爱德华·博内 1 波尔·格伦奥斯·德伦奇 1 简·德雷尔 1 皮埃尔·弗拉吉奥德 1 阿里·戈尔沙尼 1 克里斯托夫·哈斯 1 马修·黑格 1 哈策尔,梅克 1 小林,Yusuke 1 丹尼尔·科拉尔 1 马雷克·克查尔 1 马库斯拿铁 1 丹尼尔·洛克斯塔诺夫 1 尼古拉斯·马尔曼 1 艾琳·穆齐 1 不,马克 1 Obdr zalek,简 1 德门德斯·帕特里斯·奥斯纳 1 马丁·奥托 1 乔尔·欧·瓦克宁。 1 乌姆,桑吉尔 1 马钦·皮利普祖克(Marcin L.Pilipczuk)。 1 费利克斯·雷德尔 1 克里斯蒂安·里韦罗斯 1 费尔南多·桑切斯·维拉米尔 1 萨科特·索拉布 1 保罗·D·西摩。 1 索姆纳特·锡达尔 1 西蒙,皮埃尔 1 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 1 亚历山德鲁·伊昂·托梅斯库 1 多米尼克·范德泽彭 1 格里沙韦伯斯特 1 保罗·沃尔兰 1 大卫·罗纳德·伍德 1 詹姆斯·沃雷尔。 1 谢启钦 全部的 前5名系列 8 理论计算机科学 3 ACM计算逻辑事务 2 组合理论杂志。B系列 1 离散应用数学 1 信息处理信件 1 纯逻辑与应用逻辑年鉴 1 离散和计算几何 1 SIAM离散数学杂志 1 逻辑与计算杂志 1 组合数学电子杂志 1 计算系统理论 1 美国医学会杂志 1 计算机科学中的逻辑方法 1 ACM算法事务 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 66 计算机科学(68至XX) 53 组合数学(05-XX) 36 数学逻辑和基础(03-XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 3 总体主题;集合(00-XX) 2 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 70出版物有被引用710中的次408文件 引用人▼ 年份▼ DAG宽度和平价游戏。 Zbl 1136.68447号 迪特马尔·伯旺格;阿努杰,达瓦尔;亨特,保罗;斯蒂芬·克鲁泽 55 2006 无处稠密图的一阶性质的判定。 Zbl 1426.68172号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 46 2017 无处稠密图的一阶性质的判定。 Zbl 1315.05118号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 46 2014 现时意义图类中的支配问题。 Zbl 1248.68241号 阿努杰,达瓦尔;斯蒂芬·克鲁泽 44 2009 有向图度量:Kelly分解、游戏和排序。 Zbl 1152.91015号 亨特,保罗;斯蒂芬·克鲁泽 42 2008 核化和稀疏性:支配集的情况。 兹伯利1388.68110 波尔·格伦奥斯·德伦奇;马库斯·德雷吉;费多尔·福明。;斯蒂芬·克鲁泽;丹尼尔·洛克斯塔诺夫;马钦·皮里普祖克;Micha Pilipczuk;费利克斯·雷德尔;费尔南多·桑切斯·维拉米尔;萨科特·索拉布;塞巴斯蒂安·西伯茨;索姆纳特·锡达尔 34 2016 有向图的数据宽度。 Zbl 1246.05065号 迪特马尔·伯旺格;阿努杰,达瓦尔;亨特,保罗;斯蒂芬·克鲁泽;Obdr zalek,简 29 2012 有向网格定理。 Zbl 1321.05249号 川原慎一;斯蒂芬·克鲁泽 26 2015 计算被排除的未成年人。 Zbl 1192.68810号 艾索尔德·阿德勒;格罗赫,马丁;斯蒂芬·克鲁泽 25 2008 无处稠密图类的邻域复杂性和核化。 Zbl 1441.68176号 科德·艾克迈耶;大执政官Giannopoulou。;斯蒂芬·克鲁泽;权,O-Joung;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 23 2017 简洁参数单计数器自动机的可达性。 Zbl 1254.68134号 克里斯托夫·哈斯;斯蒂芬·克鲁泽;约尔·瓦克宁;詹姆斯·沃雷尔 22 2009 算法元定理的方法。 Zbl 1278.68099号 格罗赫,马丁;斯蒂芬·克鲁泽 20 2011 有向图的一个排除半积分网格定理和有向不相交路径问题。 Zbl 1315.05132号 川原慎一;小林,Yusuke;斯蒂芬·克鲁泽 15 2014 算法元理论。 Zbl 1262.03058号 斯蒂芬·克鲁泽 15 2011 无处稠密图类的多项式核和宽性。 Zbl 1410.05112号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 13 2017 有向图分解和有向图搜索中的单调性。 Zbl 1202.68285号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 13 2008 给无处覆盖的稠密图着色。 Zbl 1417.05067号 格罗赫,马丁;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;康斯坦蒂诺斯·斯塔夫罗普洛斯 12 2016 有向图度量:Kelly分解、游戏和排序。 Zbl 1302.05068号 亨特,保罗;斯蒂芬·克鲁泽 12 2007 给无处覆盖的稠密图着色。 Zbl 1398.05121号 格罗赫,马丁;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;康斯坦蒂诺斯·斯塔夫罗普洛斯 11 2018 无处稠密图的特征(特邀演讲)。 Zbl 1359.05102号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 11 2013 模型理论使公式变大。 Zbl 1171.03324号 阿努杰,达瓦尔;格罗赫,马丁;斯蒂芬·克鲁泽;尼科尔·施韦卡特 11 2007 算法元理论。 Zbl 1142.68458号 斯蒂芬·克鲁泽 11 2008 无方向密集的图类。 Zbl 1423.68353号 斯蒂芬·克鲁泽;暹罗塔扎里 10 2012 在荆棘、网格状子节点和参数化一元二阶逻辑的难处理性上。 Zbl 1288.05282号 斯蒂芬·克鲁泽;塔扎里,锡亚马克 10 2010 有界展开类的一阶解释。 Zbl 1446.68094号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 9 2020 有向图的大多数着色。 Zbl 1364.05029号 斯蒂芬·克鲁泽;乌姆,桑吉尔;保罗·西摩;多米尼克·范德泽彭;大卫·R·伍德。 9 2017 定量一元二阶逻辑。 Zbl 1366.03216号 斯蒂芬·克鲁泽;克里斯蒂安·里韦罗斯 8 2013 图搜索游戏和有向图的宽度度量。 兹比尔1355.05168 赛义德·阿库恩迪安·阿米里(Saeed Akhondian Amiri);凯撒,乌卡斯;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 7 2015 有向平板定理。 Zbl 07304038号 大执政官Giannopoulou。;川崎敬一;斯蒂芬·克鲁泽;权,O-Joung 7 2020 模态逻辑中的膨胀不动点。 Zbl 1407.03031号 阿努杰,达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 7 2004 打包定向循环通过指定的顶点集。 Zbl 1423.05133号 Kawarabayashi,K。;科拉尔,D。;M.Král。;Kreutzer,S。 6 2013 有向图分解和有向图搜索中的单调性。 Zbl 1223.68085号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 6 2011 最小值和通货膨胀定点逻辑的表达式等价。 Zbl 1052.03012号 斯蒂芬·克鲁泽 5 2004 有界扩张类上的广义着色数。 Zbl 1398.05089号 斯蒂芬·克鲁泽;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 5 2016 具有禁止子图的有向图的一个排除格定理。 Zbl 1423.05160号 川崎敬一;斯蒂芬·克鲁泽 4 2014 约束数据库的描述复杂性理论。 Zbl 0944.68053号 埃里希·格拉德尔;斯蒂芬·克鲁泽 4 1999 DAG宽度为PSPACE完成。 Zbl 1353.68105号 阿米里,赛义德·阿昆迪亚;斯蒂芬·克鲁泽;罗马人拉比诺维奇 4 2016 非循环有向图中的拥塞路由。 Zbl 1461.05098号 赛义德·阿库翁迪安·阿米里;斯蒂芬·克鲁泽;达尼尔·马克思;罗马人拉比诺维奇 4 2019 距离控制游戏。 Zbl 1200.68172号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 4 2010 扩展计算树逻辑。 Zbl 1306.68098号 罗兰·阿克塞尔森;马修·黑格;斯蒂芬·克鲁泽;马丁·兰格;马库斯拿铁 4 2010 有界展开类的一阶解释。 Zbl 1499.68202号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 有界宽度的有向图。 Zbl 1407.05113号 斯蒂芬·克鲁泽;权,O-Joung 3 2018 无处稠密图类的多项式核和宽性。 Zbl 1454.05064号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 3 2019 穆奇尼克定理的推广。 Zbl 1067.03016号 阿希姆·布卢门塔什;斯蒂芬·克鲁泽 3 2005 非循环有向图中的拥塞路由。 Zbl 1398.68208号 赛义德·阿库恩迪安·阿米里(Saeed Akhondian Amiri);斯蒂芬·克鲁泽;达尼尔·马克思;罗马人拉比诺维奇 3 2016 多项式平面有向网格定理。 Zbl 1434.05147号 美克·哈特泽尔;川原慎一;斯蒂芬·克鲁泽 3 2019 无限结构上的部分定点逻辑。 Zbl 1021.03017号 斯蒂芬·克鲁泽 3 2002 3空间中的无链接平面嵌入和未知问题。 Zbl 1284.05174号 川崎敬一;斯蒂芬·克鲁泽;博扬·莫哈尔 3 2010 图形搜索游戏。 Zbl 1229.91084号 斯蒂芬·克鲁泽 3 2011 数据日志与LFP。 Zbl 1155.68402号 阿努杰,达瓦尔;斯蒂芬·克鲁泽 3 2008 独立友好的定点逻辑的复杂性。 兹比尔1136.03312 朱利安·布拉德菲尔德;斯蒂芬·克鲁泽 3 2005 从前在西方。路径游戏的确定性、可定义性和复杂性。 Zbl 1273.91081号 迪特马尔·伯旺格;埃里希·格拉德尔;斯蒂芬·克鲁泽 3 2003 模态演算的分解定理和模型检验。 Zbl 1394.68222号 米科拉伊·博扬奇克;克里斯托夫·迪特曼;斯蒂芬·克鲁泽 2 2014 稀疏有向图中强距离支配集的结构性质和常数因子逼近。 Zbl 1402.05180号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;格里沙韦伯斯特 2 2017 奇偶博弈和多项式时间算法的图形操作。 Zbl 1334.05088号 克里斯托夫·迪特曼;斯蒂芬·克鲁泽;亚历山大·托梅斯库一世。 2 2016 2015年9月7日至10日,第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林。诉讼程序。 兹比尔1329.68032 2 2015 向上平面图中的顶点不相交路径。 Zbl 1408.68105号 赛义德·阿库翁迪安·阿米里;阿里·戈尔沙尼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 2 2014 关于一元二阶逻辑的参数化难处理性。 Zbl 1257.68070号 斯蒂芬·克鲁泽 2 2009 关于一元二阶逻辑的参数化难处理性。 Zbl 1238.68067号 斯蒂芬·克鲁泽 2 2012 回溯游戏和通货膨胀固定点。 Zbl 1098.68622号 阿努杰,达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 1 2004 有序结构上的一阶和一阶二阶模型检验。 Zbl 1362.68167号 维克托·恩格尔曼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 1 2012 模态逻辑中的膨胀不动点。 Zbl 0999.03019号 A.达瓦尔。;Grädel,E。;Kreutzer,S。 1 2001 关于Hanf等价性和小诱导子图的嵌入数。 Zbl 1394.03057号 斯蒂芬·克鲁泽;尼科尔·施韦卡特 1 2014 关于有向图的图小定理。 Zbl 1448.05189号 川崎敬一;斯蒂芬·克鲁泽 1 2015 约束数据库的查询语言:一阶逻辑、定点和凸包。 兹比尔1047.68051 斯蒂芬·克鲁泽 1 2001 将有限结构的模态特性自动化。 Zbl 1027.68081号 A.达瓦尔。;Kreutzer,S。 1 2002 约束数据库上定点逻辑的操作语义。 Zbl 1275.68066号 斯蒂芬·克鲁泽 1 2001 有界展开图类上连续不变一阶公式的模型检验。 Zbl 1460.68066号 范登·胡维尔(Jan van den Heuvel);斯蒂芬·克鲁泽;Micha Pilipczuk;丹尼尔·基罗兹(Daniel A.Quiroz)。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 1 2017 特刊:根据GRAph搜索、理论和应用第四次研讨会上的演示文稿选出的论文,GRASTA 2011,2012年2月13日至18日。在Lefteris M.Kirousis教授60岁生日之际致敬他。 Zbl 1283.05005号 1 2012 三空间无链接和平面嵌入。 Zbl 1241.05095号 川崎敬一;斯蒂芬·克鲁泽;博扬·莫哈尔 1 2012 有界展开类的一阶解释。 Zbl 1446.68094号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 9 2020 有向平板定理。 Zbl 07304038号 大执政官Giannopoulou。;川崎敬一;斯蒂芬·克鲁泽;权,O-Joung 7 2020 非循环有向图中的拥塞路由。 Zbl 1461.05098号 赛义德·阿库翁迪安·阿米里;斯蒂芬·克鲁泽;达尼尔·马克思;罗马人拉比诺维奇 4 2019 无处稠密图类的多项式核和宽性。 Zbl 1454.05064号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 3 2019 多项式平面有向网格定理。 Zbl 1434.05147号 美克·哈特泽尔;川崎敬一;斯蒂芬·克鲁泽 3 2019 给无处覆盖的稠密图着色。 Zbl 1398.05121号 格罗赫,马丁;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;康斯坦蒂诺斯·斯塔夫罗普洛斯 11 2018 有界展开类的一阶解释。 Zbl 1499.68202号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 有界宽度的有向图。 Zbl 1407.05113号 斯蒂芬·克鲁泽;权,O-Joung 3 2018 无处稠密图的一阶性质的判定。 Zbl 1426.68172号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 46 2017 无处稠密图类的邻域复杂性和核化。 Zbl 1441.68176号 科德·艾克迈耶;大执政官Giannopoulou。;斯蒂芬·克鲁泽;Kwon,O-Joung(Kwon,O-Joung);Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 23 2017 无处稠密图类的多项式核和宽性。 Zbl 1410.05112号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 13 2017 有向图的大多数着色。 Zbl 1364.05029号 斯蒂芬·克鲁泽;乌姆,桑吉尔;保罗·西摩;多米尼克·范德泽彭;大卫·R·伍德。 9 2017 稀疏有向图中强距离支配集的结构性质和常数因子逼近。 Zbl 1402.05180号 斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;格里沙韦伯斯特 2 2017 有界展开图类上连续不变一阶公式的模型检验。 Zbl 1460.68066号 范登·胡维尔(Jan van den Heuvel);斯蒂芬·克鲁泽;Micha Pilipczuk;丹尼尔·A·奎罗兹。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 1 2017 核化和稀疏性:支配集的情况。 Zbl 1388.68110号 波尔·格伦奥斯·德伦奇;马库斯·德雷吉;费多尔·福明。;斯蒂芬·克鲁泽;丹尼尔·洛克斯塔诺夫;马钦·皮里普祖克;Micha Pilipczuk;费利克斯·雷德尔;费尔南多·桑切斯·维拉米尔;萨科特·索拉布;塞巴斯蒂安·西伯茨;索姆纳特·锡达尔 34 2016 给无处覆盖的稠密图着色。 Zbl 1417.05067号 格罗赫,马丁;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;康斯坦蒂诺斯·斯塔夫罗普洛斯 12 2016 有界展开类上的广义着色数。 Zbl 1398.05089号 斯蒂芬·克鲁泽;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 5 2016 DAG宽度为PSPACE完成。 Zbl 1353.68105号 赛义德·阿库恩迪安·阿米里(Saeed Akhondian Amiri);斯蒂芬·克鲁泽;罗马人拉比诺维奇 4 2016 非循环有向图中的拥塞路由。 Zbl 1398.68208号 赛义德·阿库恩迪安·阿米里(Saeed Akhondian Amiri);斯蒂芬·克鲁泽;达尼尔·马克思;罗马人拉比诺维奇 3 2016 奇偶博弈和多项式时间算法的图形操作。 Zbl 1334.05088号 克里斯托夫·迪特曼;斯蒂芬·克鲁泽;亚历山大·托梅斯库一世。 2 2016 有向网格定理。 Zbl 1321.05249号 川崎敬一;斯蒂芬·克鲁泽 26 2015 图搜索游戏和有向图的宽度度量。 Zbl 1355.05168号 赛义德·阿库恩迪安·阿米里(Saeed Akhondian Amiri);凯撒,乌卡斯;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 7 2015 2015年9月7日至10日,第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林。诉讼程序。 Zbl 1329.68032号 2 2015 关于有向图的图小定理。 Zbl 1448.05189号 川崎敬一;斯蒂芬·克鲁泽 1 2015 无处稠密图的一阶性质的判定。 Zbl 1315.05118号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 46 2014 有向图的一个排除半积分网格定理和有向不相交路径问题。 Zbl 1315.05132号 川原慎一;小林,Yusuke;斯蒂芬·克鲁泽 15 2014 具有禁止子图的有向图的一个排除格定理。 Zbl 1423.05160号 川崎敬一;斯蒂芬·克鲁泽 4 2014 模态演算的分解定理和模型检验。 Zbl 1394.68222号 米科拉伊·博扬奇克;克里斯托夫·迪特曼;斯蒂芬·克鲁泽 2 2014 向上平面图中的顶点不相交路径。 Zbl 1408.68105号 赛义德·阿库翁迪安·阿米里;阿里·戈尔沙尼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 2 2014 关于Hanf等价性和小诱导子图的嵌入数。 兹比尔1394.03057 斯蒂芬·克鲁泽;尼科尔·施韦卡特 1 2014 无处密集图的特征(受邀演讲)。 Zbl 1359.05102号 格罗赫,马丁;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 11 2013 定量一元二阶逻辑。 Zbl 1366.03216号 斯蒂芬·克鲁泽;克里斯蒂安·里韦罗斯 8 2013 打包定向循环通过指定的顶点集。 Zbl 1423.05133号 Kawarabayashi,K。;Král;,D。;M.Král。;Kreutzer,S。 6 2013 有向图的数据宽度。 Zbl 1246.05065号 迪特马尔·伯旺格;阿努杰,达瓦尔;亨特,保罗;斯蒂芬·克鲁泽;Obdržálek,简 29 2012 无方向密集的图类。 Zbl 1423.68353号 斯蒂芬·克鲁泽;暹罗塔扎里 10 2012 关于一元二阶逻辑的参数化难处理性。 Zbl 1238.68067号 斯蒂芬·克鲁泽 2 2012 有序结构上的一阶和一阶二阶模型检验。 Zbl 1362.68167号 维克托·恩格尔曼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨 1 2012 特刊:根据GRAph搜索、理论和应用第四次研讨会上的演示文稿选出的论文,GRASTA 2011,2012年2月13日至18日。在Lefteris M.Kirousis教授60岁生日之际致敬他。 Zbl 1283.05005号 1 2012 3个空间中的无链接平面嵌入。 兹比尔1241.05095 川崎敬一;斯蒂芬·克鲁泽;博扬·莫哈尔 1 2012 算法元定理的方法。 Zbl 1278.68099号 格罗赫,马丁;斯蒂芬·克鲁泽 20 2011 算法元理论。 Zbl 1262.03058号 斯蒂芬·克鲁泽 15 2011 有向图分解和有向图搜索中的单调性。 Zbl 1223.68085号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 6 2011 图形搜索游戏。 Zbl 1229.91084号 斯蒂芬·克鲁泽 3 2011 在荆棘、网格状子节点和参数化一元二阶逻辑的难处理性上。 Zbl 1288.05282号 斯蒂芬·克鲁泽;暹罗塔扎里 10 2010 距离控制游戏。 Zbl 1200.68172号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 4 2010 扩展计算树逻辑。 Zbl 1306.68098号 罗兰·阿克塞尔森;马修·黑格;斯蒂芬·克鲁泽;马丁·兰格;马库斯拿铁 4 2010 3空间中的无链接平面嵌入和未知问题。 Zbl 1284.05174号 川崎敬一;斯蒂芬·克鲁泽;博扬·莫哈尔 3 2010 现时意义图类中的支配问题。 Zbl 1248.68241号 阿努杰,达瓦尔;斯蒂芬·克鲁泽 44 2009 简洁参数单计数器自动机的可达性。 Zbl 1254.68134号 克里斯托夫·哈斯;斯蒂芬·克鲁泽;约尔·瓦克宁;詹姆斯·沃雷尔 22 2009 关于一元二阶逻辑的参数化难处理性。 兹比尔1257.68070 斯蒂芬·克鲁泽 2 2009 有向图度量:Kelly分解、游戏和排序。 Zbl 1152.91015号 亨特,保罗;斯蒂芬·克鲁泽 42 2008 计算被排除的未成年人。 Zbl 1192.68810号 艾索尔德·阿德勒;格罗赫,马丁;斯蒂芬·克鲁泽 25 2008 有向图分解和有向图搜索中的单调性。 Zbl 1202.68285号 斯蒂芬·克鲁泽;塞巴斯蒂安·奥德尼亚克 13 2008 算法元理论。 Zbl 1142.68458号 斯蒂芬·克鲁泽 11 2008 数据日志与LFP。 Zbl 1155.68402号 阿努杰,达瓦尔;斯蒂芬·克鲁泽 3 2008 有向图度量:Kelly分解、游戏和排序。 Zbl 1302.05068号 亨特,保罗;斯蒂芬·克鲁泽 12 2007 模型理论使公式变大。 Zbl 1171.03324号 阿努杰,达瓦尔;格罗赫,马丁;斯蒂芬·克鲁泽;妮可·施韦卡特 11 2007 DAG宽度和平价游戏。 Zbl 1136.68447号 迪特马尔·伯旺格;阿努杰,达瓦尔;亨特,保罗;斯蒂芬·克鲁泽 55 2006 穆奇尼克定理的推广。 Zbl 1067.03016号 阿希姆·布卢门塔什;斯蒂芬·克鲁泽 3 2005 独立友好的定点逻辑的复杂性。 Zbl 1136.03312号 朱利安·布拉德菲尔德;斯蒂芬·克鲁泽 3 2005 模态逻辑中的膨胀不动点。 Zbl 1407.03031号 阿努杰,达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 7 2004 最小值和通货膨胀定点逻辑的表达式等价。 Zbl 1052.03012号 斯蒂芬·克鲁泽 5 2004 回溯游戏和通货膨胀固定点。 Zbl 1098.68622号 阿努杰,达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 1 2004 从前在西方。路径博弈的确定性、可定义性和复杂性。 Zbl 1273.91081号 迪特马尔·伯旺格;埃里希·格拉德尔;斯蒂芬·克鲁泽 3 2003 无限结构上的部分定点逻辑。 Zbl 1021.03017号 斯蒂芬·克鲁泽 3 2002 将有限结构的模态特性自动化。 Zbl 1027.68081号 A.达瓦尔。;Kreutzer,S。 1 2002 模态逻辑中的膨胀不动点。 Zbl 0999.03019号 A.达瓦尔。;Grädel,E。;Kreutzer,S。 1 2001 约束数据库的查询语言:一阶逻辑、定点和凸包。 兹比尔1047.68051 斯蒂芬·克鲁泽 1 2001 约束数据库上定点逻辑的操作语义。 Zbl 1275.68066号 斯蒂芬·克鲁泽 1 2001 约束数据库的描述复杂性理论。 Zbl 0944.68053号 埃里希·格拉德尔;斯蒂芬·克鲁泽 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名570位作者引用 24 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 22 斯蒂芬·克鲁泽 22 塞巴斯蒂安·西伯茨 18 萨科特·索拉布 16 费多尔·福明。 15 丹尼尔·洛克斯塔诺夫 15 帕特丽斯·奥斯纳·德门德斯 14 Micha Pilipczuk 13 罗伯特·加尼安 13 雅罗斯拉夫·内舍特伊尔 13 塞巴斯蒂安·奥德尼亚克 13 罗马人拉比诺维奇 12 费利克斯·雷德尔 11 彼得·赫林 10 彼得·罗斯马尼思 9 Amer E.穆阿瓦德。 9 法赫德·帕诺兰 9 马钦·皮利普祖克(Marcin L.Pilipczuk)。 8 加亚尔斯克,雅库布 8 菲利普·马佐维耶基 8 Obdr zalek,简 8 拉马努詹,M.S。 8 吉安诺斯·斯塔穆利斯 7 大执政官Giannopoulou。 7 Petr A.Golovach。 6 艾索尔德·阿德勒 6 爱德华·博内 6 爱德华·艾本 6 丹尼尔·梅斯特 6 伊格纳西·绍 6 斯文·舍韦 6 索姆纳特·锡达尔 6 Jan Arne特勒 5 约根·邦杰森 5 阿努杰,达瓦尔 5 简·德雷尔 5 格罗赫,马丁 5 弗雷德里克·哈维特 5 金恩贞(Kim,Eun Jung) 5 艾琳·穆齐 5 斯泽德,斯特凡 5 塞巴斯蒂安·维德雷赫特 4 德奥利维拉·奥利维拉,马特乌斯 4 德沃亚克、兹登亚克 4 埃里希·格拉德尔 4 Tesshu的Hanaka 4 亨特,保罗 4 川崎敬一 4 亨利·基尔斯泰德。 4 约阿希姆·奈伊斯 4 Ojoung Kwon 4 迈克尔·兰皮斯 4 亚历山大·兰格 4 劳尔·H·C·洛佩斯。 4 达尼尔·马克思 4 托马斯·马萨尼克 4 尼塞,尼古拉斯 4 尤塔·奥塔奇 4 Rehs,卡罗琳 4 阿诺德·桑尼尔 4 尼科尔·施韦卡特 4 卢克·塞古芬 4 布莱尔·沙利文。 4 范登·胡维尔(Jan van den Heuvel) 4 亚历山大·维格尼 4 乔尼·维尔特玛 4 梅拉夫·泽哈维 3 赛义德·阿库翁迪安·阿米里 3 迪特马尔·伯旺格 3 贝内迪克特·博利格 3 西蒙·波娃 3 陈一佳 3 布鲁诺·库塞尔 3 罗德尼·格雷厄姆·唐尼 3 弗兰克·古尔斯基 3 丹尼·赫尔梅林 3 迈克尔·R·A·胡特。 3 蒋一婷 3 格温娜·乔雷特 3 希瓦·基塔利 3 多米尼克·科曼德 3 马丁·库特克 3 杰罗姆·勒鲁 3 内尔德哈拉·米斯拉 3 佩德罗·蒙塔雷格里 3 大野弘太郎 3 菲利普·格瓦尔盖塞 3 文卡特斯·拉曼 3 克里斯蒂安·里韦罗斯 3 帕韦·鲁斯基 3 弗洛里安·西科拉 3 康斯坦丁诺斯·斯塔夫罗普洛斯。 3 圣埃芬托马斯 3 爱荷华州托丹加 3 西门托伦奇克 3 Yngve村 3 大卫·罗纳德·伍德 2 皮埃尔·阿伯克 2 阿坎沙阿格拉瓦尔 2 Michael A.Benedikt。 …还有470多名作者 全部的 前5名59篇连载文章中引用 44 理论计算机科学 26 算法 20 离散应用数学 18 计算机与系统科学杂志 16 SIAM离散数学杂志 15 欧洲组合数学杂志 15 信息与计算 14 计算机科学中的逻辑方法 13 组合数学电子杂志 12 组合理论杂志。B系列 7 图论杂志 7 ACM计算逻辑事务 5 SIAM计算机杂志 5 计算机科学评论 4 离散数学 4 纯逻辑与应用逻辑年鉴 3 信息处理信件 3 图与组合 3 计算系统理论 3 离散数学和理论计算机科学。DMTCS公司 2 人工智能 2 Studia Logica公司 2 系统设计中的形式化方法 2 组合优化期刊 2 美国医学会杂志 2 国际博弈论综述 2 ACM实验算法杂志 2 Oberwolfach报告 2 离散优化 2 离散数学、算法和应用 2 组合理论 1 德国数学实验室(DMV) 1 数学物理杂志 1 组合理论杂志。系列A 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 美国数学学会回忆录 1 匈牙利数学学报 1 离散和计算几何 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 分布式计算 1 数学编程。A系列B系列 1 逻辑、语言与信息杂志 1 组合数学、概率与计算 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 数学与人工智能年鉴 1 限制条件 1 欧洲数学学会期刊 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 符号逻辑述评 1 算法 1 编年史:帕达戈吉大学(Paedagogicae Cracoviensis)。数学研究所 1 RAIRO公司。理论信息学及其应用 1 ACM算法事务 全部的 前5名在20个字段中引用 268 计算机科学(68至XX) 232 组合数学(05-XX) 82 数学逻辑和基础(03-XX) 45 博弈论、经济学、金融和其他社会和行为科学(91-XX) 20 运筹学、数学规划(90-XX) 5 有序,格,有序代数结构(06-XX) 3 总体主题;集合(00-XX) 3 流形和细胞复合体(57至XX) 2 历史和传记(01-XX) 2 范畴理论;同调代数(18-XX) 2 测量和集成(28-XX) 1 一般代数系统(08-XX) 1 代数几何(14-XX) 1 动力系统和遍历理论(37至XX) 1 凸和离散几何(52至XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文