1. 2023
  2. State complexity of transforming graph-walking automata to halting, returning and reversible

    Мартынова, О. М. & Охотин, А. С., 1 мар 2023, в: Information and Computation. 291, 24 стр., 105011.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. 2022
  4. Homomorphisms on Graph-Walking Automata

    Martynova, O. & Okhotin, A., июн 2022, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings. Caron, P. & Mignot, L. (ред.). Springer Nature, стр. 177-188 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13266 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. 2021
  6. State Complexity of Union and Intersection on Graph-Walking Automata

    Martynova, O. & Okhotin, A., 30 дек 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (ред.). Springer Nature, стр. 125-136 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  7. Lower bounds for graph-walking automata

    Martynova, O. & Okhotin, A., 1 мар 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 стр. 52. (Leibniz International Proceedings in Informatics, LIPIcs; том 187).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Назад 1 2 Далее

ID: 13760615