Stephan Kreutzer

Cited by

	All	Since 2018
Citations	2948	1329
h-index	29	21
i10-index	61	39

260

130

195

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 7 21 18 24 22 72 62 65 100 94 133 184 155 127 201 246 199 189 196 233 245 260

Public access

View all

26 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Ken-ichi KawarabayashiNational Institute of Informatics, The University of TokyoVerified email at nii.ac.jp
Nicole SchweikardtProfessor of Computer Science, Humboldt-University BerlinVerified email at informatik.hu-berlin.de
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceVerified email at lsv.fr
Siamak TazariGoogleVerified email at google.com
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Łukasz KaiserOpenAI & CNRSVerified email at openai.com
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Alexandru I. TomescuDepartment of Computer Science, University of HelsinkiVerified email at helsinki.fi
Cristian RiverosAssociate Professor, Computer Science Department, PUC ChileVerified email at uc.cl
Daniel KralMasaryk UniversityVerified email at fi.muni.cz
Marek KrčálVerified email at ist.ac.at
Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl

Stephan Kreutzer

Professor of Computer Science, Technical University Berlin

Verified email at tu-berlin.de - Homepage

Logic Graph Theory Complexity Theory Database Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Deciding first-order properties of nowhere dense graphs M Grohe, S Kreutzer, S Siebertz Journal of the ACM (JACM) 64 (3), 1-32, 2017	267	2017
Digraph measures: Kelly decompositions, games, and orderings P Hunter, S Kreutzer Theoretical Computer Science 399 (3), 206-219, 2008	180	2008
DAG-width and parity games D Berwanger, A Dawar, P Hunter, S Kreutzer STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006	170	2006
Locally excluding a minor A Dawar, M Grohe, S Kreutzer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 270-279, 2007	153	2007
The dag-width of directed graphs D Berwanger, A Dawar, P Hunter, S Kreutzer, J Obdržálek Journal of Combinatorial Theory, Series B 102 (4), 900-923, 2012	113	2012
Reachability in succinct and parametric one-counter automata C Haase, S Kreutzer, J Ouaknine, J Worrell CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	109	2009
Computing excluded minors I Adler, M Grohe, S Kreutzer	95	2008
Methods for algorithmic meta theorems M Grohe, S Kreutzer Model Theoretic Methods in Finite Combinatorics 558, 181-206, 2011	85	2011
Domination problems in nowhere-dense classes of graphs A Dawar, S Kreutzer arXiv preprint arXiv:0907.4283, 2009	79	2009
Algorithmic meta-theorems S Kreutzer Parameterized and Exact Computation: Third International Workshop, IWPEC …, 2008	70	2008
First-order interpretations of bounded expansion classes J Gajarský, S Kreutzer, J Nešetřil, POD Mendez, M Pilipczuk, S Siebertz, ... ACM Transactions on Computational Logic (TOCL) 21 (4), 1-41, 2020	69	2020
The Directed Grid Theorem KI Kawarabayashi, S Kreutzer Forty-Seventh Annual ACM on Symposium on Theory of Computing (STOC), 655-664, 2015	68	2015
Model theory makes formulas large A Dawar, M Grohe, S Kreutzer, N Schweikardt Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007	66	2007
Kernelization and sparseness: the case of dominating set PG Drange, MS Dregi, FV Fomin, S Kreutzer, D Lokshtanov, M Pilipczuk, ... arXiv preprint arXiv:1411.4575, 2014	61	2014
Algorithmic meta-theorems. S Kreutzer Finite and algorithmic model theory 379, 177-270, 2011	61	2011
Digraph decompositions and monotonicity in digraph searching S Kreutzer, S Ordyniak Theoretical Computer Science 412 (35), 4688-4703, 2011	59	2011
Expressive equivalence of least and inflationary fixed-point logic S Kreutzer Annals of Pure and Applied Logic 130 (1-3), 61-78, 2004	59	2004
Approximation schemes for first-order definable optimisation problems A Dawar, M Grohe, S Kreutzer, N Schweikardt 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 411-420, 2006	56	2006
Neighborhood complexity and kernelization for nowhere dense classes of graphs K Eickmeyer, AC Giannopoulou, S Kreutzer, O Kwon, M Pilipczuk, ... arXiv preprint arXiv:1612.08197, 2016	55	2016
Lower bounds for the complexity of monadic second-order logic S Kreutzer, S Tazari 2010 25th Annual IEEE Symposium on Logic in Computer Science, 189-198, 2010	53	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors