Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelContinuous Deployment(Informatik-Spektrum: Vol. 35, No. 4, 2012) Quibeldey-Cirkel, Klaus; Thelen, Christoph
- ZeitschriftenartikelTuring und Künstliche Intelligenz(Informatik-Spektrum: Vol. 35, No. 4, 2012) Furbach, Ulrich
- ZeitschriftenartikelDie Vorstandsperspektive(Informatik-Spektrum: Vol. 35, No. 4, 2012) Fellner, Dieter W.
- ZeitschriftenartikelEditorial(Informatik-Spektrum: Vol. 35, No. 4, 2012) Baader, Franz; Thomas, Wolfgang
- ZeitschriftenartikelDagstuhl Manifesto(Informatik-Spektrum: Vol. 35, No. 4, 2012)
- ZeitschriftenartikelTuring und Kryptografie(Informatik-Spektrum: Vol. 35, No. 4, 2012) Blömer, JohannesIch beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie.
- ZeitschriftenartikelTurings Arbeiten über Berechenbarkeit – eine Einführung und Lesehilfe(Informatik-Spektrum: Vol. 35, No. 4, 2012) Schöning, Uwe; Thomas, Wolfgang
- ZeitschriftenartikelAlan Turing und Deutschland: Berührungspunkte(Informatik-Spektrum: Vol. 35, No. 4, 2012) Glaschick, Rainer; Ryska, NorbertAlan Turing trug während des Zweiten Weltkriegs entscheidend dazu bei, mit der ENIGMA verschlüsselte deutsche militärische Geheimnachrichten zu entziffern. Weniger bekannt ist jedoch, dass er mehrfach Deutschlandbereiste und wissenschaftlich mit Deutschen korrespondierte. Zunächst werden die Kontakte Alan Turings mit Deutschland und deutschen Wissenschaftlern dargestellt. Darauf folgt die Rezeption der Turingmaschine, ausgehend vom Institut für mathematische Logik und Grundlagenforschung der Universität Münster.
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 216. Folge(Informatik-Spektrum: Vol. 35, No. 4, 2012)
- ZeitschriftenartikelTuring und die Verifikation(Informatik-Spektrum: Vol. 35, No. 4, 2012) Olderog, Ernst-Rüdiger; Wilhelm, ReinhardAusgehend von Turings 1949 gehaltenem Vortrag ,,Checking a Large Routine“ untersuchen wir, welche seiner Ideen zur Verifikation von Programmen sich durchgesetzt haben, und skizzieren, wie sich das Gebiet der Verifikation seitdem bis heute weiterentwickelt hat.