Correctness of Graph Programs Relative to Hyperedge Replacement Conditions. - Hendrik Radke (AlgoSyn, 2010)

Correctness of Graph Programs Relative to HR + Conditions. - Hendrik Radke (ICGT, 2010)

Expressiveness of graph conditions with variables. - Annegret Habel; Hendrik Radke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas. - Hendrik Radke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Graph Conditions with Variables and their Application in Metamodel Instance Generation. - Hendrik Radke (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

From Core OCL Invariants to Nested Graph Constraints. - Thorsten Arendt; Annegret Habel; Hendrik Radke; Gabriele Taentzer (ICGT, 2014)

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. - Hendrik Radke; Thorsten Arendt; Jan Steffen Becker; Annegret Habel; Gabriele Taentzer (ICGT, 2015)

A Theory of HR* Graph Conditions and their Application to Meta-Modeling. - Hendrik Radke (2016)

Rule-Based Repair of EMF Models: An Automated Interactive Approach. - Nebras Nassar; Hendrik Radke; Thorsten Arendt (ICMT, 2017)

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. - Hendrik Radke; Thorsten Arendt; Jan Steffen Becker; Annegret Habel; Gabriele Taentzer (Sci. Comput. Program., 2018)