A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. - H. J. Sander Bruggink; Barbara König 001; Marleen Matjeka; Dennis Nolte; Lara Stoltenow (ICGT, 2020)

Conditional Bisimilarity for Reactive Systems. - Mathias Hülsbusch; Barbara König 001; Sebastian Küpper; Lara Stoltenow (Log. Methods Comput. Sci., 2022)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. - Lara Stoltenow; Barbara König 001; Sven Schneider 001; Andrea Corradini 001; Leen Lambers; Fernando Orejas (CONCUR, 2024)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems. - Barbara König 001; Arend Rensink; Lara Stoltenow; Fabian Urrigshardt (ICGT, 2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version). - Barbara König 001; Arend Rensink; Lara Stoltenow; Fabian Urrigshardt (CoRR, 2025)