Stephan Kreutzer

Cited by

	All	Since 2019
Citations	3229	1412
h-index	29	22
i10-index	63	39

340

170

255

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 8 21 17 23 20 74 62 73 100 91 134 175 160 117 195 243 204 189 191 199 230 267 333

Public access

View all

28 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Ken-ichi KawarabayashiNational Institute of Informatics, The University of TokyoVerified email at nii.ac.jp
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
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 lmf.cnrs.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
Daniel KralMasaryk UniversityVerified email at fi.muni.cz
Marek KrčálVerified email at ist.ac.at
Cristian RiverosAssociate Professor, Computer Science Department, PUC ChileVerified email at uc.cl
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	301	2017
Digraph measures: Kelly decompositions, games, and orderings P Hunter, S Kreutzer Theoretical Computer Science 399 (3), 206-219, 2008	189	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	175	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	164	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	130	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	117	2009
Computing excluded minors I Adler, M Grohe, S Kreutzer	99	2008
Methods for Algorithmic Meta Theorems. M Grohe, S Kreutzer AMS-ASL Joint Special Session 558, 181-206, 2009	98	2009
Domination problems in nowhere-dense classes of graphs A Dawar, S Kreutzer arXiv preprint arXiv:0907.4283, 2009	85	2009
The Directed Grid Theorem KI Kawarabayashi, S Kreutzer Forty-Seventh Annual ACM on Symposium on Theory of Computing (STOC), 655-664, 2015	82	2015
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	77	2020
Algorithmic meta-theorems. S Kreutzer Finite and algorithmic model theory 379, 177-270, 2011	74	2011
Algorithmic meta-theorems S Kreutzer Parameterized and Exact Computation: Third International Workshop, IWPEC …, 2008	69	2008
Model theory makes formulas large A Dawar, M Grohe, S Kreutzer, N Schweikardt Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007	69	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	67	2014
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	64	2016
Digraph decompositions and monotonicity in digraph searching S Kreutzer, S Ordyniak Theoretical Computer Science 412 (35), 4688-4703, 2011	62	2011
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	61	2006
Expressive equivalence of least and inflationary fixed-point logic S Kreutzer Annals of Pure and Applied Logic 130 (1-3), 61-78, 2004	61	2004
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	60	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