![[ENGLISH]](/images/english_21x14.gif){kind=small}
![[CLASSIC]](/images/fbi_classic_21x14.gif){kind=small}
![[FEEDBACK]](/images/brief_21x14.gif){kind=small}
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) |