Research
Workshops
Projects
- Spectra of Behavioural Distances and Quantitative Logics (SpeQt)
DFG project, since 2020 - User-Centred Social Media (UCSM)
DFG research training group, 2015-2021 - 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