Publications

Publications of the group by year

• 2023 (9), 2022 (10), 2021 (2), 2020 (11)
• 2019 (9), 2018 (16), 2017 (17), 2016 (8), 2015 (13), 2014 (23), 2013 (8), 2012 (18), 2011 (12), 2010 (17)
• 2009 (4), 2008 (24), 2007 (10), 2006 (16), 2005 (7), 2004 (11), 2003 (7), 2002 (4), 2001 (3), 2000 (7)
• 1999 (2)
• 1995 (1)

Publications of the group by type

• Books and Journal Articles (39)
• Conference and Workshop Papers (134)
• Master's Theses (10)
• PhD Theses (7)
• Technical Reports (25)
• Non-refereed papers

Publications by author

• Beohar, Harsh
• Blume, Christoph
• Bruggink, H. J. Sander
• Cabrera, Benjamin
• Kerstan, Henning
• König, Barbara
• Küpper, Sebastian
• Mika, Christine
• Nolte, Dennis
• Stückrath, Jan

Publications by project

• Static Analysis of Dynamically Evolving Systems (SANDS)
• Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT)
• Graphs, Recognizability and Verification (GaReV)
• Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)

All publications

• All publications of group members