1 - 10 из 15Размер страницы: 10
Сортировать по:: Год публикации
  1. 2026

  2. State Complexity of Boolean Operations on Graph-Walking Automata

    Мартынова, О. М. & Охотин, А. С., сен 2026, в: International Journal of Foundations of Computer Science. 37, 6, стр. 723-743 21 стр.

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

  3. Improved bounds on the length of shortest strings accepted by two-way finite automata

    Мартынова, О. М. & Охотин, А. С., июн 2026, в: Information and Computation. 311, 11 стр., 105462.

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

  4. 2025

  5. From regular expressions to deterministic finite automata: 2^{\frac{n}{2}+\sqrt{n}(\log n)^{\Theta(1)}} states are necessary and sufficient

    Мартынова, О. М. & Охотин, А. С., 22 авг 2025, Implementation and Application of Automata: 29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings. Castiglione, G. & Mantaci, S. (ред.). Springer Nature, стр. 267–280 14 стр. (Lecture Notes in Computer Science; том 15981 LNCS).

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

  6. Nondeterministic tree-walking automata are not closed under complementation

    Мартынова, О. М. & Охотин, А. С., 30 июн 2025, 52nd International Colloquium on Automata, Languages, and Programming. Dagstuhl Publishing, 17 стр. 168. (Leibniz International Proceedings in Informatics (LIPIcs); том 334).

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

  7. A Time to Cast Away Stones: On a Family of Pebble Automata

    Мартынова, О. М. & Охотин, А. С., 25 янв 2025, в: International Journal of Foundations of Computer Science. 37, 1, стр. 23-46 24 стр.

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

  8. 2024

  9. Exact Descriptional Complexity of Determinization of Input-Driven Pushdown Automata

    Мартынова, О. М., сен 2024, Implementation and Application of Automata. Fazekas, S. (ред.). Springer Nature, стр. 249-260 12 стр. (Lecture Notes in Computer Science; том 15015).

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

  10. Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs

    Мартынова, О. М., янв 2024, в: Information and Computation. 296, 19 стр., 105127.

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

  11. 2023

  12. Homomorphisms and inverse homomorphisms on graph-walking automata

    Мартынова, О. М. & Охотин, А. С., 1 ноя 2023, в: Theoretical Computer Science. 979, 114197.

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

  13. A time to cast away stones

    Мартынова, О. М. & Охотин, А. С., сен 2023, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings. Springer Nature, стр. 242–253 12 стр. ( Lecture Notes in Computer Science; том 14151).

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

  14. Shortest Accepted Strings for Two-Way Finite Automata: Approaching the 2^n Lower Bound

    Мартынова, О. М. & Охотин, А. С., июл 2023, Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science ред. Springer Nature, Том 13918. стр. 134-145 12 стр.

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

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

ID: 13760615