Forschung

• Graphs, Recognizability and Verification (GaReV) — DFG-Projekt, seit 2010
• Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT) — DFG-Projekt, seit 2008
• Static Analysis of Dynamically Evolving Systems (SANDS) — DFG-Projekt, seit 2004

Siehe unsere Veröffentlichungsliste.

• Augur 2