Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung