Habilitationen
Langmaack, Hans: Zum Satz von Lidskii. 27.7.1967
Paul, Manfred: Zur Darstellung des Kongruenzenverbandes einer endlichen
abstrakten Algebra. 15.2.1968
Eickel, Jürgen: Vereinfachung der Struktur kombinatorischer Systeme.
11.7.1968
Deussen, Peter: Lineare Darstellungen von Automaten. 30.10.1969
Schecher, Heinz: Prinzipien beim Aufbau kleiner elektronischer Rechenanlagen.
29.10.1970
Braun, Stephan: Eigenschaften strukturierter Symbole in formalen Sprachen.
22.7.1971
Schmidt, Gunther: Programme als partielle Graphen. 31.5.1978
Kröger, Fred: Unendliche
Schlußregeln zur Verifikation von Programmen. 29.7.1980
Broy, Manfred: Eine
Theorie für nichtdeterministische, parallele, kommunizierende
und konkurrierende Programme. 17.12.1982
Ganzinger, Harald: Increasing modularity
and language-independency in automatically generated compilers.
29.7.1983
Majster-Cederbaum, Mila E. : General properties of semantics. 29.7.1983
Wirsing, Martin: Structured
algebraic specifications: A kernel language. 18.12.1984
Partsch, Helmut: Transformational
program development in a particular problem domain. 8.5.1985
Pepper, Peter: Applicative
languages and modal logics. 17.7.1985
Möller, Bernhard: Higher-order algebraic
specifications. 30.7.1987
Diekert,
Volker: Combinatorics on traces with
applications to Petri nets and to replacement systems. 1.2.1989
Furbach, Ulrich: Funktionen
in Hornklausellogik. 31.7.1990
Pohlmann, Werner: Simulationsmodelle
für den Verkehr in Rechensystemen. 31.7.1990
Vogler, Walter: Modular construction and partial order semantics of Petri Nets.
25.7.1991
Bemmerl, Thomas: Programmierung skalierbarer Multiprozessoren. 11.12.1991
Kunde, Manfred: Routing
and sorting on grids. 19.2.1992
Struß, Peter: A Theory of Diagnosis Based on Multiple
Models. 23.7.1992
Rüde, Ulrich: Computational Techniques for Multilevel Adaptive
Methods. 27.5.1993
Griebel, Michael: Punktblock-Multilevelmethoden zur Lssung elliptischer
Differentialgleichungen. 2.8.1993
Schmidhuber, Jürgen: Netzwerkarchitekturen, Zielfunktionen
und Kettenregel. 2.8.1993
Borghoff, Uwe: Möglicher Einsatz von Votierungsverfahren
zur Nebenläufigkeitskontrolle in synchronen Groupware-Systemen.
21.12.1993
Fronhöfer, Bertram: The Action-as-Implication Paradigm. Formal
Systems and Application. 22.2.1995
Hußmann, Heinrich: Formal Foundations for SSADM.
An Approach Integrating the Formal and Pragmatic Worlds of Requirements
Engineering. 1.3.1995
Abeck, Sebastian: Integriertes Management von verteilten
Systemen aus Entwicklersicht und aus Betreibersicht. 26.2.1996
Saglietti, Francesca: Entwurf und Bewertung fehlertolerierender Software. 30.5.1996
Böcking, Stefan: Modular
Communication Systems. 31.7.1996
Deco, Gustavo: Unsupervised Learning and Information
Theory: Parametric and Nonparametric Formulation. 19.12.1996
Poetzsch-Heffter, Arnd: Specification and Verification of Object-Oriented Programs.
31.7.1997
Dissertationen
Matzke, Petra: Objektivierung
des Vorgangs der Modellierung von Rechensystemen durch Wartenetze. Ref.:
Jessen - Lehmann (Univ. Bundeswehr München) 27.1.1992
Desel, Jörg: Struktur
und Analyse von free-choice Petrinetzen. Ref.: Reisig - Broy
13.2.1992
Weber, Rainer: Eine Methodik für die formale Anforderungsspezifikation
verteilter Systeme. Ref.: Broy - Reisig 13.2.1992
Hulin, Martin: Evolutionsstrategien
zur Schaltungspartitionierung. Ref.: Jessen - Antreich (Fak.
für Elektrotechnik und Informationstechnik) 14.2.1992
Friedrich, Michael: Sprachmittel
und Werkzeuge zur Unterstützung paralleler und verteilter Programmierung.
Ref.: Paul - Bode 28.2.1992
Filkorn,
Thomas: Symbolische Methoden für die
Verifikation endlicher Zustandssysteme. Ref.: Brauer - Antreich
(Fak. für Elektrotechnik und Informationstechnik) 10.4.1992
Laußermair, Thomas:
Hyperflächen-Annealing: Ein paralleles Optimierungsverfahren
basierend auf selbstorganisierter Musterbildung durch Relaxation auf
gekrümmten Hyperflächen. Ref.: Brauer - Schwefel (Dortmund) 10.4.1992
Zercher, Kai: Wissensintensives
Lernen für zeitkritische technische Diagnoseaufgaben. Ref.: Radig - Dillmann
(Karlsruhe) 22.6.1992
Tensi,
Thomas: Balancierte Routingverfahren
auf Gittern. Ref.: Brauer - Lange 22.7.1992
Weidinger, Ludwig: Ein
objektorientiertes Metamodell zur Wissensrepräsentation. Ref.: Siegert
- Radig 22.7.1992
Dederichs,
Frank: Transformation verteilter Systeme:
Von applikativen zu prozeduralen Darstellungen. Ref.: Broy - Brauer
23.7.1992
Hagg, Ernst:
Realisierung von Multisensoranwendungen mit vernetzen logischen
Sensoren und Aktoren. Ref.: Siegert - Levi 24.7.1992
Ebmeyer, Jürgen: Sicherstellung
der Rechtzeitigkeitsforderungen an wissensbasierte Systeme durch
reaktives Planen. Ref.: Radig - Levi 29.7.1992
Fischer, Klaus: Verteiltes und kooperatives
Planen in einer flexiblen Fertigungsumgebung. Ref.: Siegert -
Levi 29.7.1992
Meyfarth, Ralph: Ein Daten- und Wissensmodell zur Unterstützung integrierter
flexibler Fertigungssysteme. Ref.: Siegert - Bayer 29.7.1992
Messer, Tilo: Wissensbasierte
Synthese von Bildanalyseprogrammen. Ref.: Radig - Sagerer
(Bielefeld) 24.8.1992
Pauli,
Josef: Erklärungsbasiertes Computer-Sehen
von Bildfolgen. Ref.: Radig - Bunke (Bern) 23.10.1992
Karl, Wolfgang: Architektureigenschaften
und Parallelisierungsmethoden für Rechner mit Funktionspipelining. Ref.:
Bode - Eickel 30.11.1992
Ertel,
Wolfgang: Parallele Suche mit randomisiertem
Wettbewerb in Inferenzsystemen. Ref.: Jessen - Lange 9.12.1992
Brüning, Hans-Christian:
Erweiterung der wissensbasierten CAD-Konstruktion um Restriktionsnetztechniken.
Ref.: Levi (Stuttgart) - Radig 14.12.1992
Ludwig, Thomas: Lastverwaltungsverfahren
für Mehrprozessorsysteme mit verteiltem Speicher. Ref.: Bode - Jessen
14.12.1992
Eckstein, Wolfgang: Die Bildanalysesprache TRIAS. Ref.:
Radig - Reisig 17.12.1992
Hernandez, Daniel: Qualitative Representation
of Spatial Knowledge. Ref.: Brauer - Habel (Univ. Hamburg)
17.12.1992
Hums, Renate: Effiziente Integritätssicherung in deduktiven Datenbanksystemen
durch Logikprogrammtransformation. Ref.: Bayer - Kießling 21.12.1992
Specht, Günther: Source-to-Source
Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken.
Ref.: Bayer - Paul 22.12.1992
Richter, Robert: Persistenz in objektorientierten
Programmiersprachen. Ref.: Jessen - Bayer 5.2.1993
Klas, Günter: Hierarchical
Evaluation of Generalized Stochastic Petri Nets. Ref.: Jessen
- Lehmann (Univ. Bundeswehr München) 10.2.1993
Klotz, Karlhorst: Eine mehrschichtige
Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer
Programme. Ref.: Radig - Furbach (Koblenz-Landau) 17.2.1993
Neumair, Bernhard: Objektorientierte
Modellierung von Kommunikationsressourcen für ein integriertes Performancemanagement.
Ref.: Hegering - Jessen 19.2.1993
Obermaier, Johann: Effiziente Speicherverwaltung
für Datenbanksysteme auf Parallelrechnern. Ref.: Bayer - Schlichter
26.2.1993
Vollath, Ulrich: Generierung neuer Syntaxanalyseverfahren für Graphgrammatiken.
Ref.: Eickel - Paul 1.3.1993
Übelacker, Hubert: Eine Methodik zur
anwendungsorientierten Dokumentation von Netzmanagement-Information
im zeitlichen Verlauf. Ref.: Hegering - Schlichter
17.3.1993
Plewan, Hans-Jürgen: Sprachkonzepte zur Ausnahmebehandlung
für verteilte Programmierung mit asynchroner Kommunikation. Ref.: Paul
- Schlichter 26.5.1993
Kolarz,
Thomas: Throughput Analysis for Processor
Systems with Cache Hierarchies. Ref.: Jessen - Bode - Goltzene (Straßburg)
25.6.1993
Winklhofer, Andreas: Zeitrepräsentation und merkmalsgesteuerte Suche
zur Terminplanung. Ref.: Radig - Levi (Stuttgart) 16.7.1993
Schrott, Anneliese:
Ein Verfahren zur visuellen Unterstützung des Greifvorgangs
bei Robotern basierend auf einer Greifer-Sensor-Koppelung.
Ref.: Siegert - Levi (Stuttgart) 16.7.1993
Gold, Robert: Datenflußsemantiken
für Petrinetze. Ref.: Brauer - Broy 19.7.1993
Heinrich, Werner: Formal Description
of Parallel Computer Architectures as a Basis of Optimizing Code Generation.
Ref.: Eickel - Bode 19.7.1993
Schütz, Heribert: Tupelweise Bottom-up-Auswertung von Logikprogrammen. Ref.: Bayer - Krsger
(LMU) 19.7.1993
Chon, Yoon-Chae: Aufbau eines integrierten
Wissensmodells und dessen Übergang zum Entwurfsmodell. Ref.: Radig - Struß 30.7.1993
Brües, Stefan: Ein System zur Prozeß- und QualitStskontrolle
in computerbasierten Publikationssystemen und Vorschläge zur Konzeption
eines gerSteneutralen Seitenbeschreibungsmodells. Ref.: Radig - Zenger
24.8.1993
Schweiger, Johann: Ein Formalismus für die Generierung von Expertensystemen
zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen
des Expertenwissens. Ref.: Siegert - Levi (Stuttgart) 19.11.1993
Vojik, Franz: Autonome Veränderung des
Replikationsgrades in verteilten Dateisystemen. Ref.: Schlichter - Siegert
29.11.1993
Eckert, Claudia: Konzepte und Verfahren zur Konstruktion sicherer,
verteilter Systeme. Ref.: Spies - Bode 8.12.1993
Luksch, Peter: Parallelisierung
ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit
verteiltem Speicher. Ref.: Bode - Antreich (Fak. für Elektrotechnik und
Informationstechnik) 8.12.1993
Hollatz, Jürgen: Integration von regelbasiertem
Wissen in neuronalen Netzen. Ref.: Brauer - Schürmann (Siemens
AG) 15.12.1993
Weigl, Reinhard: Transportprotokolle - Leistungsanalyse und effiziente
Implementierungen. Ref.: Bode - Jessen 15.12.1993
Ruge, Gerda: Wortbedeutung
und Termassoziation - Methoden zur automatischen semantischen Klassifikation.
Ref.: Brauer - Uszkoreit (Saarbrücken) 20.1.1994
Engl, Gabriele: Modellierung und numerische
Simulation der Gasstrsmung in Netzwerken am Beispiel des Ladungswechsels
im Verbrennungsmotor. Ref.: Rentrop - Zenger 21.2.1994
Thurner, Erwin: Über
die Beschreibung und Umsetzung von Busprotokollen. Ref.: Bode
- Reisig (Humboldt Univ. Berlin) 6.6.1994
Böhnke, Thorsten: Eine Methodik zur
Erweiterung der Managed Object-Beschreibungen um implementierungsrelevante
Aspekte und deren Verwendung bei der Implementierung einer OSI Management
Information Base. Ref.: Hegering - Schlichter 21.6.1994
Munkelt, Olaf: Erkennung
von Objekten in Einzelvideobildern mittels Aspektbäumen. Ref.: Radig
- Levi (Stuttgart) 29.6.1994
Fuchs,
Maximilian: Technologieabhängigkeit von
Spezifikationen digitaler Hardware. Ref.: Broy - Delgado Kloos
(Madrid) 26.7.1994
Henning, Ulrich: Analyse eines Modells paralleler Prozesse für die
Anwendung in einem intelligenten Lehrsystem. Ref.: Paul - Brauer
29.7.1994
Schnekenburger, Thomas: Adaptive Lastverteilung für parallele Programme.
Ref.: Paul - Jessen 11.8.1994
Hansen, Olav: Werkzeuge zur Optimierung
von Programmen auf massiv parallelen Rechensystemen. Ref.: Bode - Jessen
25.8.1994
Rossmanith, Peter: Characterizations of Memory Access for PRAM's and
Bounds on the Time Complexity of Boolean Functions. Ref.: Lange - Brauer
- Mayr 12.9.1994
Schieder, Birgit: Logic and Proof Method of Recursion. Ref.: Broy
- Paul 18.10.1994
Weiß, Gerhard: Distributed Machine Learning. Ref.:
Brauer - Burkhard (Humboldt Univ. Berlin) 26.10.1994
Müller, Andreas: Kommunikationsstruktur
in Multiprozessorsystemen. Ref.: Hertweck - Bode 28.10.1994
Grosu, Radu:
A Formal Foundation for Concurrent Object Oriented Programming.
Ref.: Broy - Nipkow 24.11.1994
Regensburger, Franz: HOLCF - Eine konservative
Erweiterung von HOL um LCF. Ref.: Nipkow - Broy 9.12.1994
Pawlowski, Markus: Synchronisation
in parallelen Datenbanksystemen. Ref.: Bayer - Schlichter
16.12.1994
Treml, Thomas: Monitoring paralleler Programme. Ref.: Bode - Jessen
16.12.1994
Braun, Peter: Visualisierung des Ablaufverhaltens paralleler Programme.
Ref.: Bode - Endres 16.12.1994
Wismüller, Roland: Quellsprachorientiertes
Debugging von optimierten Programmen. Ref.: Bode - Eickel 20.12.1994
Weininger, Andreas: Verfahren
zur Behandlung von Nichtdeterminismus in parallelen Systemen. Ref.: Paul
- Bode 20.12.1994
Balder, Robert: Adaptive Verfahren für elliptische und parabolische
Differentialgleichungen auf dünnen Gittern. Ref.: Zenger -
Hoppe (Fak. für Mathematik) 22.12.1994
Störtkuhl, Thomas: Ein numerisches
adaptives Verfahren zur Lösung der biharmonischen Gleichung auf dünnen
Gittern. Ref.: Zenger - Hoppe (Fak. für Mathematik)
6.2.1995
Schneider, Michael: Verteilte adaptive numerische Simulation auf der
Basis der Finite-Elemente-Methode. Ref.: Zenger - Eickel 14.2.1995
Ertl, Hubert: Virtuell
gemeinsamer Speicher schwächerer Konsistenz und seine Integration in
ein Nachrichtensystem. Ref.: Bode - Jessen 17.2.1995
Prehofer, Christian: Solving Higher-Order
Equations: From Logic to Pragramming. Ref.: Nipkow - Ganzinger
(Saarbrücken) 20.2.1995
Winkler,
Christina: Methodik zur Erstellung eines
Testsystems für ein offenes Fehlermanagement auf der Basis von OSI Protokollbeschreibungen.
Ref.: Hegering - Drobnik (Frankfurt am Main) 2.3.1995
Günther, Michael: Ladungsorientierte
Rosenbrock-Wanner-Methoden zur numerischen Simulation digitaler Schaltungen.
Ref.: Rentrop - Zenger 3.3.1995
Suttner, Christian: Parallelization of
Search-based Systems by Static Partitioning with Slackness. Ref.: Jessen
- Bode 9.3.1995
Heinle, Wolfgang: Expressivity and Definability in Extended Modal
Languages. Ref.: Bauer - Wirsing (LMU) 3.4.1995
Bonk, Thomas: Ein
rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler
Funktionen. Ref.: Zenger - Bode 6.4.1995
Knirsch, Peter: Kaskadenrekursion in
verteilten Systemen. Ref.: Paul - Schlichter 28.4.1995
Eldracher, Martin: Planung
kinematischer Trajektorien für Manipulatoren mit Hilfe von Subzielen und
neuronalen Netzen. Ref.: Brauer - Rojas (Halle) 5.5.1995
Nazareth, Dieter: A Polymorphic Sort
System for Axiomatic Specification Languages. Ref.: Nipkow
- Broy 18.5.1995
Dodenhöft,
Dieter: Hybride Wissensrepräsentation
durch enge Kopplung eines frame- und regelbasierten Formalismus. Ref.:
Siegert - Jessen
22.5.1995
Segner,
Peter: Ein betreibergerechtes View-Konzept
für das Netz- und Systemmanagement. Ref.: Hegering - Schlichter
8.6.1995
Facchi, Christian:
Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells.
Ref.: Broy - Jessen 14.6.1995
Stöhr, Peter: 3D-Objekterkennung basierend
auf 2D-Schnittberechnungen zum Einsatz in der Robotik. Ref.: Siegert -
Levi (Stuttgart) 21.6.1995
Hettler,
Rudolf: Entity/Relationship-Datenmodelierung
in axiomatischen Spezifikationssprachen. Ref.: Broy - Mitschang
26.6.1995
Scholz, Andreas: Modulare und kompositionale Verifikation von zustandsendlichen
Systemen. Ref.: Paul - Mayr 26.7.1995
Eder, Klaus: Repräsentation temporaler
Information in künstlichen neuronalen Netzen. Ref.: Brauer
- Gross (Ilmenau) 28.7.1995
Richter,
Silke: Ein mehrfach adaptierendes, stabiles
Modell zur Analyse von Straßenszenen. Ref.: Radig - Niemann (Erlangen-Nürnberg)
28.7.1995
Schuster, Rolf: Objektverfolgung in Farbbildfolgen Ref.:
Radig - Kübler (ETH Zürich) 14.8.1995
Pflug, Volkmar: Graphenbasierte On-Line-Erkennung
fließender Handschrift. Ref.: Radig - Lang (Fak. für
Elektrotechnik und Informationstechnik 3) 30.8.1995
Kolland, Markus: Generische Unterstützung
von Information Sharing im Kontext computer-unterstützter Gruppenarbeit.
Ref.: Schlichter - Geihs (Frankfurt/Main) 6.10.1995
Aue, Alfred: Business
Processes as a Concept for System-Analysis and Specification.
Ref.: Broy - Schlichter 25.10.1995
Gritzner, Thomas: wp-Kalkül und relationale
Spezifikation kommunizierender Systeme. Ref.: Broy - Schmidt
(Univ. Bundeswehr München) 22.11.1995
Dendorfer, Claus: Methodik funktionaler
Systementwicklung. Ref.: Broy - Nipkow 14.12.1995
Gomm, Dominik: Modellierung
und Analyse verzsgerungs-unabhSngiger Schaltungen mit Petrinetzen. Ref.:
Jessen - Reisig (Humboldt Univ. Berlin) 18.12.1995
Listl, Andreas: Effiziente Pufferverwaltung
in parallelen relationalen Datenbanken. Ref.: Bayer - Reisig
(Humboldt Univ. Berlin) 18.12.1995
Sturm (geb. Kinder), Margit: Pfadplanung
für Manipulatoren in komplexen Umgebungen mittels generalisierender Pfadspeicherung
in Ellipsoidkarten. Ref.: Brauer - Hirzinger 21.12.1995
Mayr, Klaus: Verfeinerungen
und Erweiterungen des Modelleliminationskalküls. Ref.: Jessen
- Esparza 11.1.1996
Fischer, Max: Aufgabenspezifikation und Bahnplanung für kooperierende
Manipulatoren. Ref.: Siegert - Schweikard 2.2.1996
Hahndel, Stefan: Ein verteiltes, verhandlungsgesteuertes
Planungsverfahren für flexible Fertigungsumgebungen. Ref.: Siegert - Levi
(Stuttgart) 8.2.1996
Radermacher,
Ralph: Eine Ausführungsumgebung mit integrierter
Lastverteilung für verteilte und parallele Systeme. Ref.: Spies - Bode
22.2.1996
Zimmer, Stefan: Rand-Druckkorrektur für die Stokes-Gleichung.
Ref.: Zenger - Griebel (Bonn) 26.2.1996
Meyer-Gruhl, Uwe: Konzepte
für eine wissensbasierte visuelle Sprache zur Bildanalyse.
Ref.: Radig - Endres 28.2.1996
Binter, Horst: Statische Optimierung
für die Auswertung von Konsistenzbedingungen zur Prozedurausführung. Ref.:
Paul - Eickel 29.2.1996
Hüttl,
Reiner: Ein iteratives Lssungsverfahren
bei der Finite-Element-Methode unter Verwendung rekursiver Substrukturierung
und hierarchischen Basen. Ref.: Zenger - Wunderlich (Fak.
für Bauingenieur- und Vermessungswesen) 20.3.1996
Hafer, Christian: Quantitative Analyse
der Software-Hardware Schnittstelle (Speicherschnittstelle) als Grundlage
für Optimierungen. Ref.: Jessen - Müller-Stoy (Siemens AG)
28.3.1996
Kempe, Johann: Das Delta-Transaktionsmodell zur Unterstützung von
Nicht-Standard-Anwendungen. Ref.: Bayer - Kießling (Augsburg)
9.5.1996
Moser, Maximilian:
Goal-Directed Reasoning in Clausal Logic with Equality.
Ref.: Jessen - Nipkow 31.5.1996
Höfling, Gabriele: Schema-Evolution
in objekt-orientierten Datenbanksystemen. Ref.: Bayer - Freytag
(Humboldt Univ. Berlin) 20.6.1996
Schumann, Matthias: Efficient Performance
Prediction for Parallel Programs. Ref.: Bode - Jessen
26.6.1996
Meyer, Ulrich:
Simulation adaptiver Koppelnetze für Multiprozessorsysteme.
Ref.: Hertweck - Bode 3.7.1996
Huber, Walter: Turbulenzsimulation mit
der Kombinationsmethode auf Workstation- Netzen und Parallelrechnern. Ref.:
Zenger - Bode 11.7.1996
Pleier,
Christoph: Prozeßverlagerung in
heterogenen Rechnernetzen basierend auf einer speziellen Übersetzungstechnik.
Ref.: Eickel - Spies 24.7.1996
Pfefferer, Leo: Objektzentrierte Visualisierung
mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle.
Ref.: Radig - Schütt (Siemens AG) 25.7.1996
Stellner, Georg: Methoden zur Sicherungspunkterzeugung
in parallelen und verteilten Systemen. Ref.: Bode - Spies 30.7.1996
Windisch, Hans-Michael: Speicherverwaltung für konzeptionell strukturierte
verteilte Systeme. Ref.: Spies - Bode 30.7.1996
Kozlowski, Rolf: Untersuchung des Zusammenhangs
der Last auf physikalischer Schicht und Protokollen der Osi-Ebenen
5-7 in AbhSngigkeit verschiedener Benutzeranwendungen und Erstellung eines
Generators zur Erzeugung von Lasten. Ref.: Jessen - Swoboda
(Fak. für Elektrotechnik und Informationstechnik) 5.8.1996
Greiner, Michael: Untersuchung
und Entwicklung mathematischer Optimierungsverfahren zur Dimensionierung
von Rechensystemen. Ref.: Jessen - SchSffler (Fak. für Mathematik)
19.8.1996
Hackenberg, Rudolf: Performance Optimization Methods in SVM Systems.
Ref.: Bode - Hellwagner 3.9.1996
Lenke, Michael: Ein Gestaltungskonzept
für den Anwendungszyklus massiv paralleler Strsmungssimulationsalgorithmen.
Ref.: Bode - Hertweck 3.9.1996
Bergner, Klaus: Spezifikation großer
Objektgeflechte mit Komponentendiagrammen. Ref.: Endres -
Broy 16.9.1996
Heun, Volker: Efficient Embeddings of Treelike Graphs into Hypercubes.
Ref.: Mayr - Meyer auf der Heide (Univ.-GH Paderborn) - Hellwagner
18.9.1996
Wessels, Gerhard: Untersuchung und Entwicklung von High-Level Synthese
Techniken für den Entwurf digitaler Signalprozessoren. Ref.:
Jessen - Tinhofer (Fak. für Mathematik) 4.10.1996
Wunderwald, Jens: Adding Bottom-up Evaluation
to Prolog. Ref.: Radig - Bayer 20.11.1996
Altamirano Robles, Leopoldo: Automatisierung
des Vorgangs zur Generierung und Optimierung von geometrischen Modellen
aus 2D Objekten. Ref.: Radig - Siegert 4.12.1996
Arnoldi, Hans-Martin: Korrelationsbedingte Informationsverarbeitung in
neuronalen Systemen. Ref.: Brauer - Gross (Ilmenau) 9.12.1996
Schreiber, Werner: Generierung
von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen.
Ref.: Eickel - Brüggemann-Klein 10.12.1996
Bauer, Bernhard: Attributed Algebraic
Specifications. Ref.: Eickel - Wirsing (LMU) 19.12.1996
Rumpe, Bernhard: Formale
Methodik des Entwurfs verteilter, objektorientierter Systeme. Ref.:
Broy - Paul 20.12.1996
Barnard,
Dieter: Temporal Language of Transitions
and Client-Server Systems. Ref.: Brauer - Büttner (Kaiserslautern)
20.1.1997
Butz, Dieter: Neuronale Funktionsapproximation mit RBF-Schwerpunktnetzen.
Ref.: Brauer - Gross (Ilmenau) 20.1.1997
Heumann, Klaus: Biologische
Sequenzdatenanalyse großer Datensätze basierend auf Positionsbaumvarianten.
Ref.: Bayer - Giegerich (Bielefeld) - Schomburg (Ksln)
10.2.1997
Regler, Hans: Anwenden von algebraischen Mehrgittermethoden auf
das Plazierproblem beim Chipentwurf und auf die numerische Simulation von
Strsmungen. Ref.: Zenger - Griebel (Bonn) 10.2.1997
Koch, Michael: Unterstützung
kooperativer Dokumentenbearbeitung in Weitverkehrsnetzen. Ref.: Schlichter
- Baumgarten 20.2.1997
Krammer,
Johann: Neue Techniken zur werkzeugunterstützten
Leistungsoptimierung von datenparallelen Programmen. Ref.: Bode - Jessen
24.2.1997
Lamberts, Stefan: Parallele verteilte Dateisysteme in Rechnernetzen.
Ref.: Bode - Hellwagner 5.3.1997
Mader, Angelika: Verification of Modal
Properties Using Boolean Equation Systems. Ref.: Brauer -
Stirling (Edinburgh) 10.3.1997
Pfaffinger, Alexander: Funktionale Beschreibung
und Parallelisierung von Algorithmen auf dünnen Gittern. Ref.: Zenger -
Bode 26.3.1997
Bals, Bernhard: Analyse von ArbeitsplStzen für explorative Datenauswertung
und Entwurf einer Methodik zur Werkzeugintegration am Beispiel Biosignalverarbeitung.
Ref.: Paul - Neiß(Fak. für Medizin) 9.4.1997
Slotosch, Oscar: Refinements
in HOLCF: Implementation of Interactive Systems. Ref.: Broy
- Nipkow 9.4.1997
Koppenhagen,
Ulla: Optimal Algorithms for Binomial
Ideals and Commutative Semigroups. Ref.: Mayr - Brauer 15.5.1997
Heiler, Kirsten: Eine
Methodik zur Modellierung von KonfigurationsvorgSngen für Szenarien im
Netz- und Systemmanagement. Ref.: Hegering - Schlichter 12.6.1997
Borgeest, Rolf: Entwicklungsbegleitende
Leistungsbewertung. Ref.: Bode - Jessen 19.6.1997
Dornseifer, Thomas: Diskretisierung
allgemeiner elliptischer Differentialgleichungen in krummlinigen Koordinatensystemen
auf dünnen Gittern. Ref.: Zenger - Hoppe (Augsburg)
22.7.1997
Pleier, Christoph: Prozeßverlagerung in heterogenen Rechnernetzen
basierend auf einer speziellen Übersetzungstechnik. Ref.: Eickel - Spies
24.7.1997
Rothenhöfer, Daniela: Ein Konzept für ein intelligentes Tutorsystem zum
Erlernen des Testens und Debugging paralleler Prozeßsysteme.
Ref.: Paul - Brauer - Msbus (Oldenburg) 28.7.1997
Schiemann, Björn: Intelligente Lastverteilung
für Datenbank-Management-Systeme. Ref.: Jessen - Hellwagner
28.7.1997
Neunhoeffer, Tilman: Numerische Simulation von Erstarrungsprozessen unterkühlter
Flüssigkeiten unter Berücksichtogung von Dichteunterschieden.
Ref.: Zenger - Griebel (Bonn) 8.8.1997 Goller, Christoph: A Connectionist Approach
for Learning Search-Control Heuristics for Automated Deduction Systems.
Ref.: Jessen - Gori (Siena) 29.8.1997
Strobl, Georg: Entwicklung und Wiederverwendung
wissensbasierter Produktmodelle auf der Grundlage formaler Ontologien.
Ref.: Jessen - Furbach (Koblenz) 5.9.1997
Schreiber, Siegfried: Spezifikationstechniken
und Generierungswerkzeuge für graphische BenutzungsoberflSchen. Ref.: Eickel
- Endres (Karlsruhe) 17.9.1997
Wiesener, Stephan: SemaLink - Ein wissensbasiertes
Hypermedia-System. Ref.: Bayer - Mitschang 30.9.1997
Copyright © 1998 Institut für Informatik, Technische Universität München
Alexander.Bock@informatik.tu-muenchen.de
Erstellt: 1998-5-5
Letzte Änderung: 1998-6-12