Forschungsvorhaben seit 1989 *

Spezifikations-, Entwurfs- und Analysehilfsmittel für nichtsequentielle Systeme
mit Reisig, Desel, Diekert, Gold, Gomm, Kiehn, Taubner, Vogler

PAKI: "Parallelverarbeitungsmodelle für Problemstellungen in der Künstlichen Intelligenz"
(mit Freksa, Hernández, Klöck, Beschta, Wings, Zimmermann

Relationale Modelle zur kontextabhängigen Wissensrepräsentation
mit Freksa, Bräunling, Hernández, Beschta, Zimmermann

Konnektionistische Modelle, neuronale Netze und genetische Algorithmen
mit Freksa, Hernández, Marcinowski, Schill, Krachenfels, Laußermair, Schätz, Schmidhuber, Weiß

Konzepte, Hilfsmittel und Anwendungen für konnektionistische Systeme
mit Geiger, Arnoldi, Böller, Eldracher, Waschulzik

Entwurf und Analyse systolischer und befehlssytolischer Felder
mit Kunde, Payer, Tensi

Betrachtung der Theorie der Automaten und formalen Sprachen unter dem Aspekt der Spezifikation verteilter Systeme

Weitere Untersuchungen zum Jeep-Problem
mit U. Brauer

Methoden, Ziele und Probleme der Informatikausbildung im Hinblick auf den Einsatz wissensbasierter Systeme, neuer Kommunikationsmedien und von Verfahren des rechnergestützten Lehrens und Lernens an Schulen und Hochschulen
mit U. Brauer

Untersuchungen über die Anwendung der Evidenztheorie für Expertensysteme zur medizinischen Diagnose - Zusammenarbeit mit dem Institut für Medizinische Psychologie der Ludwig-Maximilians-Universität München.
mit Freksa, Schill, Schmitt

SEMAFOR, SFB 342, Teilprojekt A3
mit Desel, Gold, Gomm, Heise, Kindler, Reisig, Walter

DEMON (ESPRIT)
mit Vogler, Desel, Diekert, Gold, Gomm, Kindler, Reisig, Walter

Methoden und Techniken zur Verifikation
mit Taubner Filkorn (Siemens Promotions-Stipendiat )

Konzeption und Implementierung einer Wissensbasis unter Einbezug der strukturellen Abhängigkeiten von Expertenwissen.
mit Schill (Inst. für Med. Psychologie, LMU), Schuster

Klassifikation und Parallelisierung durch Reduktionsanalyse: KLARA (SFB 0342)
mit Lange

Design Methods Based on Nets (ESPRIT)
mit Desel, Gold, Gomm, Kindler, Reisig, Vogler, Walter

BMFT Verbundprojekt NERES: "Neuronale Regelung und Steuerung''
mit Hernández

Grundlagen und Anwendungen neuronaler Netze
mit Büttner (Siemens), Freksa, Geiger (Kratzer), König (MPI Frankfurt), Nischwitz (Nachrichtentechnik, TUM), Ruhnau (IPM, LMU), Scheppler (Integrierte Schaltungen, TUM), Schillen (MPI, Frankfurt), Schürmann (Siemens), Waschulzik, Hollatz, Jägel, Janosch, Röscheisen, Schmidhuber, Steiner, Thomas

Verifikation von sequentiellen und nichtsequentiellen Systemen
mit Büttner (Siemens), Taubner (Siemens), Barnard, Filkorn, Mader

Qualitative Repräsentation von Wissen
mit Freksa, Hernández, Brandmair, Högg, Kobler, Schwarzer, Zimmermann

Mehr-Agenten- und Klassifizierer-Systeme
mit Weiß, Hutter, Zimny

An Algebraic Theory for Distributed Systems
mit Kiehn, Hennessy, Jeffrey, Lin (Univ. Sussex)

BMFT-Projekt ACON: Adaptive Control
Partner: Kratzer Automatisierung GmbH

Spezifikations-, Entwurfs- und Analyseformalismen (SFB 0342)
mit Kröger, Reisig, Esparza

CALIBAN (ESPRIT)
mit Desel

An Algebraic Theory for Distributed Systems (DAAD-ARC)
mit Kiehn, Hennessy

Verteiltes maschinelles Lernen in Mehragentensystemen

Komplexität, Information, Redundanz und Neuronale Netze
mit Schmidhuber

Neuronale Modellierung der Semantik spatialer Präpositionen
mit Scheler

Qualitative Beschreibung von Bewegungsverläufen: Kognitive und Psychologische Grundlagen
(DFG-Schwerpunktprogramm Raumkognition)
mit Hernández, Schill (LMU)

Spezifikations-, Entwurfs- und Analyseformalismen für verteilte Systeme (SAM), (SFB 0342)
mit Esparza

Intelligente Systeme ( BMBF-Verbundprojekt ACON: Adaptive Control )

Komplexität, Information, Redundanz und Neuronale Netze
mit Schmidthuber

Neuronale Semantikmodelle (NEUROSEM)

Verteiltes maschinelles Lernen in Mehragentensystemen

Verifikation- und Analysemethoden für Systeme mit unendlichen Zustandsräumen
mit VERIMAG, Grenoble, Esparza

Verifikationstechniken für imperative parallele Sprachen höherer Ordnung
mit INRIA Institut zu Sophia Antipolis.

Mobile Systeme und Systeme höherer Ordnung

Verifikation von Systemen mit unendlichen Zustandsräumen

Einsatz von linearen- und Constraint-Programming Techniken in Verifikationsproblemen verteilter Systeme

Konfliktbewältigung und Strukturwandel: Gesellschaftstheorie als Bauanleitung für lernfähige Mehragentensysteme
mit Malsch (TU Hamburg/Harburg), Weiß

* Unvollständige Liste