Hendrik Radke
According to our database1,
Hendrik Radke
authored at least 10 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
4
1
1
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.
Sci. Comput. Program., 2018
2017
Proceedings of the Theory and Practice of Model Transformation, 2017
2016
PhD thesis, 2016
2015
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
Proceedings of the Graph Transformation - 8th International Conference, 2015
2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Graph Conditions with Variables and their Application in Metamodel Instance Generation.
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Correctness of Graph Programs Relative to Hyperedge Replacement Conditions.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010