Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professorin Dr. Barbara König

Address Universität Duisburg-Essen
Fakultät für Ingenieurwissenschaften
Lehrstuhl Theoretische Informatik
Lotharstraße 65
47057 Duisburg

Projects

As Applicant
- Current projects
  - Spectra of Behavioural Distances and Quantitative Logics (Research Grants)
- Completed projects
  - Static Analysis for Dynamically Evolving Systems (Independent Junior Research Groups)
  - Behavioural simulation and equivalences of systems modelled by graph transformation (Research Grants)
  - Graphs, Recognizability and Verification (GaReV) (Research Grants)
  - Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA) (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 2167: User-Centred Social Media (Research Training Groups)

© 2024 DFG Disclaimer / Copyright / Privacy Policy