Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Theoretische Informatik

 

Veröffentlichungen / Publications

2003


A Remark about Quadratic Trace Equations

Volker Diekert, Manfred Kufleitner

DLT 2002, 59-66, LNCS 2450, 2003. ps File (© Springer-Verlag).

Word equations over graph products

Volker Diekert, Markus Lohrey

FSTTCS 2003, LNCS 2914, 156-167 ps File (© Springer-Verlag).

Realizability of high-level message sequence charts: closing the gaps

Markus Lohrey

Theoretical Computer Science 309(1-3), 529-554, 2003 pdf File (© Elsevier).

Automatic structures of bounded degree

Markus Lohrey

LPAR 2003, LNAI 2850, S. 344-358, 2003. ps. File (© Springer-Verlag).

Decidable theories of Cayley-graphs

Dietrich Kuske, Markus Lohrey

STACS 2003, LNCS 2607, 463-474, 2003. ps. File (© Springer-Verlag).

Element Distinctness on One-Tape Turing Machines

Omer Berkman, Amir M. Ben-Amram, Holger Petersen

Acta Informatica, Volume 40, 81--94, 2003.

A Note on Rebound Turing Machines

Katsushi Inoue, Akira Ito, Takashi Kamiura, Holger Petersen, Lan Zhang

Technical Report of IEICE, COMP2003-27, 25--32, 2003.