Okan Özkan, M. Sc.

Kontakt

Leitung

Prof. Dr. Annegret Habel

Sekretariat

Marion Bramkamp

+49-(0)441-798-4522

Raum: A2 2-228

Okan Özkan, M. Sc.

Okan Özkan, M. Sc.

Anschrift: Okan Özkan, M.Sc.
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg		  
Raum: A02 2-208
Sprechstunde: Nach Vereinbarung
E-Mail:

Publikationen

  • [inproceedings] bibtex
    O. Özkan, "Modeling Adverse Conditions in the Framework of Graph Transformation Systems" in Proc. Graph Computation Models (GCM), 2020.
    @Inproceedings{Oezkan20a,
      author = {\"Ozkan, Okan},
      title = {Modeling Adverse Conditions in the Framework of Graph Transformation Systems},
      booktitle = {Graph Computation Models ({GCM})},
      series = {Electronic Proceedings in Theoretical Computer Science},
      volume = {330},
      pages = {35-54},
      year = {2020} }
  • [article] bibtex
    O. Özkan, "Infinite-State Graph Transformation Systems under Adverse Conditions" Inf. Technol. vol. 63, iss. 5-6, 2021.
    @article{Oezkan21,
      author = {\"Ozkan, Okan},
      title = {Infinite-State Graph Transformation Systems under Adverse Conditions},
      journal = {Inf. Technol.},
      volume = {63},
      number = {5-6},
      pages = {311--320},
      year = {2021} }
  • [inproceedings] bibtex
    O. Özkan und N. Würdemann, "Resilience of Well-structured Graph Transformation Systems" in Proc. Graph Computation Models (GCM), 2021.
    @Inproceedings{OezkanWuerdemann21,
      author = {\"Ozkan, Okan and W\"urdemann, Nick},
      title = {Resilience of Well-structured Graph Transformation Systems},
      booktitle = {Graph Computation Models ({GCM})},
      series = {Electronic Proceedings in Theoretical Computer Science},
      volume = {350},
      pages = {69--88},
      year = {2021} }
  • [inproceedings] bibtex
    O. Özkan, "Decidability of Resilience for Well-structured Graph Transformation Systems" in Proc. Graph Transformations (ICGT), 2022.
    @Inproceedings{Oezkan22a,
      author = {\"Ozkan, Okan},
      title = {Decidability of Resilience for Well-structured Graph Transformation Systems},
      booktitle = {Graph Transformations ({ICGT})},
      series = {Lecture Notes in Computer Science},
      volume = {13349},
      pages = {38-57},
      year = {2022} }
  • [techreport] bibtex | Dokument aufrufen Dokument aufrufen
    O. Özkan, "Decidability of Resilience for Well-structured Graph Transformation Systems" University of Oldenburg, Technical Report , 2022.
    @TECHREPORT{Oezkan22b,
      author = {\"Ozkan, Okan},
      TITLE = {Decidability of Resilience for Well-structured Graph Transformation Systems},
      TYPE = {Technical Report},
      INSTITUTION = {University of Oldenburg},
      YEAR = {2022},
      URL={https://uol.de/f/2/dept/informatik/ag/fs/resilienceWSGTStechreport.pdf} }
  • [techreport] bibtex
    O. Özkan, "Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification" University of Oldenburg, Technical Report (Submitted PhD Thesis) , 2023.
    @TECHREPORT{Oezkan23,
      author = {\"Ozkan, Okan},
      TITLE = {Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification},
      TYPE = {Technical Report (Submitted PhD Thesis)},
      INSTITUTION= {University of Oldenburg},
      YEAR = {2023},
     
(Stand: 04.02.2023)