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.

GRITZNER, THOMAS: wp-Kalkül und relationale Spezifikation kommunizierender<br />

Systeme. Broy – Schmidt (UBwM) 22.11.1995<br />

DENDORFER, CLAUS: Methodik funktionaler Systementwicklung.<br />

Broy – Nipkow 14.12.1995<br />

GOMM,DOMINIK: Modellierung und Analyse verzögerungs-unabhängiger<br />

Schaltungen mit Petr<strong>in</strong>etzen.<br />

Jessen – Reisig (Humboldt U Berl<strong>in</strong>) 18.12.1995<br />

LISTL, ANDREAS: Effiziente Pufferverwaltung <strong>in</strong> parallelen relationalen<br />

Datenbanken. Bayer – Reisig (Humboldt U Berl<strong>in</strong>) 18.12.1995<br />

KINDER, MARGIT: Pfadplanung <strong>für</strong> Manipulatoren <strong>in</strong> komplexen Umgebungen<br />

mittels generalisierender Pfadspeicherung <strong>in</strong> Ellipsoidkarten.<br />

Brauer – Hirz<strong>in</strong>ger 21.12.1995<br />

MAYR,KLAUS: Verfe<strong>in</strong>erungen und Erweiterungen des Modellelim<strong>in</strong>ationskalküls.<br />

Jessen – Esparza 11.1.1996<br />

FISCHER, MAX: Aufgabenspezifikation und Bahnplanung <strong>für</strong> kooperierende<br />

Manipulatoren. Siegert – Schweikard 2.2.1996<br />

HAHNDEL, STEFAN: E<strong>in</strong> verteiltes, verhandlungsgesteuertes Planungsverfahren<br />

<strong>für</strong> flexible Fertigungsumgebungen.<br />

Siegert – Levi (Stuttgart) 8.2.1996<br />

RADERMACHER, RALPH: E<strong>in</strong>e Ausführungsumgebung mit <strong>in</strong>tegrierter<br />

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

Spies – Bode 22.2.1996<br />

ZIMMER, STEFAN: Rand-Druckkorrektur <strong>für</strong> die Stokes-Gleichung.<br />

Zenger – Griebel (Bonn) 26.2.1996<br />

MEYER-GRUHL, UWE: Konzepte <strong>für</strong> e<strong>in</strong>e wissensbasierte visuelle Sprache<br />

zur Bildanalyse. Radig – Endres 28.2.1996<br />

BINTER, HORST: Statische Optimierung <strong>für</strong> die Auswertung von Konsistenzbed<strong>in</strong>gungen<br />

zur Prozedurausführung. Paul – Eickel 29.2.1996<br />

HÜTTL,REINER: E<strong>in</strong> iteratives Lösungsverfahren bei der F<strong>in</strong>ite-Element-<br />

Methode unter Verwendung rekursiver Substrukturierung und hierarchischen<br />

Basen. Zenger – Wunderlich (BV) 20.3.1996<br />

HAFER, CHRISTIAN: Quantitative Analyse der Software-Hardware<br />

Schnittstelle (Speicherschnittstelle) als Grundlage <strong>für</strong> Optimierungen.<br />

Jessen – Müller-Stoy (Siemens AG) 28.3.1996<br />

KEMPE, JOHANN: Das Delta-Transaktionsmodell zur Unterstützung von<br />

Nicht-Standard-Anwendungen. Bayer – Kießl<strong>in</strong>g (Augsburg) 9.5.1996<br />

MOSER, MAXIMILIAN: Goal-Directed Reason<strong>in</strong>g <strong>in</strong> Clausal Logic with<br />

Equality. Jessen – Nipkow 31.5.1996<br />

HÖFLING, GABRIELE: Schema-Evolution <strong>in</strong> objektorientierten Datenbanksystemen.<br />

Bayer – Freytag (Humboldt U Berl<strong>in</strong>) 20.6.1996<br />

413

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!