Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

Adresse Staudingerweg 9
55128 Mainz
Deutschland

GERiT Diese Institution in GERiT

55128 Mainz

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL
    (Antragsteller Althaus, Ernst ; Buchheim, Christoph )
Sachbeihilfen
- abgeschlossene Projekte
  - Graph Grammatiken für die Suche und Klassifikation molekularer Strukturen
    (Antragsteller Althaus, Ernst ; Hildebrandt, Andreas )
Transregios
- abgeschlossene Projekte
  - Automatisierte Verifikation kooperierender Verkehrssysteme
    (Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Constraint-basierte Verfikation hybrider Systeme
    (Teilprojektleiter Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Zeitanalyse, Scheduling und Verteilung von Echtzeittasks
    (Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )

© 2025 DFG Kontakt / Impressum / Datenschutz