Informatik

• Lehrstuhl für Theoretische Informatik
  • Sekretariat
  • Wissenschaftliche MitarbeiterInnen
  • Forschungsthematik
    • Graph Grammatiken
    • Layout Graph Grammatiken
    • Graph
    • Bildbeschreibungssprachen
  • Drittmittel
  • Ausgewählte Publikationen
• Lehrstuhl für Rechnerstrukturen
  • Wissenschaftliche MitarbeiterInnen
  • Sekretariat
  • Forschungsprojekte
    • Rechnergestützter Entwurf von Prozessoren auf der Register-Transfer-Ebene
    • DAISY: Entwurf eines Spezialprozessors als Teil von intelligenten Mikrosystemen
  • Drittmittel
  • Ausgewählte Publikationen
• Lehrstuhl für Systemprogrammierung
  • Wissenschaftliche MitarbeiterInnen
  • Sekretariat
  • Forschungsprojekte
    • Diskrete Simulation digitaler Systeme mittels Spezialrechner (DFG)
    • Diskrete Simulation digitaler Systeme mittels vernetzter Universalrechner
    • Kontinuierliche Simulation digitaler Systeme
  • Ausgewählte Publikationen
• Lehrstuhl für Dialogorientierte Systeme
  • Wissenschaftliche MitarbeiterInnen
  • Sekretariat
  • Forschungsprojekte
    • Optimierung objekt-orientierter Datenbanksysteme
    • Objektautonomie
  • Forschungskooperationen
  • Ausgewählte Publikationen
• Lehrstuhl für Programmierung
  • Sekretariat
  • Wissenschaftliche MitarbeiterInnen
  • Forschungsprojekte
    • Automatische Parallelisierung
    • Parallelität in objekt-orientierter Programmierung
  • Forschungskooperationen
  • Ausgewählte Publikationen
• Lehrstuhl für Unternehmensforschung und Systemtheorie
  • Sekretariat
  • Wissenschaftliche MitarbeiterInnen
  • Forschungsprojekte
    • SIMPLEX II
    • OSIRIS
    • ARASIM
    • RegioPlan
    • Kooperationspartner aus Industrie und Verwaltung
  • Ausgewählte Publikationen
• Lehrstuhl für Programmiersysteme (Informatik)
  • Wissenschaftliche MitarbeiterInnen
  • Forschungsprojekte
  • Konfiguration wiederverwendbarer Softwarekomponenten
    • Entwicklung von Analyse- und Optimierungsystemen
    • Automatisches Generieren von Datenflußanalyseverfahren
  • Publikationen
• Lehreinheit für Logik und Berechenbarkeit
  • Wissenschaftliche MitarbeiterInnen
  • Sekretariat
  • Forschungsprojekte
    • Negationen und Disjunktionen in deduktiven Datenbanken
    • Untersuchung von Tableau-Beweisern
    • Eine Toolbox für die Untersuchung des GB-Formalismus
  • Ausgewählte Publikationen
• Schwerpunkt Verteilte Systeme