Research
Projects
- User-Centred Social Media (UCSM)
DFG research training group, since 2015 - Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
DFG project, since 2014 - Graphs, Recognizability and Verification (GaReV)
DFG project, 2010-2016 - Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT)
DFG project, 2008-2013 - Static Analysis of Dynamically Evolving Systems (SANDS)
DFG project, 2004-2010
Publications
See our list of publications at the university library