Institut für Informatik (Johannes Gutenberg-Universität Mainz) - Forschungsprojekte

Compiler-Generatoren für graphische Programmiersprachen
Göttler, Herbert; (ab 1990)

KI-Arbeitskreis
Schröder, Hans-Jürgen; (ab 1990)

Wissensbasiertes Produktions-Planungs-System
Perl, Jürgen; (1991 - 1992)

Neuronale Netze in der Bildverarbeitung
Perl, Jürgen; (1991 - 1992)

Handlungsstruktur-Modellierung im Handball
Perl, Jürgen; (1993 - 1995)

Wettkampf-Erfassungs- und -Analysesysteme (TESSY)
Perl, Jürgen; (1990 - 1992)

Logische Definierbarkeit von NP-Optimierungsproblemen
Lautemann, Clemens; (1991 - 1992)

Implementierung attributierter Graphgrammatiken
Göttler, Herbert; (ab 1990)

Taktiktraining
Perl, Jürgen; 

Texturanalyse
Perl, Jürgen; (ab 1993)

Objektorientierte Datenbanken für die Verwaltung von strukturierten Bildern und ihrer Herleitung
Göttler, Herbert; (1991 - 1994)

SimConsult
Perl, Jürgen; 

FlexKon
Perl, Jürgen; 

PRISMA - Picture Retrieval and Information System for Modern Arts
Göttler, Herbert; (1995 - 1998)

Logische Unterteilung von NP (ARC)
Lautemann, Clemens; (1994 - 1996)

Logiken für lineare Zeit
Lautemann, Clemens; (1997 - 1999)

Ausdrucksstärke eingebauter Relationen
Lautemann, Clemens; (1998 - 2001)

Gebrauchstauglichkeitsuntersuchung von Web 2.0 Anwendungen
(2008 - 2015)