 |
Veröffentlichungen / Publications
2009
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.
[Springer]
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.
|
|
