Professor Dr. Ernst Althaus

Adresse Johannes Gutenberg-Universität Mainz
Fachbereich Physik, Mathematik, Informatik
Institut für Informatik
Arbeitsgruppe Theoretische Informatik
Staudingerweg 9
55128 Mainz

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL (Schwerpunktprogramme)
  - Graph Grammatiken für die Suche und Klassifikation molekularer Strukturen (Sachbeihilfen)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Zeitanalyse, Scheduling und Verteilung von Echtzeittasks (Transregios)
  - Constraint-basierte Verfikation hybrider Systeme (Transregios)
  - Automatisierte Verifikation kooperierender Verkehrssysteme (Transregios)