Formale Sprachen

Jan Steffen Becker, M. Sc.

Anschrift: Jan Steffen Becker
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg
E-Mail: Jan.Steffen.Becker
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. S. Becker, "An Automata-Theoretic Approach to Instance Generation," in Proc. 7th Int. Workshop on Graph Computation Models (GCM 2016), Preproceedings, 2016.
    @inproceedings{Becker16a, title = {An Automata-Theoretic Approach to Instance Generation},
      author = {Jan Steffen Becker},
      booktitle = {7th Int. Workshop on Graph Computation Models (GCM 2016), Preproceedings},
      year = {2016},
      url = {http://gcm2016.inf.uni-due.de/papers/becker.pdf},
      publists = {mmgg2} }
  • 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} }
  • [mastersthesis] bibtex | Dokument aufrufen Dokument aufrufen
    J. S. Becker, "Eine graphische Anfragesprache basierend auf geschachtelten Graphbedingungen und GReQL," Master's Dissertation , 2015.
    @mastersthesis{Becker15,
      author = {Jan Steffen Becker},
      title = {{Eine graphische Anfragesprache basierend auf geschachtelten Graphbedingungen und GReQL}},
      school = {Carl von Ossietzky Universit{\"a}t Oldenburg},
      year = {2015},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Bec15-Masterarbeit.pdf} }
  • [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} }