About the group
The members of the DKM group work on these three research areas:
Modeling
Ontologies, Active Objects, Rewriting Logic
Analysis
Simulation, Verification, Theorem Proving, Model Checking, Static Analysis
Model-driven Information Systems
Semantic Technologies, Data Integration, Data Access, Databases
Publications
See here for a list of publications (co-) authored by members of the group.
.jpg)
