Logo des Repositoriums

Auflistung nach Autor:in "Thomas, Wolfgang"

1 - 7 von 7
  • Textdokument
    Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung
    (Keller, Stack und automatisches Gedächtnis – eine Struktur mit Potenzial, 2015) Thomas, Wolfgang
    Vor 50 Jahren bewies J. R. Büchi, dass die Menge der erreichbaren Kellerinhalte eines Kellerautomaten eine reguläre Sprache bildet. Nur 5 Jahre später eröffnete M. O. Rabin mit seiner Theorie endlicher Automaten auf unendlichen Bäumen eine weiter greifende Perspektive, die in neuester Zeit zu überraschend starken algorithmischen Ergebnissen geführt hat, unter anderem für Systeme mit geschachtelten Kellern. Wir geben eine informelle Darstellung dieser Entwicklung und skizzieren aktuelle Forschungsfragen.
  • Konferenzbeitrag
    Ein e-Lecture-System für die Theoretische Informatik
    (DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München., 2003) Rohde, Philipp; Thomas, Wolfgang
    Es wird ein e-Lecture-System für die Theoretische Informatik vorgestellt, das seit drei Semestern an der RWTH Aachen für Vorlesungen der Automatentheorie erfolgreich eingesetzt wird. Grundlegende Zielsetzung war, eine einfach zu bedienende und flexible Infrastruktur zu schaffen. Im Zentrum stand dabei eine integrierte und flexibel einsetzbare Technik zur Vorbereitung und Präsentation des Kursmaterials, die sich durch sparsamen Einsatz von personellen und technischen Ressourcen auszeichnet. Wir stellen dieses System vor und diskutieren Erfahrungen und Perspektiven.
  • Zeitschriftenartikel
    Editorial
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Baader, Franz; Thomas, Wolfgang
  • Zeitschriftenartikel
    Theoretische Informatik
    (Informatik-Spektrum: Vol. 33, No. 5, 2010) Thomas, Wolfgang
  • Zeitschriftenartikel
    Theoretische Informatik – ein Kurzprofil
    (Informatik-Spektrum: Vol. 33, No. 5, 2010) Thomas, Wolfgang
  • Zeitschriftenartikel
    Turings Arbeiten über Berechenbarkeit – eine Einführung und Lesehilfe
    (Informatik-Spektrum: Vol. 35, No. 4, 2012) Schöning, Uwe; Thomas, Wolfgang
  • Zeitschriftenartikel
    ,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung
    (Informatik-Spektrum: Vol. 33, No. 5, 2010) Thomas, Wolfgang