Dr. Okan Özkan

Kontakt

Leitung

Prof. Dr. Annegret Habel

Sekretariat

Marion Bramkamp

+49-(0)441-798-4522

Raum: A2 2-228

Dr. Okan Özkan

Dr. Okan Özkan

E-Mail: 

Publikationen

  • O. Özkan, "Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification" PhD Thesis , 2023.
    @PHDTHESIS{Oezkan23,
      author = {{\"O}zkan, Okan},
      TITLE = {Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification},
      SCHOOL= {University of Oldenburg},
      YEAR = {2023},
      URL={https://uol.de/f/2/dept/informatik/download/Promotionen/dissbookFinal0708.pdf} }
  • O. Özkan, "Decidability of Resilience for Well-structured Graph Transformation Systems" University of Oldenburg, Technical Report , 2022.
    @TECHREPORT{Oezkan22b,
      author = {{\"O}zkan, Okan},
      TITLE = {Decidability of Resilience for Well-structured Graph Transformation Systems},
      INSTITUTION = {University of Oldenburg},
      YEAR = {2022},
      TYPE={Technical Report},
      URL={https://uol.de/f/2/dept/informatik/ag/fs/resilienceWSGTStechreport.pdf}
  • [inproceedings] bibtex
    O. Özkan, "Decidability of Resilience for Well-structured Graph Transformation Systems" in Proc. Graph Transformations (ICGT), 2022.
    @Inproceedings{Oezkan22a,
      author = {{\"O}zkan, 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} }
  • [article] bibtex
    O. Özkan, "Infinite-State Graph Transformation Systems under Adverse Conditions" Inf. Technol. vol. 63, iss. 5-6, 2021.
    @article{Oezkan21,
      author = {{\"O}zkan, 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 = {{\"O}zkan, Okan and W{\"u}rdemann, 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, "Modeling Adverse Conditions in the Framework of Graph Transformation Systems" in Proc. Graph Computation Models (GCM), 2020.
    @Inproceedings{Oezkan20a,
      author = {{\"O}zkan, 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} }
(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page