We stand with Ukraine  

Hendrik Radke

According to our database1, Hendrik Radke authored at least 10 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2017
Rule-Based Repair of EMF Models: An Automated Interactive Approach.
[BibTeX]
[DOI]
Nebras Nassar
,
Hendrik Radke
,
Thorsten Arendt
Proceedings of the Theory and Practice of Model Transformation, 2017

2016
A Theory of HR* Graph Conditions and their Application to Meta-Modeling.
[BibTeX]
[DOI]
Hendrik Radke
PhD thesis, 2016

2015
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
[BibTeX]
[DOI]
Hendrik Radke
,
Thorsten Arendt
,
Jan Steffen Becker
,
Annegret Habel
,
Gabriele Taentzer
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
From Core OCL Invariants to Nested Graph Constraints.
[BibTeX]
[DOI]
Thorsten Arendt
,
Annegret Habel
,
Hendrik Radke
,
Gabriele Taentzer
Proceedings of the Graph Transformation - 7th International Conference, 2014

Graph Conditions with Variables and their Application in Metamodel Instance Generation.
[BibTeX]
Hendrik Radke
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

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

2010
Expressiveness of graph conditions with variables.
[BibTeX]
[DOI]
Annegret Habel
,
Hendrik Radke
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Correctness of Graph Programs Relative to HR<sup> + </sup> Conditions.
[BibTeX]
[DOI]
Hendrik Radke
Proceedings of the Graph Transformations - 5th International Conference, 2010

Correctness of Graph Programs Relative to Hyperedge Replacement Conditions.
[BibTeX]
Hendrik Radke
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010


  Loading...