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 [1]

Publications

vor >> [7]

Stephan Kreutzer (2002). Partial Fixed-Point Logic on Infinite Structures [11]. CSL, 337-351.


Stephan Kreutzer and Martin Otto and Nicole Schweikardt (2007). Boundedness of Monadic FO over Acyclic Structures [12]. ICALP, 571-582.


Stephan Kreutzer (2009). Algorithmic Meta-Theorems [13]. CoRR


Stephan Kreutzer and Martin Lange (2008). Non-regular fixed-point logics and games [14]. Logic and Automata, 423-456.


(2008). Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas] [15]. Logic and Automata. Amsterdam University Press.


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


Stephan Kreutzer (2000). Fixed-Point Query Languages for Linear Constraint Databases [17]. PODS, 116-125.


Stephan Kreutzer (2001). Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls [18]. ICDT, 248-262.


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


Paul Hunter and Stephan Kreutzer (2007). Digraph measures: Kelly decompositions, games, and orderings [20]. SODA, 637-644.


Ken-ichi Kawarabayashi and Stephan Kreutzer and Bojan Mohar (2010). Linkless and flat embeddings in 3-space and the unknot problem [21]. Symposium on Computational Geometry, 97-106.


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


Stephan Kreutzer (2001). Operational Semantics for Fixed-Point Logics on Constraint Databases [23]. LPAR, 470-484.


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


Stephan Kreutzer and Sebastian Ordyniak (2009). Distance -Domination Games [25]. WG, 308-319.


vor >> [31]

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
E-Mail-Anfrage [32]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008