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
Universität Duisburg-Essen
Fakultät für Ingenieurwissenschaften
Lehrstuhl Theoretische Informatik
Address
Lotharstraße 65
47057 Duisburg
Deutschland
GERiT
This institution in GERiT
47057 Duisburg
Projects
Independent Junior Research Groups
Completed projects
Static Analysis for Dynamically Evolving Systems
(Applicant
König, Barbara
)
Research Grants
Current projects
Spectra of Behavioural Distances and Quantitative Logics
(Applicants
König, Barbara
;
Schröder, Lutz
)
Completed projects
Ableitung von Programmeigenschaften aus polymorphen Typen in funktional-logischen Sprachen
(Applicant
Voigtländer, Janis
)
Automatische Bidirektionalisierung durch programmiersprachliche Techniken
(Applicant
Voigtländer, Janis
)
Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
(Applicant
König, Barbara
)
Behavioural simulation and equivalences of systems modelled by graph transformation
(Applicants
Ehrig, Hartmut
;
König, Barbara
)
Graphs, Recognizability and Verification (GaReV)
(Applicant
König, Barbara
)
Research Training Groups
Completed projects
GRK 2167: User-Centred Social Media
(Spokesperson
Fuhr, Norbert
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
