Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Adresse
Robert-Hooke-Straße 1
28359 Bremen
Deutschland
GERiT
Diese Institution in GERiT
28359 Bremen
Projekte
Schwerpunktprogramme
abgeschlossene Projekte
Umsetzung und Erweiterung von Informationsflusskontroltechniken zur Entwicklung sicherer Systeme am Beispiel von Workflow-Systemen (MORES2)
(Antragsteller
Hutter, Dieter
)
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
(Antragsteller
Hutter, Dieter
)
Sachbeihilfen
abgeschlossene Projekte
Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
(Antragsteller
Hutter, Dieter
)
Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
(Antragsteller
Hutter, Dieter
;
Kohlhase, Michael
)
Ontology-Driven Management of Change
(Antragsteller
Hutter, Dieter
;
Kohlhase, Michael
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 1572: Bionik - Interaktionen über Grenzflächen zur Außenwelt
(Sprecher
von der Emde, Gerhard
)