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


Classification tree sources

Edgar Binder and Manfred Kufleitner

In IEEE Information Theory Workshop 2009, ITW 2009, Taormina, Sicily, October 11-16, 2009, Proceedings. IEEE, 2009.

Combining models in data compression

Manfred Kufleitner, Edgar Binder, Alexander Fries

In Tjalling Tjalkens and Frans Willems, editors, Proceedings of the 30th Symposium on Information Theory in the Benelux, Eindhoven, The Netherlands, May 28-29, 2009, pages 135-142, 2009.

Local safety and local liveness for distributed systems

Volker Diekert, Paul Gastin

In Lodaya, Mukund, and Ramanujam, editors, Perspectives in Concurrency Theory, Universities Press, IARCS-Universities, pages 86-106, 2009 pdf File

Komplexität der Geographie

Volker Diekert, Ulrich Hertrampf

In Diekert, Weicker, and Weicker, editors, Informatik als Dialog zwischen Theorie und Anwendung, Vieweg+Teubner, pages 119-132, 2009 pdf File (©Vieweg+Teubner)

On the Hairpin Completion of Regular Languages

Volker Diekert, Steffen Kopecki, Victor Mitrana

In M. Leucker and C. Morgan, editors, ICTAC, volume 5684 of Lecture Notes in Computer Science, pages 170-184. Springer, 2009.

Some remarks about stabilizers

Volker Diekert, Dalia Krieger

Theoretical Computer Science 410, 30-32 (2009) pdf File (© Elsevier).

Fragments of First-Order Logic over Infinite Words (Extended Abstract)

Volker Diekert, Manfred Kufleitner

In Susanne Albers and Jean-Yves Marion, editors, 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, Freiburg, Germany, February 26-28, 2009, Proceedings, pages 325-336. pdf File (full version).

Fragments of First-Order Logic over Infinite Words

Volker Diekert, Manfred Kufleitner

Technical Report No. 2009/04, Computer Science, Universität Stuttgart.
http and arXiv:0906:2995 [cs.FL].

Variationen über Walther von Dyck und Dyck-Sprachen

Volker Diekert, Klaus-Jörn Lange

In Diekert, Weicker, and Weicker, editors, Informatik als Dialog zwischen Theorie und Anwendung, Vieweg+Teubner, pages 147-154, 2009 pdf File (©Vieweg+Teubner)

Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, 2009.

Volker Diekert, Dirk Nowotka (editors)

Lecture Notes in Computer Science, Vol. 5583, Springer-Verlag (2009). Springer-Verlag

Informatik als Dialog zwischen Theorie und Anwendung: Festschrift für Volker Claus zum 65. Geburtstag.

Volker Diekert, Karsten Weicker, Nicole Weicker (editors)

Vieweg+Teubner (2009). Vieweg+Teubner

On smoothed analysis of quicksort and Hoare's find

Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi

In Hung Quang Ngo, editor, 15th International Computing and Combinatorics Conference (COCOON 2009), Niagara Falls, New York, U.S.A., July 13-15, 2009, Proceedings, volume 5609 of Lecture Notes in Computer Science, pages 158-167. Springer-Verlag, 2009.

Maximal Intersection Queries in Randomized Input Models

Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits, Dirk Nowotka

Theory of Computing Systems, 46(1): 104-119, 2009 pdf File (© Springer-Verlag).
Conference version: CSR 2007

The Ehrenfeucht Silberger Problem

Štěpán Holub, Dirk Nowotka

ICALP 2009, LNCS 5555, 537-548, 2009. pdf File (© Springer-Verlag).

On the limits of the communication complexity technique for proving lower bounds on the size of minimal NFA's

Juraj Hromkovic, Holger Petersen, Georg Schnitger

Theoretical Computer Science, Volume 410, 2972--2981, 2009.

On bijective variants of the Burrows-Wheeler transform

Manfred Kufleitner

In Jan Holub and Jan Zdarek, editors, The Prague Stringology Conference 2009, PSC 2009, Prague, Czech Republic, August 31-September 2, 2009, Proceedings, pages 65-79, 2009.

On FO2 quantifier alternation over words

Manfred Kufleitner, Pascal Weil

In Rastislav Kralovic and Damian Niwinski, editors, Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novż Smokovec, Slovakia, August 24-28, 2009, Proceedings, volume 5734 of Lecture Notes in Computer Science, pages 513-524. Springer-Verlag, 2009.

Simulations by Time-Bounded Counter Machines

Holger Petersen

Proc. DLT 2009, Springer, LNCS 5583 (2009), 410--418.

Range Mode and Range Median Queries in Constant Time and Sub-Quadratic Space

Holger Petersen, Szymon Grabowski

IPL, Volume 109, 225--228, 2009.