×
作者ID: 克鲁特泽·斯特潘最近由“Kreutzer,Stephan”撰写的zbMATH文章
发布日期: 斯蒂芬·克鲁泽;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 谢启钦

按年份列出的出版物

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名

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算法事务

按年份列出的引文