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


On first-order fragments for Mazurkiewicz traces

Volker Diekert, Martin Horsch, Manfred Kufleitner

Fundamenta Informaticae, 80(1-3):1-29, 2007. pdf File (© IOS Press).

On first-order fragments for words and Mazurkiewicz traces: A survey

Volker Diekert, Manfred Kufleitner

DLT 2007. In Tero Harju, Juhani Karhumäki, and Arto Lepistö, editors, Proceedings Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Lecture Notes in Computer Science, Vol 4588 (2007) 1-19. pdf File (© Springer-Verlag).

Computer Science - Theory and Applications. Proceedings

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007.

Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (editors)

Lecture Notes in Computer Science, Vol. 4649, Springer-Verlag (2007) Springer-Verlag

On the Complexity of Reasoning about Dynamic Policies

Stefan Göller

Computer Science Logic 2007, to appear ps File pdf File (© Springer-Verlag).

PDL with Intersection and Converse is 2EXP-complete

Stefan Göller, Markus Lohrey, Carsten Lutz

FoSSaCS, LNCS 4423, pp.198-212, 2007. ps File pdf File (© Springer-Verlag).

Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture

Tero Harju, Dirk Nowotka

Journal of the ACM, 54(4):20, 2007. pdf File (© ACM).
Conference version: STACS 2004

Maximal Intersection Queries in Randomized Graph Models

Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka

2nd International Computer Science Symposium in Russia 2007, LNCS 4649 ps File pdf File (© Springer-Verlag).

Polynomials, fragments of temporal logic and the variety DA over traces

Manfred Kufleitner

Theoretical Computer Science, 376:89-100, 2007. Special issue DLT 2006.

A Proof of the Factorization Forest Theorem

Manfred Kufleitner

Technical report Nr. 2007/05, Formale Methoden der Informatik, Universität Stuttgart, Germany, 4 pages, October 2007. pdf File

Estimation of the Click Volume by Large Scale Regression Analysis

Yury Lifshits, Dirk Nowotka

2nd International Computer Science Symposium in Russia 2007, LNCS 4649 pdf File (© Springer-Verlag).

Inverse monoids: decidability and complexity of algebraic questions

Markus Lohrey, Nicole Ondrusch

Information and Computation 205(8), 1212-1234, 2007 pdf File (© Elsevier).

Height-Deterministic Pushdown Automata

Dirk Nowotka, Jiri Srba

MFCS 2007, LNCS 4708, 125-134, 2007. pdf File (© Springer-Verlag).

String Matching with Simple Devices

Holger Petersen

IPL 105 (2007), 32 -- 34.