Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Bernd Krieg-Brückner

Address Universität Bremen
Fachbereich 03: Mathematik und Informatik
Post Office Box 330440
28334 Bremen

Projects

As Applicant
- Completed projects
  - Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen (Priority Programmes)
  - Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung (Research Grants)
  - Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics (Research Grants)
  - Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1498: Semantic Integration of Geospatial Information (International Research Training Groups)
As Project Head
- Completed projects
  - Maps for Robot Navigation (CRC/Transregios)
  - Shared-Control Interaction (CRC/Transregios)
  - Specification for the Integration of Spatial Concepts (CRC/Transregios)
  - A Safe Wheelchair with Driving Assistance (CRC/Transregios)
As Participating Person
- Completed projects
  - Abstraktion und Wiederverwendung von formalen Programmentwicklungen (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy