Formale Sprachen

Dr. Hendrik Radke

Anschrift: Dr. Hendrik Radke
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg
Raum: A2 2-207
Telefon: (04 41) 798-4489
Fax: (04 41) 798-2965
Sprechstunde: Nach Vereinbarung
E-Mail: hendrik.radke


zum Seitenanfang

  (siehe auch hier)

Hendrik Radke. A Theory of HR* Graph Conditions and their Application to Meta-Modeling. PhD thesis, Carl von Ossietzky-Universität Oldenburg, 06 2016. [ http ]
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, and Grabriele Taentzer. Translating essential ocl invariants to nested graph constraints focusing on set operations. In Graph Transformations (ICGT 2015), volume 9151 of Lecture Notes in Computer Science, pages 155-170, 2015. [ long version ].
Thorsten Arendt, Annegret Habel, Hendrik Radke, and Gabriele Taentzer. From core OCL invariants to nested graph constraints. In Graph Transformations (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 97-112, 2014. [ .pdf ] [ long version ] [ Springer Link ].
Hendrik Radke. HR* graph conditions between counting monadic second-order and second-order graph formulas. Electronic Communications of the EASST, 61, 2013. Link.
Hendrik Radke. Weakest liberal preconditions relative to HR* graph conditions. In 3rd Int. Workshop on Graph Computation Models (GCM 2010), Preproceedings, pages 165-178, 2010. ISSN 0929-0672. [ .pdf ]
Hendrik Radke. Correctness of graph programs relative to HR+ conditions. In Graph Transformations (ICGT 2010), Doctoral Symposium, volume 6372 of Lecture Notes in Computer Science, pages 410-412, 2010. SpringerLink. [ .pdf ]
Annegret Habel and Hendrik Radke. Expressiveness of graph conditions with variables. Electronic Communications of the EASST, 30(Int. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of Hartmut Ehrig), 2010. ECEASST-Link. [ .pdf ]