Jahr 2004

17.06.2004: Dr. Bernhard Beckert, "Formale Verifikation objekt-orientierter Software"
PDF (34kB, 2013-02-14) [more ...]
08.06.2004: Dr. Markus Bläser, "Algorithmische Probleme in Netzwerken" [more ...]
17.06.2004: Dr. Bernhard Gramlich, "Strategien in Computationaler Logik"
PDF (35kB, 2013-02-14) [more ...]
13.12.2004: Oliver Heckmann, "Providing efficient IP services with support for quality of service" [more ...]
23.04.2004: Gordon Kindlman, "Tensor invariants, their gradients, and their fallings" [more ...]
08.06.2004: Dr. Maciej Liśkiewicz, "Sicherung der Privatsphäre in verteilten Systemen" [more ...]
07.06.2004: Dr. Markus Nebel, "Zufall in der Algorithmik" [more ...]
07.06.2004: Dr. Rolf Niedermeier, "Parametrisierte Komplexität in Theorie und Praxis" [more ...]
20.12.2004: Prof. Dr. W. J. Paul, "Engeneering a provably correct operating system microkernel" [more ...]
08.07.2004: Dr. Jörg Peters, "Shape Characterization of (subdivision) Surfaces" [more ...]
07.05.2004: Dr. Birgit Reinert, "Abhängigkeiten zwischen Schlüsselwahl und Schlüsselalgorithmus am Beispiel der EC-Karte" [more ...]
13.12.2004: Prof. Dr. B. Seeger, "PIPES: Eine Infrastruktur für die Anfrageverarbeitung auf Datenströmen" [more ...]
26.07.2004: Steffen Skatulla, "Storage, Indexing and Processing of Complex Objects in ORDBMS" [more ...]
26.04.2004: Prof. Dr. Dr. h.c. Manfred Broy und Prof. Dr. David Parnas
"Deficits in Software Engineering Research and Education" [more ...]
16.06.2004: Dr. Tsuyoshi Takagi, "Beweisbar sichere und effiziente Kryptographie"
PDF (36kB, 2013-02-14) [more ...]
23.04.2004: Dr. Xavier Tricoche, "Visualizing the Topology of Tensor Fields" [more ...]
16.06.2004: Dr. Christoph Weidenbach, "Automatischer Nachweis von Eigenschaften mit SPASS 2.1"
PDF (35kB, 2013-02-14) [more ...]
23.04.2004: Dr. Thomas Wischgoll, "Detection of Closed Hyperstreamlines" [more ...]