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

