Formale Sprachen

Dr. Hendrik Radke

Anschrift: Dr. Hendrik Radke
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg
E-Mail: hendrik.radke
  • H. Radke, T. Arendt, J. S. Becker, A. Habel, und G. Taentzer, Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations: Long version, 2016.
    @misc{RAB+16Long,
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
      title = {{Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations: Long version}},
      url = {http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk/pdfbi/bi2016-01.pdf},
      year = {2016},
      publists = {mmgg} }
  • H. Radke, "A Theory of HR* Graph Conditions and their Application to Meta-Modeling," PhD Thesis , 2016.
    @phdthesis{Radke16,
      author = {Hendrik Radke},
      title = {A Theory of HR* Graph Conditions and their Application to Meta-Modeling},
      school = {Carl von Ossietzky-Universit{\"a}t Oldenburg},
      year = {2016},
      month = {06},
      url = {http://oops.uni-oldenburg.de/2803/},
      publists = {mmgg} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Radke, T. Arendt, J. S. Becker, A. Habel, und G. Taentzer, "Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations," in Proc. Graph Transformations (ICGT 2015), 2015, pp. 155-170.
    @inproceedings{Radke+15a,
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
      title = {Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations},
      booktitle = {Graph Transformations (ICGT 2015)},
      series = {Lecture Notes in Computer Science},
      volume = {9151},
      pages = {155--170},
      year = {2015},
      url = {http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk/pdfbi/bi2015-01.pdf},
      publists = {mmgg} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Arendt, A. Habel, H. Radke, und G. Taentzer, "From Core OCL Invariants to Nested Graph Constraints," in Proc. Graph Transformations (ICGT 2014), 2014, pp. 97-112.
    @inproceedings{Arendt-Habel-Radke-Taentzer14a,
      author = {Thorsten Arendt and Annegret Habel and Hendrik Radke and Gabriele Taentzer},
      title = {From Core {OCL} Invariants to Nested Graph Constraints},
      booktitle = {Graph Transformations (ICGT 2014)},
      series = {Lecture Notes in Computer Science},
      volume = {8571},
      pages = {97--112},
      year = {2014},
      opturl = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/AHRT14a.pdf},
      url = {http://link.springer.com/chapter/10.1007/978-3-319-09108-2_7},
      publists = {mmgg} }
  • H. Radke, "HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas," Electronic Communications of the EASST, vol. 61, 2013.
    @article{Radke13,
      author = {Radke, Hendrik},
      title = {{HR}* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas},
      booktitle = {Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012)},
      journal = {Electronic Communications of the EASST},
      volume = {61},
      year = {2013},
      alturl = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk13.pdf},
      url = {http://journal.ub.tu-berlin.de/eceasst/issue/view/69/},
      publists = {mmgg,topics} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Radke, "Weakest Liberal Preconditions relative to HR* Graph Conditions," in Proc. 3rd Int. Workshop on Graph Computation Models (GCM 2010), Preproceedings, 2010, pp. 165-178.
    @inproceedings{Radke10b, title = {Weakest Liberal Preconditions relative to {HR*} Graph Conditions},
      author = {Hendrik Radke},
      booktitle = {3rd Int. Workshop on Graph Computation Models (GCM 2010), Preproceedings},
      pages = {165--178},
      year = {2010},
      note = {ISSN 0929-0672},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk10b.pdf} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Radke, "Correctness of Graph Programs Relative to HR+ Conditions," in Proc. Graph Transformations (ICGT 2010), Doctoral Symposium, 2010, pp. 410-412.
    @inproceedings{Radke10a,
      author = {Radke, Hendrik},
      title = {Correctness of Graph Programs Relative to {HR+} Conditions},
      booktitle = {Graph Transformations (ICGT 2010), Doctoral Symposium},
      series = {Lecture Notes in Computer Science},
      volume = {6372},
      pages = {410-412},
      year = {2010},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk10a.pdf},
      url = {http://springerlink.metapress.com/content/35qx64u7v74u778v/} }
  • A. Habel und H. Radke, "Expressiveness of Graph Conditions with Variables," Electronic Communications of the EASST, vol. 30, iss. \emphInt. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of Hartmut Ehrig, 2010.
    @article{Habel-Radke10a,
      author = {Habel, Annegret and Radke, Hendrik},
      title = {Expressiveness of Graph Conditions with Variables},
      number = {\emph{Int. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of {H}artmut {E}hrig}},
      journal = {Electronic Communications of the EASST},
      volume = {30},
      year = {2010},
      publists = {topics},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/HaRa10a.pdf},
      url = {http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/40} }