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

Detailseite

Institution

Druckansicht

Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik

Adresse August-Schmidt-Straße 12
44227 Dortmund
Deutschland

GERiT Diese Institution in GERiT

44227 Dortmund

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Modulare temporallogische Spezifikationen hybrider Systeme
    (Antragsteller Krumm, Heiko )
Sachbeihilfen
- abgeschlossene Projekte
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Effiziente Analyseverfahren
    (Teilprojektleiter Buchholz, Peter ; Kemper, Peter )
  - Modellierung und Analyse von Multimediasystemen
    (Teilprojektleiter Buchholz, Peter )
  - Strukturierte GNL-Modelle und effiziente Simulation
    (Teilprojektleiter Bause, Falko ; Buchholz, Peter )
Graduiertenkollegs
- laufende Projekte
  - GRK 2193: Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld
    (Sprecher Rehof, Jakob )
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken
    (Sprecher Vogler, Heiko )
  - GRK 1855: Diskrete Optimierung technischer Systeme unter Unsicherheit
    (Sprecher Buchholz, Peter )

© 2024 DFG Kontakt / Impressum / Datenschutz