direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Professor Dr. Stephan Kreutzer

Contact details
EMail:
stephan.kreutzer@tu-berlin.de
Phone:
+49 30 314 29088
Office:
TEL 711a
Personal web page:
For further information follow this link to my homepage at Oxford

Publications

Fedor V. Fomin and Pierre Fraigniaud and Stephan Kreutzer and Dimitrios M. Thilikos (2011). Special Issue on . Theor. Comput. Sci., 2699.


Paul Hunter and Stephan Kreutzer (2008). Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci., 206-219.


Anuj Dawar and Stephan Kreutzer (2007). Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci., 266-285.


Anuj Dawar and Erich Grädel and Stephan Kreutzer (2006). Backtracking games and inflationary fixed points. Theor. Comput. Sci., 174-187.


Achim Bluemnsath and Stephan Kreutzer (2005). An Extension of Muchnik's Theorem. J. Log. Comput., 59-74.


Stephan Kreutzer and Nicole Schweikardt (2004). Logik und Informatik. it - Information Technology, 162-166.


Stephan Kreutzer and Anuj Dawar (2009). Parameterized Complexity of First-Order Logic. Electronic Colloquium on Computational Complexity (ECCC), 131.


Stephan Kreutzer (2009). Algorithmic Meta-Theorems. Electronic Colloquium on Computational Complexity (ECCC), 147.


Stephan Kreutzer and Sebastian Ordyniak (2008). Digraph Decompositions and Monotonicity in Digraph Searching. CoRR



Stephan Kreutzer (2009). Algorithmic Meta-Theorems. CoRR


Anuj Dawar and Stephan Kreutzer (2009). Domination Problems in Nowhere-Dense Classes of Graphs. CoRR


Stephan Kreutzer and Siamak Tazari (2010). Lower Bounds for the Complexity of Monadic Second-Order Logic. CoRR


Stephan Kreutzer and Siamak Tazari (2011). Directed Nowhere Dense Classes of Graphs. CoRR


Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte (2010). Extended Computation Tree Logic. CoRR


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Anschrift

Technische Universität Berlin
Logik und Semantik
Institut für Softwaretechnik und Theoretische Informatik
Fakultät IV
Sekr. TEL 7-3
Raum TEL 711
Ernst-Reuter-Platz 7
10587 Berlin
+49 30 314 29089
+49 30 314 29037