Okan Özkan, M. Sc.
Kontakt
Leitung
Sekretariat

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] bibtexO. Ö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] bibtexO. Ö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] bibtexO. Ö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] bibtexO. Ö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
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] bibtexO. Ö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},