| Rule-based repair of EMF models: An automated interactive approach N Nassar, H Radke, T Arendt Theory and Practice of Model Transformation: 10th International Conference …, 2017 | 48 | 2017 |
| Expressiveness of graph conditions with variables A Habel, H Radke Electronic Communications of the EASST 30, 2010 | 45 | 2010 |
| Translating essential OCL invariants to nested graph constraints for generating instances of meta-models H Radke, T Arendt, JS Becker, A Habel, G Taentzer Science of Computer Programming 152, 38-62, 2018 | 32 | 2018 |
| From core OCL invariants to nested graph constraints T Arendt, A Habel, H Radke, G Taentzer Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014 | 32 | 2014 |
| Translating essential OCL invariants to nested graph constraints focusing on set operations H Radke, T Arendt, JS Becker, A Habel, G Taentzer International Conference on Graph Transformation, 155-170, 2015 | 28 | 2015 |
| Rule-based repair of EMF models: formalization and correctness proof N Nassar, J Kosiol, H Radke Electronic Pre-Proc. Intl. Workshop on Graph Computation Models, 2017 | 22 | 2017 |
| HR* graph conditions between counting monadic second-order and second-order graph formulas H Radke Electronic Communications of the EASST 61, 2013 | 13 | 2013 |
| A Theory of HR* Graph Conditions and their Application to Meta-Modeling H Radke Universität Oldenburg, 2016 | 9 | 2016 |
| Weakest Liberal Preconditions relative to HR Graph Conditions H Radke GCM 2010, 165, 2010 | 4 | 2010 |
| Correctness of Graph Programs Relative to HR + Conditions H Radke International Conference on Graph Transformation, 410-412, 2010 | 2 | 2010 |
| 2.5. Correctness of Graph Programs Relative to Conditions with Variables H Radke Joint Workshop of the German Research Training Groups in Computer Science, 46, 2011 | | 2011 |
| From Core OCL Invariants to Nested Graph Constraints: Long Version T Arendt, A Habel, H Radke, G Taentzer | | |
| High-Radix-Division H Radke | | |
Gabriele TaentzerPhilipps-Universität MarburgDirección de correo verificada de mathematik.uni-marburg.de
