1.Parameterized Complexity of First-Order Logic

作　　者：Stephan Kreutzer ;Anuj Dawar

出　　处：Electronic Colloquium on Computational Complexity. 2009 ;2009.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774531

文章详细全文下载

2.Algorithmic Meta-Theorems

作　　者：Stephan Kreutzer

出　　处：Electronic Colloquium on Computational Complexity. 2009 ;2009.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774547

文章详细全文下载

3.Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs

作　　者：Stephan Kreutzer ;Roman Rabinovich ;Sebastian Siebertz 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:48:1-48:15.doi:10.4230/LIPIcs.STACS.2017.48

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698377

文章详细全文下载

4.Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs

作　　者：Kord Eickmeyer ;Archontia C. Giannopoulou ;Stephan Kreutzer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:63:1-63:14.doi:10.4230/LIPIcs.ICALP.2017.63

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372017

文章详细全文下载

5.Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)

作　　者：Stephan Kreutzer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:4:1-4:5.doi:10.4230/LIPIcs.CSL.2017.4

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735070

文章详细全文下载

6.Computing Shrub-Depth Decompositions

作　　者：Jakub Gajarsk{'y ;Stephan Kreutzer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:56:1-56:17.doi:10.4230/LIPIcs.STACS.2020.56

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823595

文章详细全文下载

7.On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface

作　　者：Albert Atserias ;Stephan Kreutzer ;Marc Noy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:116:1-116:14.doi:10.4230/LIPIcs.ICALP.2018.116

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014907

文章详细

8.First-Order Interpretations of Bounded Expansion Classes

作　　者：Jakub Gajarsk{\'y ;Stephan Kreutzer ;Jaroslav Nesetril 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:126:1-126:14.doi:10.4230/LIPIcs.ICALP.2018.126

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014917

文章详细

9.On the Parameterized Intractability of Monadic Second-Order Logic

作　　者：Stephan Kreutzer

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:27)2012

出版社：Technical University of Braunschweig

文章 ID：264691953

文章详细全文下载

10.Domination Problems in Nowhere-Dense Classes

作　　者：Anuj Dawar ;Stephan Kreutzer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:157-168.doi:10.4230/LIPIcs.FSTTCS.2009.2315

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845598

文章详细全文下载

	有本地全文	15篇
	有全文链接	2篇

	2020	1篇
	2019	1篇
	2018	2篇
	2017	3篇
	2016	3篇

	2015	2篇
	2013	1篇
	2012	1篇
	2009	3篇

	Stephan Kreutzer	17篇
	Sebastian Siebertz	8篇
	Roman Rabinovich	6篇
	Michal Pilipczuk	4篇
	Anuj Dawar	2篇

	Patrice Ossona de Mendez	2篇
	Saeed Akhoondian Amiri	2篇
	Albert Atserias	1篇
	Archontia C. Giannopoulou	1篇
	Daniel Lokshtanov	1篇
	D{\'a}niel Marx	1篇
	Fedor V. Fomin	1篇
	Felix Reidl	1篇
	Fernando S{\'a}nchez Villaamil	1篇
	Grischa Weberst{\"a}dt	1篇
	Irene Muzi	1篇
	Jakub Gajarsk{'y	1篇
	Jakub Gajarsk{\'y	1篇
	Jaroslav Nesetril	1篇
	Kord Eickmeyer	1篇
	Lukasz Kaiser	1篇
	Marc Noy	1篇
	Marcin Pilipczuk	1篇
	Markus Dregi	1篇
	Martin Grohe	1篇
	O-joung Kwon	1篇
	Pål Gr\onås Drange	1篇
	Saket Saurabh	1篇
	Somnath Sikdar	1篇
	Szymon Torunczyk	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stephan Kreutzer")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	14篇
	Electronic Colloquium on Computational Complexity	2篇
	Logical Methods in Computer Science	1篇