Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)

Address Robert-Hooke-Straße 1
28359 Bremen
Deutschland

GERiT This institution in GERiT

28359 Bremen

Projects

Priority Programmes
- Completed projects
  - Transfer and enhancement of information-flow control techniques to develop secure systems using the example of workflow systems (MORES2)
    (Applicant Hutter, Dieter )
  - Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
    (Applicant Hutter, Dieter )
Research Grants
- Completed projects
  - Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
    (Applicant Hutter, Dieter )
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
    (Applicants Hutter, Dieter ; Kohlhase, Michael )
  - Ontology-Driven Management of Change
    (Applicants Hutter, Dieter ; Kohlhase, Michael )
Research Training Groups
- Completed projects
  - GRK 1572: Bionics - Interactions across Boundaries to the Environment
    (Spokesperson von der Emde, Gerhard )