Forschung
Workshops
Projekte
- Spectra of Behavioural Distances and Quantitative Logics (SpeQt)
DFG-Projekt, seit 2020 - User-Centred Social Media (UCSM)
DFG research training group, 2015-2021 - Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
DFG-Projekt, seit 2014 - Graphs, Recognizability and Verification (GaReV)
DFG-Projekt, 2010-2016 - 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