11 - 15 out of 15Page size: 10
  1. 2023

  2. Non-closure under complementation for unambiguous linear grammars

    Мартынова, О. М. & Охотин, А. С., 1 Jun 2023, In: Information and Computation. 292, 105031.

    Research output: Contribution to journal › Article › peer-review

  3. State complexity of transforming graph-walking automata to halting, returning and reversible

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

    Research output: Contribution to journal › Article › peer-review

  4. 2022

  5. Homomorphisms on Graph-Walking Automata

    Martynova, O. & Okhotin, A., Jun 2022, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings. Caron, P. & Mignot, L. (eds.). Springer Nature, p. 177-188 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13266 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. 2021

  7. State Complexity of Union and Intersection on Graph-Walking Automata

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  8. Lower bounds for graph-walking automata

    Martynova, O. & Okhotin, A., 1 Mar 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (eds.). Dagstuhl Publishing, 13 p. 52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 187).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1 2 Next

ID: 13760615