Projekte
- User-Centred Social Media (UCSM)
DFG research training group, seit 2015 - Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
DFG-Projekt, seit 2014 - Graphs, Recognizability and Verification (GaReV)
DFG-Projekt, seit 2010 - Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT)
DFG-Projekt, 2008-2013 - Static Analysis of Dynamically Evolving Systems (SANDS)
DFG-Projekt, 2004-2010
Veröffentlichungen
Publikationsliste bei der Universitätsbibliothek