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


Stephan Kreutzer and Sebastian Ordyniak (2008). Digraph Decompositions and Monotonicity in Digraph Searching. WG, 336-347.


Anuj Dawar and Stephan Kreutzer (2009). Domination Problems in Nowhere-Dense Classes. FSTTCS, 157-168.


Anuj Dawar and Martin Grohe and Stephan Kreutzer and Nicole Schweikardt (2006). Approximation Schemes for First-Order Definable Optimisation Problems. LICS, 411-420.


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


Anuj Dawar and Stephan Kreutzer (2002). Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS, 109-120.


Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte (2010). Extended Computation Tree Logic. LPAR (Yogyakarta), 67-81.




Anuj Dawar and Erich Grädel and Stephan Kreutzer (2001). Inflationary Fixed Points in Modal Logic. CSL, 277-291.



Anuj Dawar and Martin Grohe and Stephan Kreutzer and Nicole Schweikardt (2007). Model Theory Makes Formulas Large. ICALP, 913-924.


Christoph Haase and Stephan Kreutzer and Joël Ouaknine and James Worrell (2009). Reachability in Succinct and Parametric One-Counter Automata. CONCUR, 369-383.




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