Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stephan Kreutzer" ( http://dblp.L3S.de/Authors/Stephan_Kreutzer )

URL (Homepage):  http://www.informatik.hu-berlin.de/~kreutzer/  Author page on DBLP  Author page in RDF  Community of Stephan Kreutzer in ASPL-2

Publication years (Num. hits)
1999-2004 (15) 2005-2008 (18) 2009-2010 (16) 2011-2012 (7)
Publication types (Num. hits)
article(22) inproceedings(33) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(8) CSL(5) LICS(5) Theor. Comput. Sci.(5) ICALP(4) SODA(4) Electronic Colloquium on Compu...(2) FSTTCS(2) LPAR(2) WG(2) ACM Trans. Comput. Log.(1) Ann. Pure Appl. Logic(1) CONCUR(1) Dagstuhl Reports(1) Discrete & Computational Geome...(1) ICDT(1) More (+10 of total 26)
Authors
Stephan Kreutzer(56) Anuj Dawar(14) Erich Grädel(7) Siamak Tazari(6) Martin Grohe(5) Nicole Schweikardt(5) Sebastian Ordyniak(4) Martin Lange(3) Paul Hunter(3) Bojan Mohar(2) Dietmar Berwanger(2) Dimitrios M. Thilikos(2) Fedor V. Fomin(2) Ken-ichi Kawarabayashi(2) Markus Latte(2) Matthew Hague(2) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 56 publication records. Showing 56 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar Linkless and Flat Embeddings in 3-Space. Search on Bibsonomy Discrete & Computational Geometry The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer On the Parameterized Intractability of Monadic Second-Order Logic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Siamak Tazari Directed nowhere dense classes of graphs. Search on Bibsonomy SODA The full citation details ... 2012 DBLP  BibTeX  RDF
1Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos Special Issue on "Theory and Applications of Graph Searching Problems". Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Sebastian Ordyniak Digraph decompositions and monotonicity in digraph searching. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Siamak Tazari Directed Nowhere Dense Classes of Graphs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Siamak Tazari Lower Bounds for the Complexity of Monadic Second-Order Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte Extended Computation Tree Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Stephan Kreutzer, Siamak Tazari On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic. Search on Bibsonomy SODA The full citation details ... 2010 DBLP  BibTeX  RDF
1Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte Extended Computation Tree Logic. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar Linkless and flat embeddings in 3-space and the unknot problem. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2010 DBLP  DOI  BibTeX  RDF flat embedding, linkless embedding, unknot, knot
1Stephan Kreutzer, Siamak Tazari Lower Bounds for the Complexity of Monadic Second-Order Logic. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Parameterized Intractability, Graph Structure Theory, Treewidth, Parameterized Complexity, Finite Model Theory, Monadic Second-Order Logic
1Stephan Kreutzer, Anuj Dawar Parameterized Complexity of First-Order Logic. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2009 DBLP  BibTeX  RDF
1Stephan Kreutzer Algorithmic Meta-Theorems. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2009 DBLP  BibTeX  RDF
1Stephan Kreutzer On the Parameterised Intractability of Monadic Second-Order Logic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Stephan Kreutzer Algorithmic Meta-Theorems Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Stephan Kreutzer, Siamak Tazari On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Anuj Dawar, Stephan Kreutzer Domination Problems in Nowhere-Dense Classes of Graphs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell Reachability in Succinct and Parametric One-Counter Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Sebastian Ordyniak Distance d-Domination Games. Search on Bibsonomy WG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer On the Parameterised Intractability of Monadic Second-Order Logic. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Stephan Kreutzer Domination Problems in Nowhere-Dense Classes. Search on Bibsonomy FSTTCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Hunter, Stephan Kreutzer Digraph measures: Kelly decompositions, games, and orderings. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Sebastian Ordyniak Digraph Decompositions and Monotonicity in Digraph Searching Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Stephan Kreutzer, Sebastian Ordyniak Digraph Decompositions and Monotonicity in Digraph Searching. Search on Bibsonomy WG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Isolde Adler, Martin Grohe, Stephan Kreutzer Computing excluded minors. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Stephan Kreutzer On Datalog vs. LFP. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Algorithmic Meta-theorems. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Martin Lange Non-regular fixed-point logics and games. Search on Bibsonomy Logic and Automata The full citation details ... 2008 DBLP  BibTeX  RDF
1Anuj Dawar, Stephan Kreutzer Generalising automaticity to modal properties of finite structures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paul Hunter, Stephan Kreutzer Digraph measures: Kelly decompositions, games, and orderings. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer, Martin Otto, Nicole Schweikardt Boundedness of Monadic FO over Acyclic Structures. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt Model Theory Makes Formulas Large. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Martin Grohe, Stephan Kreutzer Locally Excluding a Minor. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Erich Grädel, Stephan Kreutzer Backtracking games and inflationary fixed points. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer DAG-Width and Parity Games. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt Approximation Schemes for First-Order Definable Optimisation Problems. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Achim Bluemnsath, Stephan Kreutzer An Extension of Muchnik's Theorem. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Grohe, Stephan Kreutzer, Nicole Schweikardt The Expressive Power of Two-Variable Least Fixed-Point Logics. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Julian C. Bradfield, Stephan Kreutzer The Complexity of Independence-Friendly Fixpoint Logic. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Expressive equivalence of least and inflationary fixed-point logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Erich Grädel, Stephan Kreutzer Inflationary fixed points in modal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fixed-point logics, complexity, modal logic, decidability, expressive power
1Stephan Kreutzer, Nicole Schweikardt Logik und Informatik. Search on Bibsonomy it - Information Technology The full citation details ... 2004 DBLP  BibTeX  RDF
1Anuj Dawar, Erich Grädel, Stephan Kreutzer Backtracking Games and Inflationary Fixed Points. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dietmar Berwanger, Erich Grädel, Stephan Kreutzer Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Stephan Kreutzer Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Pure and applied fixed-point logics. Search on Bibsonomy 2002   RDF
1Stephan Kreutzer Expressive Equivalence of Least and Inflationary Fixed-Point Logic. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Partial Fixed-Point Logic on Infinite Structures. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Stephan Kreutzer Generalising Automaticity to Modal Properties of Finite Structures. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Operational Semantics for Fixed-Point Logics on Constraint Databases. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Erich Grädel, Stephan Kreutzer Inflationary Fixed Points in Modal Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Fixed-Point Query Languages for Linear Constraint Databases. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Stephan Kreutzer Descriptive Complexity Theory for Constraint Databases. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.