10.12.2012 Aufrufe

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

KLEIN, CORNEL: Anforderungsspezifikation durch Transitionssysteme<br />

und Szenarien. Broy – Esparza 22.12.1997<br />

SPIES, KATHARINA: E<strong>in</strong>e Methode zur formalen Modellierung von Betriebssystemkonzepten.<br />

Broy – Baumgarten 17.2.1998<br />

WIRTZ, BRIGITTE: Segmentorientierte Analyse und nichtl<strong>in</strong>eare Auswertung<br />

<strong>für</strong> die dynamische Unterschriftsverifikation.<br />

Radig – Lang (EI) 23.2.1998<br />

KOLLER, ANDREAS: Konfigurierbare Verhandlungsagenten <strong>für</strong> komplexe<br />

Verhandlungsprotokolle. Siegert – Schlichter 25.2.1998<br />

ORMONEIT, DIRK: Probability Estimat<strong>in</strong>g Neural Networks.<br />

Brauer – Fahrmeier (LMU) 25.2.1998<br />

MAYER, STEFAN: Distributed Parallel Solution of Very Large Systems<br />

of L<strong>in</strong>ear Equations <strong>in</strong> the F<strong>in</strong>ite Element Method.<br />

Zenger – Rüde (Augsburg) 19.3.1998<br />

STADTHERR, HANS: Work Efficient Parallel Schedul<strong>in</strong>g Algorithms.<br />

Mayr – Brauer 20.3.1998<br />

KÜHNLE, KLAUS: Space Optimal Computation of Normal Forms of Polynomials.<br />

Mayr – Gritzmann (MA) 30.3.1998<br />

GROH,SASCHA: E<strong>in</strong> agentenbasiertes, flexibel anpassungsfähiges Ressourcenmanagement<br />

<strong>für</strong> verteilte, parallele und kooperative Systeme.<br />

Spies – Bode 20.4.1998<br />

TRILK, JÖRN: Skalierbare Visualisierung objektorientierter Software.<br />

Endres – Broy 27.4.1998<br />

MAYR,RICHARD: Decidability and Complexity of Model Check<strong>in</strong>g Problems<br />

for Inf<strong>in</strong>ite-State Systems. Esparza – Mayr 30.4.1998<br />

DAUDE, TRISTAN: Unterstützung verteilter nichtl<strong>in</strong>earer Videonachbearbeitung<br />

durch CSCW. Schlichter – Hellwagner 13.5.1998<br />

STEGER, CARSTEN: Unbiased Extraction of Curvil<strong>in</strong>ear Structures from<br />

2D and 3D Images. Radig – Ebner (BV) 29.5.1998<br />

NÖHMEIER,MARTINA: E<strong>in</strong>satz von Agententechnologie zur Unterstützung<br />

von Informationsaustausch <strong>in</strong> globalen Informationsräumen.<br />

Schlichter – Mitschang 17.6.1998<br />

RÖDER, CHRISTIAN: Load Management Techniques <strong>in</strong> Distributed Heterogeneous<br />

Systems. Bode – Jessen 29.6.1998<br />

HINKEL, URSULA: Formale, semantische Fundierung und e<strong>in</strong>e darauf<br />

abgestützte Verifikationsmethode <strong>für</strong> SDL.<br />

Broy – Eberspächer (EI) 16.7.1998<br />

MELZER,STEPHAN: Verifikation verteilter Systeme mittels l<strong>in</strong>earer - und<br />

Constra<strong>in</strong>t-Programmierung. Esparza – Best (Oldenburg) 24.7.1998<br />

417

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!