Stephan Kreutzer
Technische Universität Berlin(DE)
Publications by Year
Research Areas
Advanced Graph Theory Research, Complexity and Algorithms in Graphs, Formal Methods in Verification, Limits and Structures in Graph Theory, semigroups and automata theory
Most-Cited Works
- → DAG-Width and Parity Games(2006)127 cited
- → Locally Excluding a Minor(2007)122 cited
- → Lectures in Game Theory for Computer Scientists(2011)118 cited
- → Deciding First-Order Properties of Nowhere Dense Graphs(2017)114 cited
- → Digraph measures: Kelly decompositions, games, and orderings(2008)100 cited
- → The dag-width of directed graphs(2012)86 cited
- → Reachability in Succinct and Parametric One-Counter Automata(2009)82 cited
- Computing Excluded Minors